I am a researcher at Cylab, Carnegie Mellon University (CMU) . Before joining CyLab I was a postdoctoral research associate at the Computer Science Department (2006-2007) and at MIT Computer Science and Artificial Intelligence Laboratory in the Theory of Distributed Systems Group (2001-2006). I received my PhD degree in 2002 from the University of Edinburgh, where I was a member of the Laboratory for Foundations of Computer Science, and my B.Sc. degree in 1996 from the Middle East Technical University in Turkey where I studied at the Computer Engineering Department .
The broad area of my research is foundations of distributed computing. In recent years, I have become interested in modeling timed and hybrid systems, and developing formal verification methods for such systems. I have also had continued interest in security. During my doctoral studies I investigated language-based security and how to use type systems in making programs amenable to reasoning about security. The focus of my security research has shifted to modeling and analysis of secure systems, cryptographic protocols, and data privacy.