Get my own profile
Public access
View all25 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Lars BirkedalDept. of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Robbert KrebbersAssociate Professor, Radboud University NijmegenVerified email at cs.ru.nl
Bart JacobsProfessor of Computer Science, Katholieke Universiteit LeuvenVerified email at cs.kuleuven.be
Dominique DevrieseKU LeuvenVerified email at kuleuven.be
Leo StefanescoMPI-SWSVerified email at mpi-sws.org
Simon Oddershede GregersenPostdoctoral fellow, New York UniversityVerified email at nyu.edu
Aïna Linn GeorgesMax Planck Institute for Software SystemsVerified email at mpi-sws.org
Alix TrieuANSSIVerified email at ssi.gouv.fr
Thomas Van StrydonckKU LeuvenVerified email at kuleuven.be
Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
Abel NietoGroqVerified email at groq.com
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 cnrs.fr
Arthur CharguéraudInriaVerified email at inria.fr
Joseph TassarottiAssistant Professor, New York UniversityVerified email at nyu.edu
Jonas Kastberg HinrichsenAarhus UniversityVerified email at cs.au.dk
Matthieu SozeauResarcher, Inria Paris and PPSVerified email at inria.fr