Get my own profile
Public access
View all7 articles
0 articles
available
not available
Based on funding mandates
Co-authors
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
- Ralf JungAssistant Professor, ETH ZürichVerified email at inf.ethz.ch
- Jeehoon KangAssistant Professor of KAIST School of ComputingVerified email at kaist.ac.kr
- Vu NguyenUniversity of Science, Vietnam National University - HCMCVerified email at fit.hcmus.edu.vn
- Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verified email at mpi-sws.org
- Ori LahavTel Aviv UniversityVerified email at tau.ac.il
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesVerified email at normalesup.org
- Azalea RaadImperial College LondonVerified email at imperial.ac.uk
- Peter O'HearnLacework and University College LondonVerified email at ucl.ac.uk
- Josh BerdineFacebookVerified email at fb.com
- Jules VillardImperial College LondonVerified email at imperial.ac.uk
- Simon SpiesMPI-SWSVerified email at mpi-sws.org
- Thanh-Hai TranConsenSysVerified email at consensys.net
- Michael SammlerMPI-SWSVerified email at mpi-sws.org
- Robbert KrebbersAssociate Professor, Radboud University NijmegenVerified email at cs.ru.nl
- Jaemin ChoiKAISTVerified email at kaist.ac.kr
- William ManskyAssistant Professor, University of Illinois at ChicagoVerified email at uic.edu