Get my own profile
Public access
View all16 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Daniel KroeningAmazonVerified email at amazon.com
Christian SchallhartGoogleVerified email at schallhart.net
Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienVerified email at forsyte.tuwien.ac.at
Jade AlglaveARM and University College LondonVerified email at ucl.ac.uk
Andreas HolzerUniversity of TorontoVerified email at cs.toronto.edu
Stefan KugeleTechnische Hochschule IngolstadtVerified email at thi.de
Luc MarangetInriaVerified email at inria.fr
Andreas BauerUniversität AugsburgVerified email at uni-a.de
Byron CookProfessor of Computer Science, UCL, AmazonVerified email at cs.ucl.ac.uk
Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyVerified email at lmu.de
Alastair DonaldsonImperial College LondonVerified email at imperial.ac.uk
Zhonglei WangComputer Science, Karlsruhe Institute of TechnologyVerified email at kit.edu
Tom MelhamProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexVerified email at sussex.ac.uk
Thomas WahlNortheastern University, Boston, USAVerified email at northeastern.edu
Alexander KaiserUniversity of OxfordVerified email at cs.ox.ac.uk
Matthias DanglLudwig-Maximilians-Universität MünchenVerified email at sosy.ifi.lmu.de
Thomas LembergerLMU MunichVerified email at lmu.de
Felipe R. MonteiroAmazonVerified email at amazon.com
Daniel Schwartz-NarbonneAutomated Reasoning Group, AWSVerified email at amazon.com