Get my own profile
Public access
View all34 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- Lars BirkedalDept. of Computer Science, Aarhus UniversityVerified email at cs.au.dk
- Ralf JungAssistant Professor, ETH ZürichVerified email at inf.ethz.ch
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesVerified email at cnrs.fr
- Jonas Kastberg HinrichsenAarhus UniversityVerified email at cs.au.dk
- Aleš BizjakFormerly postdoctoral researcher, Aarhus University, currently software architect at ConcordiumVerified email at alesb.com
- Amin TimanyAarhus UniversityVerified email at cs.au.dk
- Michael SammlerMPI-SWSVerified email at mpi-sws.org
- Eelco VisserProfessor of Computer Science, Delft University of TechnologyVerified email at tudelft.nl
- Dan FruminUniversity of GroningenVerified email at rug.nl
- Arjen (Jonathan) RouvoetTNOVerified email at tno.nl
- Ike MulderPhD student, Radboud University NijmegenVerified email at cs.ru.nl
- Simon SpiesMPI-SWSVerified email at mpi-sws.org
- Joseph TassarottiAssistant Professor, New York UniversityVerified email at nyu.edu
- Jules JacobsCornell UniversityVerified email at cornell.edu
- Casper BachIMADA, SDU, DenmarkVerified email at imada.sdu.dk
- Herman GeuversRadboud University Nijmegen, the NetherlandsVerified email at cs.ru.nl
- Stephanie BalzerCarnegie Mellon UniversityVerified email at cs.cmu.edu
- Daniel GratzerAarhus UniversityVerified email at cs.au.dk
- Rodolphe LepigreMPI-SWSVerified email at mpi-sws.org
Follow
Robbert Krebbers
Associate Professor, Radboud University Nijmegen
Verified email at cs.ru.nl - Homepage