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