Get my own profile
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
Andreas BauerUniversität AugsburgVerified email at rz.uni-augsburg.de
Luc MarangetInriaVerified email at inria.fr
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
Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyVerified email at lmu.de
Thomas WahlNortheastern University, Boston, USAVerified email at northeastern.edu
Byron CookProfessor of Computer Science, UCL, AmazonVerified email at cs.ucl.ac.uk
Alexander KaiserUniversity of OxfordVerified email at cs.ox.ac.uk
Hana ChocklerKing's College LondonVerified email at kcl.ac.uk
Pascal KesseliDiffblue Ltd.Verified email at diffblue.com
Leopold HallerGoogleVerified email at google.com
Vijay D'SilvaGoogle Inc.Verified email at google.com
Michael Tautschnig
Verified email at qmul.ac.uk - Homepage