Get my own profile
Public access
View all15 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
Robbert KrebbersAssociate Professor, Radboud University NijmegenVerified email at cs.ru.nl
Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesVerified email at normalesup.org
Lars BirkedalDept. of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Aleš BizjakFormerly postdoctoral researcher, Aarhus University, currently software architect at ConcordiumVerified email at alesb.com
Joseph TassarottiAssistant Professor, New York UniversityVerified email at nyu.edu
David SwaseyMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verified email at mpi-sws.org
Filip SieczkowskiHeriot-Watt UniversityVerified email at hw.ac.uk
Aaron TuronMPI-SWSVerified email at mpi-sws.org
Kasper SvendsenDepartment of Computer Science, Aarhus UniversityVerified email at itu.dk
Amin TimanyAarhus UniversityVerified email at cs.au.dk
Arthur CharguéraudInriaVerified email at inria.fr
John RegehrProfessor, School of Computing, University of UtahVerified email at cs.utah.edu
Zhengyang LiuUniversity of UtahVerified email at cs.utah.edu
Chung-Kil HurSeoul National UniversityVerified email at sf.snu.ac.kr
Juneyoung LeeAutomated Reasoning Group, AWSVerified email at amazon.com
Nuno P. LopesINESC-ID, Instituto Superior Técnico, Universidade de LisboaVerified email at tecnico.ulisboa.pt