About Me
I am an Associate 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 graduated from Ankara Fen Lisesi. 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 parallel and distributed systems, formal verification and testing, embedded and multicore systems, electronic design automation. My research group is Dependable Systems Groups (DSG).
I am a recipient of the Turkish Academy of Sciences Young Scientist (TUBA-GEBIP) Award (2011).
I am looking for motivated MS, and PhD students to work on sponsored projects. Contact me if interested.