David Swasey

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

POPL 2018 Activities

Using general profile