Get my own profile
Public access
View all23 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Lars BirkedalDept. of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Bart JacobsProfessor of Computer Science, Katholieke Universiteit LeuvenVerified email at cs.kuleuven.be
Robbert KrebbersAssociate Professor, Radboud University NijmegenVerified email at cs.ru.nl
Dominique DevrieseKU LeuvenVerified email at kuleuven.be
Leo StefanescoIRIF, Université Paris DiderotVerified email at ens-lyon.fr
Simon Oddershede GregersenPostdoctoral researcher, Aarhus UniversityVerified email at cs.au.dk
Leon GondelmanPost-doctoral researcher, Aarhus University, DenmarkVerified email at cs.au.dk
Aïna Linn GeorgesAarhus UniversityVerified email at mpi-sws.org
Alix TrieuANSSIVerified email at ssi.gouv.fr
Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
Abel NietoAarhus UniversityVerified email at cs.au.dk
Ralf JungAssistant Professor, ETH ZürichVerified email at inf.ethz.ch
Rodolphe LepigreMPI-SWSVerified email at mpi-sws.org
Marianna RapoportUniversity of WaterlooVerified email at uwaterloo.ca
Sander HuyghebaertVrije Universiteit BrusselVerified email at vub.be
Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesVerified email at normalesup.org
Arthur CharguéraudInriaVerified email at inria.fr
Joseph TassarottiAssistant Professor, New York UniversityVerified email at nyu.edu
Matthieu SozeauResarcher, Inria Paris and PPSVerified email at inria.fr
Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.Verified email at tudelft.nl