Get my own profile
Public access
View all61 articles
1 article
available
not available
Based on funding mandates
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
Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerified email at cs.ox.ac.uk
Thomas WahlNortheastern University, Boston, USAVerified email at northeastern.edu
Michael TautschnigQueen Mary University of LondonVerified email at qmul.ac.uk
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
Youcheng SunLecturer, University of ManchesterVerified email at manchester.ac.uk
Philipp RuemmerProfessor in Computer Science, University of RegensburgVerified email at ur.de
Vijay D'SilvaGoogle Inc.Verified email at google.com
Cristina DavidUniversity of BristolVerified email at bristol.ac.uk
Martin BrainCity, University of LondonVerified email at city.ac.uk
Alastair DonaldsonImperial College LondonVerified email at imperial.ac.uk
Leopold HallerGoogleVerified email at google.com
Pascal KesseliDiffblue Ltd.Verified email at diffblue.com
Hana ChocklerKing's College LondonVerified email at kcl.ac.uk
Christoph M. WintersteigerImandraVerified email at imandra.ai
Alexander KaiserUniversity of OxfordVerified email at cs.ox.ac.uk