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