Get my own profile
Public access
View all27 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 normalesup.org
Aleš BizjakFormerly postdoctoral researcher, Aarhus University, currently software architect at ConcordiumVerified email at alesb.com
Amin TimanyAarhus UniversityVerified email at cs.au.dk
Eelco VisserProfessor of Computer Science, Delft University of TechnologyVerified email at tudelft.nl
Jonas Kastberg HinrichsenAarhus UniversityVerified email at cs.au.dk
Dan FruminUniversity of GroningenVerified email at rug.nl
Arjen (Jonathan) RouvoetDelft University of TechnologyVerified email at tudelft.nl
Casper Bach PoulsenTU DelftVerified email at tudelft.nl
Michael SammlerMPI-SWSVerified email at mpi-sws.org
Joseph TassarottiAssistant Professor, New York UniversityVerified email at nyu.edu
Herman GeuversRadboud University Nijmegen, the NetherlandsVerified email at cs.ru.nl
Simon SpiesMPI-SWSVerified email at mpi-sws.org
Bas SpittersAssociate Professor, Aarhus UniversityVerified email at cs.au.dk
Daniel GratzerAarhus UniversityVerified email at cs.au.dk
Leo StefanescoIRIF, Université Paris DiderotVerified email at ens-lyon.fr
Stephanie BalzerCarnegie Mellon UniversityVerified email at cs.cmu.edu
Rodolphe LepigreMPI-SWSVerified email at mpi-sws.org
Follow
Robbert Krebbers
Associate Professor, Radboud University Nijmegen
Verified email at cs.ru.nl - Homepage