Sign In

Jared Soundy

PhD Student at University of Nebraska-Lincoln

Jared Soundy is a passionate individual with a strong interest in provably safe programming languages and software testing. He has a profound appreciation for automata and computational theory, especially when these concepts are directly applicable to practical situations. Jared firmly advocates for the use of formal proofs based on theoretical foundations as a reliable method to automatically confirm or challenge the reliability of intricate systems. Currently, he serves as a Graduate Teaching Assistant at the University of Nebraska-Lincoln.

Jared Soundy
Add to my network

Location

Lincoln, Nebraska, United States