Teaching

Spring 2026

• COMP 335/435: Formal Methods in Software Engineering
  • Tue 16:15-18:45 LSC
  • Sakai site: TODO
  • Course website
  • Syllabus
• COMP 371/471: Theory (and Practice) of Programming Languages
  • MWF 10:25-11:15 LSC
  • Sakai site: TODO
  • Course website
• Office hour:
  • Tue 18:45-19:15 (after class - no appointment required)
  • Mon/Wed/Fri 14:00-15:00 (please use Calendly to make an in-person or online appointment)

Fall 2025

• COMP 371/471: Theory (and Practice) of Programming Languages
  • MWF 09:20-10:10 LSC
  • Sakai site
  • Syllabus
• COMP 373/473: Advanced Object-Oriented Programming
  • MWF 12:35-13:25 LSC
  • Sakai site
  • Syllabus
• Office hour:
  • Mon/Wed/Fri 14:00-15:00 (please use Calendly to make an in-person or online appointment)

Code examples

GitHub

Recent courses

• COMP 141: Introduction to Computing Tools and Techniques
• COMP 271: Data Structures I
• COMP 313/413: Software Design (officially still called Intermediate Object-Oriented Programming)
• COMP 370/470: Software Quality and Testing

Please see my CV for a list of all courses developed and/or taught.