Teaching
Bogazici University:- CMPE 58S: Computer Aided Verification (Fall 2009, 2010, 2011, 2012)
- CMPE 436: Concurrent and Distributed Programming (Fall 2011, 2012) CMPE 49E: Concurrent and Distributed Systems (Fall 2009, 2010)
- CMPE 240: Digital Systems (Spring 2009, 2010, 2011, 2012)
- CMPE 58Q: Formal Verification of Hardware and Software Systems (Spring 2009,2010, 2011, 2012)
- CMPE 491, 492: Project In Computer Engineering (Fall 2009, Spring 2010)
- EE360P: Concurrent and Distributed Systems (Spring 2008)