Seth Fogarty

I am a theoretician focusing on automata-theoretic formal verification, with more general interests in data structures, functional programming, and domain-specific languages. I routinely teach classes on discrete mathematics, functional programming, programming languages, and compilers. My favorite languages are Haskell and Smalltalk, and yet most of my code is written in C.

Collection of Random Links

• • Student artwork from my office

  • How does biology explain the low numbers of women in computer science? Hint: it doesn't

  • Finite Simple Group of Order Two - The Klein Four

  • A Brief, Incomplete, and Mostly Wrong History of Programming Languages

  • I believe in recursion fairies

  • Doodling in math class

  • Professor with a snake