Get my own profile
Public access
View all15 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
Andreas HolzerUniversity of TorontoVerified email at cs.toronto.edu
Jade AlglaveARM and University College LondonVerified email at ucl.ac.uk
Stefan KugeleTechnische Hochschule IngolstadtVerified email at thi.de
Serdar TasiranS3, Amazon Web ServicesVerified email at acm.org
Byron CookProfessor of Computer Science, UCL, AmazonVerified email at cs.ucl.ac.uk
Andreas BauerUniversität AugsburgVerified email at uni-a.de
Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyVerified email at lmu.de
Alastair DonaldsonImperial College LondonVerified email at imperial.ac.uk
Luc MarangetInriaVerified email at inria.fr
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 diffblue.com
Thomas WahlNortheastern University, Boston, USAVerified email at northeastern.edu
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