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
Michael TautschnigQueen Mary University of LondonVerified email at qmul.ac.uk
Youcheng SunLecturer, University of ManchesterVerified email at manchester.ac.uk
Tom MelhamProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Thomas WahlNortheastern University, Boston, USAVerified email at northeastern.edu
Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexVerified email at diffblue.com
Cristina DavidUniversity of BristolVerified email at bristol.ac.uk
Philipp RuemmerProfessor in Computer Science, University of RegensburgVerified email at ur.de
Vijay D'SilvaGoogle Inc.Verified email at google.com
Martin BrainCity, University of LondonVerified email at city.ac.uk
Pascal KesseliDiffblue Ltd.Verified email at diffblue.com
Alastair DonaldsonImperial College LondonVerified email at imperial.ac.uk
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
Matt LewisComputer Science Department, University of OxfordVerified email at cs.ox.ac.uk