Get my own profile
Public access
View all36 articles
0 articles
available
not available
Based on funding mandates
Co-authors
- Lars BirkedalDept. of Computer Science, Aarhus UniversityVerified email at cs.au.dk
- Ralf JungAssistant Professor, ETH ZürichVerified email at inf.ethz.ch
- Robbert KrebbersAssociate Professor, Radboud University NijmegenVerified email at cs.ru.nl
- Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verified email at mpi-sws.org
- Chung-Kil HurSeoul National UniversityVerified email at sf.snu.ac.kr
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesVerified email at cnrs.fr
- Hai DangBlueRock Security IncVerified email at mpi-sws.org
- Jeehoon KangKAIST School of ComputingVerified email at kaist.ac.kr
- Aaron TuronMPI-SWSVerified email at mpi-sws.org
- Michael SammlerMPI-SWSVerified email at mpi-sws.org
- Amal AhmedNortheastern UniversityVerified email at ccs.neu.edu
- Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityVerified email at andrew.cmu.edu
- Aleš BizjakFormerly postdoctoral researcher, Aarhus University, currently software architect at ConcordiumVerified email at alesb.com
- Ori LahavTel Aviv UniversityVerified email at tau.ac.il
- Neelakantan R. KrishnaswamiUniversity of CambridgeVerified email at cl.cam.ac.uk
- Beta ZilianiFAMAF, UNC and Manas.TechVerified email at mpi-sws.org
- Simon SpiesMPI-SWSVerified email at mpi-sws.org
- David SwaseyBlueRock SecurityVerified email at mpi-sws.org
- Karl CraryCarnegie Mellon UniversityVerified email at cs.cmu.edu
- Deepak GargMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verified email at mpi-sws.org
Follow
Derek Dreyer
Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus
Verified email at mpi-sws.org - Homepage