Get my own profile
Public access
View all33 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
Aleš BizjakFormerly postdoctoral researcher, Aarhus University, currently software architect at ConcordiumVerified email at alesb.com
Amin TimanyAarhus UniversityVerified email at cs.au.dk
Jonas Kastberg HinrichsenAarhus UniversityVerified email at cs.au.dk
Eelco VisserProfessor of Computer Science, Delft University of TechnologyVerified email at tudelft.nl
Michael SammlerMPI-SWSVerified email at mpi-sws.org
Dan FruminUniversity of GroningenVerified email at rug.nl
Arjen (Jonathan) RouvoetTNOVerified email at tno.nl
Casper Bach PoulsenTU DelftVerified email at tudelft.nl
Joseph TassarottiAssistant Professor, New York UniversityVerified email at nyu.edu
Simon SpiesMPI-SWSVerified email at mpi-sws.org
Jules JacobsRadboud UniversityVerified email at science.ru.nl
Herman GeuversRadboud University Nijmegen, the NetherlandsVerified email at cs.ru.nl
Ike MulderPhD student, Radboud University NijmegenVerified 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](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=8JmcliwAAAAJ&citpid=2)
Robbert Krebbers
Associate Professor, Radboud University Nijmegen
Verified email at cs.ru.nl - Homepage