Get my own profile
Co-authors
Daniel KroeningAmazonVerified email at amazon.com
Martin BrainUniversity of OxfordVerified email at cs.ox.ac.uk
Tom MelhamProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Cristina DavidUniversity of CambridgeVerified email at cam.ac.uk
Michael TautschnigQueen Mary University of LondonVerified email at qmul.ac.uk
Alessandro AbateProfessor of Verification and Control, University of OxfordVerified email at cs.ox.ac.uk
Lucas CordeiroSenior Lecturer (Associate Professor), Dept of Computer Science, University of ManchesterVerified email at manchester.ac.uk
Saurabh JoshiIIT HyderabadVerified email at cse.iith.ac.in
Ruben MartinsCarnegie Mellon UniversityVerified email at cs.cmu.edu
Tino TeigeChief Research Engineer Innovation & Technology, BTC Embedded Systems AGVerified email at btc-es.de
Tomas VojnarFIT, Brno University of TechnologyVerified email at fit.vutbr.cz
Viktor MalikPhD. student, Brno University of TechnlogyVerified email at fit.vutbr.cz
Pascal KesseliDiffblue Ltd.Verified email at diffblue.com
Sriram SankaranarayananAssociate Professor of Computer Science, University of Colorado, BoulderVerified email at colorado.edu
Laure GonnordUniversity of Lyon - LIPVerified email at ens-lyon.fr
David MonniauxResearcher in computer science, CNRS, VERIMAGVerified email at univ-grenoble-alpes.fr
Subodh SharmaIIT DelhiVerified email at cse.iitd.ac.in
Ajitha RajanUniversity of EdinburghVerified email at staffmail.ed.ac.uk
RAJDEEP MUKHERJEEAmazonVerified email at amazon.com
Gennaro ParlatoAssociate Professor of Computer Science, University of MoliseVerified email at unimol.it
Peter Schrammel
Diffblue Ltd & Lecturer in Computer Science, University of Sussex
Verified email at sussex.ac.uk - Homepage