Invited lectures

• at NUS, Singapore
  • 2014 fall: CS4215 Programming Language Implementation: lectures on "Domain Specific Languages"
  • 2013 fall: CS3234 Logic and Formal Systems: lecture on "practical, theorem proving based, program verification"
• at UPB, Bucharest
  • 2011 fall: HPC programming methods and techniques : lectures on "introduction to verification of parallel programs"
  • 2011 fall: Parallel and Distributed Systems : lectures on "introduction to verification of parallel programs"

Teaching

• at NUS, Singapore
  • 2010 Fall : CS1102 Data structures and algorithms, lab coordination and grading
  • 2010 Spring: CS5202 Foundation in Programming Languages, grading
  • 2009 Fall : CS1102 Data structures and algorithms, teaching assistant and grading
  • 2009 Fall : CS4212 Compiler Design, consultations, assignment design and grading
• at UPB, Bucharest
  • 2007 Fall : Microprocessor-based Systems Design, teaching assistant