Teaching

• Illinois Institute of Technology
  
  • Fall 2025: CS595. Language-based Security
  • Spring 2025: CS534. Types and Programming Languages
  • Fall 2024: CS440. Programming Languages and Translators
  • Fall 2023: CS536. Science of Programming
• Carnegie Mellon University
  
  • Logic and Proofs
  • Logic and Mathematical Inquiry