Sign In
Get Clay Free →

Suggestions

    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