Get my own profile
Co-authors
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
Ofer StrichmanTechnion, Haifa, IsraelVerified email at ie.technion.ac.il
Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandVerified email at usi.ch
Georg WeissenbacherProfessor of Computer Science, TU WienVerified email at tuwien.ac.at
Thomas WahlNortheastern University, Boston, USAVerified email at northeastern.edu
Michael TautschnigQueen Mary University of LondonVerified email at qmul.ac.uk
Philipp RuemmerAssociate Professor (Docent) in Computer Science, Uppsala UniversityVerified email at it.uu.se
Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexVerified email at sussex.ac.uk
Vijay D'SilvaGoogle Inc.Verified email at google.com
Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienVerified email at forsyte.tuwien.ac.at
Tom MelhamProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Alessandro AbateProfessor of Verification and Control, University of OxfordVerified email at cs.ox.ac.uk
Martin BrainUniversity of OxfordVerified email at cs.ox.ac.uk
Orna GrumbergProfessor of Computer Science, TechnionVerified email at cs.technion.ac.il
Youcheng SunQueen's University BelfastVerified email at qub.ac.uk
Cristina DavidUniversity of CambridgeVerified email at cam.ac.uk
Alastair DonaldsonImperial College LondonVerified email at imperial.ac.uk
Leopold HallerGoogleVerified email at google.com
Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
Christoph M. WintersteigerMicrosoft ResearchVerified email at microsoft.com