Teaching
Bogazici University:- CMPE 588: Testing and Verification Techniques for Machine Learning
- CMPE 589: Software Testing and Verification
- CMPE 58S: Computer Aided Verification
- CMPE 436: Concurrent and Distributed Programming
- CMPE 240: Digital Systems
- SWE 550: Software Quality Assurance and Reliability
- CMPE 58Q: Formal Verification of Hardware and Software Systems
- SWE 513: Principles of Software Engineering
- EE360P: Concurrent and Distributed Systems (Spring 2008)