Expertise

Jeremy teaches courses in programming, compilers, the theory of programming languages, logic, and other areas of computer science.

Research Areas

  • Programming Languages
  • Theoretical Computer Science
  • Systems and High Performance Computing
Communities
Computer Science, Computer Science
Degrees
PhD, Indiana University, Computer Science, 2005
MS, University of Notre Dame, Computer Science and Engineering, 1999
BS, University of Notre Dame, Mathematics, 1997