Dilsun Kaynar
Carnegie Mellon University
CyLab, Collaborative Innovation Center
4720 Forbes Avenue
Pittsburgh PA 15213-3891
Email: dilsun at cs.cmu.edu
Phone: (412) 268 9297
About me
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 .
Research interests
My main research area 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.
