The Software Verification and Security group
— headquartered in the
School of Electrical Engineering and Computer Science
in
Ohio University's
Russ College of Engineering and Technology
— applies mathematically rigorous methods
and tools, such as
interactive theorem proving in Coq,
to facilitate the construction, maintenance, and proof
of high-assurance software systems.

Alex Bagnall (MS)

- Logan Leland (UG)
- Charlie Murphy (UG, now at Princeton)
- Nathan St. Amour (UG)