
Seth Fogarty, Ph.D.
- Associate Professor , Computer Science
Fogarty is an associate professor in the Department of Computer Science at Trinity University.
Fogarty's primary research is in formal verification: how to automatically prove that a program satisfies a specification. While most programs are checked through ad-hoc testing, for certain systems we need a more formal proof of correctness. In general it is impossible to reason about programs in a meaningful way: they are just too complex. In formal verification, we create abstract models of programs, and reason about the models instead. Fogarty focuses on automate-theoretic verification, where both the program and the specification are modeled as finite automata over infinite words.
He does research on creating domain-specific languages: little programming languages dedicated towards a specific area, informed by experts in that area.