Get my own profile
Public access
View all10 articles
2 articles
available
not available
Based on funding mandates
Co-authors
Philipp SchusterUniversity of TübingenVerified email at uni-tuebingen.de
Klaus OstermannProfessor of Computer Science, University of Tübingen, GermanyVerified email at uni-tuebingen.de
Martin OderskyEPFLVerified email at epfl.ch
Aleksander Boruch-GruszeckiEPFLVerified email at epfl.ch
Ondrej LhotakComputer Science, University of WaterlooVerified email at uwaterloo.ca
Tillmann RendelSAPVerified email at sap.com
Ningning XieUniversity of Toronto / Google DeepMindVerified email at google.com
Daniel HillerströmSenior researcher, Huawei Zurich Research CenterVerified email at ed.ac.uk
Nicolas StuckiPhD in Computer Science at EPFLVerified email at epfl.ch
Maxime KjaerEPFLVerified email at alumni.epfl.ch
Olivier BlanvillainEPFLVerified email at epfl.ch
Matthew LutzeAarhus UniversityVerified email at cs.au.dk
Magnus MadsenAarhus UniversityVerified email at cs.au.dk
Lionel ParreauxThe Hong Kong University of Science and Technology (HKUST)Verified email at ust.hk
Youyou CongTokyo Institute of TechnologyVerified email at c.titech.ac.jp
Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.Verified email at tudelft.nl
Jonathan Lindegaard StarupPhD Student, Computer Science, Aarhus UniversityVerified email at cs.au.dk