Assistant Professor of Department of Computer Engineering.



Ebru Aydın Göl received her 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. She worked as a Site Reliability Engineer at Google  2014-2015. She is currently an assistant professor at METU.

Her research interests include formal verification and control, probabilistic verification, hybrid systems, software/release evaluation, verification and design of cyber-physical systems.


our book on formal methods for dynamical systems is available




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:

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