Assistant Professor of Department of Computer Engineering.



I received my B.Sc. degree in Computer Engineering from Middle East Technical University (METU), Ankara, Turkey, in 2008, M.Sc. degree in Computer Science from Ecole Polytechnique Federale de Lausanne, Lausanne, Switzerland, in 2010 and Ph.D. degree in Systems Engineering from Boston University, Boston, MA, USA in 2014. I worked as a Site Reliability Engineer at Google  2014-2015. I’m currently an assistant professor at METU.

My research interests include formal methods, verification and control, system monitoring, software/release evaluation, verification and design of cyber-physical systems.


Our group page is online!!! See the group page for up-to-date information




received MSCA-IF funding for the project titled “Automating Timed Automata Design” (6/2018)


received IEEE TCNS outstanding paper award (12/2017)


received Seal of Excellence award from European Commission (4/2017)



our book on formal methods for dynamical systems is available  (2/2017)




Announcement: I’m looking for students (grad/undergrad) who are interested in my research. Contact me for more information about my ongoing projects and to learn about the undergraduate research opportunities on the following topics:

  • Timed automata construction from structured descriptions and specifications
  • Language-guided approach revisited: improvements with an hierarchical view