SPLASH 2018 (series) / David Swasey
![David Swasey](https://2018.splashcon.org/getProfileImage/davidswasey/15c4099c-f48e-460c-a7fb-c0b9d97088ec/small.jpg?1711498467000)
Registered user since Fri 27 Oct 2017
Name:David Swasey
Country:Germany
Affiliation:MPI-SWS
Personal website: https://people.mpi-sws.org/~swasey/
Research interests:Programming Languages, Security and Privacy, Verification
Contributions
SPLASH 2018-profile
View general profile
View general profile