Post:  MPI-SWS
Campus E1 4
D-66123 Saarbrücken
Germany
Office:Building E1 5, Room 305
Phone:+49 681 9303-9210

David Swasey
Ph.D. student
MPI-SWS & Saarland University


I am a Ph.D. student studying Computer Science at the Max Planck Institute for Software Systems (MPI-SWS), 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 message-passing concurrency; for example, in the design of concurrency logics that support compositional verification of security protocols.

Publications