Get my own profile
Co-authors
Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
Aleksandar NanevskiIMDEA Software InstituteVerified email at imdea.org
Georges GonthierPrincipal Researcher, Microsoft ResearchVerified email at microsoft.com
Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityVerified email at pps.univ-paris-diderot.fr
Matthieu SozeauResarcher, Inria Paris and PPSVerified email at inria.fr
Neelakantan R. KrishnaswamiUniversity of CambridgeVerified email at cl.cam.ac.uk
Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verified email at mpi-sws.org
Robbert KrebbersAssistant Professor, Radboud UniversityVerified email at cs.ru.nl
Bruno SilvestreProfessor do Instituto de Informática, Universidade Federal de GoiásVerified email at inf.ufg.br
Fabio MascarenhasAssistant Professor of Computer Science, UFRJVerified email at dcc.ufrj.br