Courses:

  • Spring '11: CS477: Formal Methods in Software Development
  • Fall '10: CS598: Software Verification
  • Spring '10: CS373: Introduction to Theory of Computation
  • Spring '09: CS373: Introduction to Theory of Computation
  • Fall '08: CS498: Logic in Computer Science
  • Spring '08: CS477: Formal Software Development Methods
  • Fall '07: CS273: Introduction to the Theory of Computation
  • Summer '07 Course in Salerno on Logic, Automata and Algorithms for Graphs
  • Spring '07: Not teaching
  • Fall '06: CS273: Introduction to the Theory of Computation
  • Spring '06: CS498mp: Software Model-Checking
  • Fall '05: CS598mp: Automata and Logic in Verification
  • Spring '05: CS598mp: Algorithmic Software Verification