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