Get my own profile
Public access
View all4 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Peter StuckeyFaculty of Information Technology, Monash UniversityVerified email at monash.edu
Tom SchrijversProfessor of Computer Science, KU LeuvenVerified email at cs.kuleuven.be
Edmund S L LamUniversity of Colorado BoulderVerified email at colorado.edu
Manuel M T ChakravartyTweag I/O & IOHKVerified email at justtesting.org
Dimitrios VytiniotisDeepMindVerified email at google.com
Peter ThiemannProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-Freiburg.de
Meng WangSenior Lecturer in Computer Science, University of BristolVerified email at bristol.ac.uk
Martin OderskyEPFLVerified email at epfl.ch
Reiner HähnleProfessor of Computer Science, Technical University of DarmstadtVerified email at cs.tu-darmstadt.de
Kevin DonnellyGoogle Inc.Verified email at google.com
Harald SøndergaardComputing and Information Systems, The University of MelbourneVerified email at unimelb.edu.au
Kim MarriottProfessor, Monash UniversityVerified email at monash.edu
Peter Van WeertVerified email at nikonmetrology.com
Simon Peyton JonesEpic Games