David Swasey

Ph.D. student
MPI-SWS & Saarland University
last name at mpi-sws dot org

I am a Ph.D. student studying Computer Science at the Max Planck Institute for Software Systems (MPI-SWS) and Saarland University, co-advised by Derek Dreyer and Deepak Garg. Prior to joining the MPI-SWS in 2012, I worked as a research programmer at Carnegie Mellon University under the direction of Lujo Bauer (2006–12), Bob Harper (1998–2006), and Roger Dannenberg (1994–98). Please see my CV for the full story.

Research Interests

I am interested in Kripke models and logics for concurrency and security; for example, in the design of concurrency logics that support compositional verification of security protocols.


Post:  David Swasey
Campus E1 5
66123 Saarbrücken
Office:Saarland Informatics Campus (SIC)
Campus E1 5, Room 305
Phone:+49 681 9303-9210

Imprint / Data Protection