David Swasey

David Swasey is a researcher at the Max Planck Institute for Software Systems (MPI-SWS), focusing on formal methods, programming languages, and system security. His work spans theoretical foundations of verification, secure compilation, and language design, with contributions to frameworks like Iris for concurrent reasoning and formal modeling of mobile systems.

Research interests include algorithms, logic, cyber-physical systems, and distributed networks. His publications address challenges in robust verification, object-capability patterns, and enhancing security in systems like Android. He has explored modular compilation for Standard ML and cross-domain security protocols.

Publications highlight a trajectory from foundational type system research to applied security solutions, with an emphasis on formal methods bridging theory and practice. No awards or grants are explicitly mentioned in the provided text.