Get my own profile
Co-authors
bart demoenProfessor of Computer Science, KU LeuvenVerified email at cs.kuleuven.be
Bruno C. d. S. OliveiraAssistant Professor, The University of Hong KongVerified email at cs.hku.hk
Jon SneyersKU LeuvenVerified email at cs.kuleuven.be
Martin SulzmannProfessor of Computer Science, Karlsruhe University of Applied SciencesVerified email at hs-karlsruhe.de
Peter StuckeyFaculty of Information Technology, Monash UniversityVerified email at monash.edu
Simon Peyton JonesMicrosoft ResearchVerified email at microsoft.com
Pieter WuilleBlockstreamVerified email at blockstream.com
Thom FrühwirthProfessor of Computer Science, University of UlmVerified email at uni-ulm.de
Jan WielemakerResearcher in Computer Science, VU University AmsterdamVerified email at vu.nl
Peter Van WeertVerified email at nikonmetrology.com
Markus TriskaTU WienVerified email at logic.at
Dimitrios VytiniotisDeepMindVerified email at google.com
Georgios KarachaliasTweag I/OVerified email at tweag.io
Steven KeuchelUniversiteit GentVerified email at ugent.be
Nicolas WuSenior Lecturer in Computer Science, Imperial College LondonVerified email at imperial.ac.uk
Philip WadlerUniversity of Edinburgh and IOHKVerified email at inf.ed.ac.uk
Guido TackAssociate Professor, Monash UniversityVerified email at monash.edu
Horst SamulowitzIBM ResearchVerified email at us.ibm.com
Amr Hany SalehKU LeuvenVerified email at cs.kuleuven.be
Gregory DuckNational University of SingaporeVerified email at comp.nus.edu.sg