Get my own profile
Public access
View all70 articles
1 article
available
not available
Based on funding mandates
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 SneyersCloudinaryVerified email at cloudinary.com
Martin SulzmannProfessor of Computer Science, Karlsruhe University of Applied SciencesVerified email at h-ka.de
Peter StuckeyFaculty of Information Technology, Monash UniversityVerified email at monash.edu
Pieter WuilleBlockstreamVerified email at blockstream.com
Jan WielemakerResearcher in Computer Science, VU University AmsterdamVerified email at vu.nl
Nicolas WuSenior Lecturer in Computer Science, Imperial College LondonVerified email at imperial.ac.uk
Thom FrühwirthProfessor of Computer Science, University of UlmVerified email at uni-ulm.de
Peter Van WeertVerified email at nikonmetrology.com
Dimitrios VytiniotisDeepMindVerified email at google.com
Markus TriskaTU WienVerified email at logic.at
Georgios KarachaliasTweag I/OVerified email at tweag.io
Steven KeuchelUniversiteit GentVerified email at ugent.be
Amr Hany SalehKU LeuvenVerified email at cs.kuleuven.be
Philip WadlerUniversity of Edinburgh and IOHKVerified email at inf.ed.ac.uk
Alexander VandenbrouckeKU LeuvenVerified email at kuleuven.be
Guido TackAssociate Professor, Monash UniversityVerified email at monash.edu
Horst SamulowitzIBM ResearchVerified email at us.ibm.com
Matija PretnarUniversity of Ljubljana, Faculty of Mathematics and PhysicsVerified email at fmf.uni-lj.si