Get my own profile
Public access
View all15 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
Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
Ralf JungAssistant Professor, ETH ZürichVerified email at inf.ethz.ch
Matthieu SozeauResarcher, Inria Paris and PPSVerified email at inria.fr
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
Philip WadlerUniversity of Edinburgh and IOHKVerified email at inf.ed.ac.uk
Andreas AbelSenior Lecturer at the Department of Computer Science and Engineering, Gothenburg UniversityVerified email at gu.se
Jesper CockxTU DelftVerified email at sikanda.be
Frank PiessensProfessor of Computer Science, Katholieke Universiteit LeuvenVerified email at cs.kuleuven.be