About Me
I am an Assistant Professor in the Computer Engineering Department at Bogazici University, Istanbul, Turkey. Before coming to Bogazici University, I worked for the Tools and Methodology group at Freescale Semiconductor Inc. (formerly Motorola SPS), Austin, TX. I was also an Adjunct Assistant Professor at The University of Texas at Austin.I received my Ph.D. in Electrical and Computer Engineering from The University of Texas at Austin and my B.S. and M.S. in Electrical and Electronics Engineering from the Middle East Technical University, Ankara, Turkey. I completed my Ph.D dissertation on Techniques for Formal Verification of Concurrent and Distributed Program Traces under the supervision of Prof. Vijay K. Garg .
My research interests include automated techniques for checking correctness of software and hardware, formal methods, concurrent and distributed computing, verification of software and hardware, and electronic design automation.