William Ernest Mansky
Assistant Professor
Research Interests
I work in the areas of programming languages, program verification, and concurrency. My research projects involve using interactive theorem provers to build mathematical proofs that programs execute correctly, and developing the theory needed to describe how programs execute. Current projects include modeling I/O and concurrency behavior of C programs, developing logics for concurrent programs, and proving the correctness of real-world programs such as web servers and databases.
At a Glance
- Title Assistant Professor
- College College of Engineering
- Department Department of Computer Science
Contact the Researcher
The URE website is only for undergraduate student researchers.
Sign in with your UIC account to contact this researcher.
Log in