Get my own profile
Public access
View all14 articles
1 article
available
not available
Based on funding mandates
Co-authors
Daniel KroeningAmazonVerified email at amazon.com
Michael TautschnigQueen Mary University of LondonVerified email at qmul.ac.uk
Lucas C. CordeiroProfessor of Computer Science, University of Manchester | Universidade Federal do Amazonas | VeriBeeVerified email at manchester.ac.uk
Martin BrainCity, University of LondonVerified email at city.ac.uk
Tom MelhamProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Tomas VojnarFI, Masaryk University & FIT, Brno University of TechnologyVerified email at fi.muni.cz
Viktor MalikSoftware Engineer, Red HatVerified email at redhat.com
Cristina DavidUniversity of BristolVerified email at bristol.ac.uk
Pascal KesseliDiffblue Ltd.Verified email at diffblue.com
Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerified email at cs.ox.ac.uk
Saurabh JoshiSupraOraclesVerified 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
Gennaro ParlatoFull Professor of Computer Science, University of Molise, ItalyVerified email at unimol.it
Bernd FischerComputer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
Salvatore La TorreUniversità degli Studi di SalernoVerified email at unisa.it
Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderVerified email at colorado.edu
Laure GonnordGrenoble INP - UGAVerified email at grenoble-inp.fr
David MonniauxResearcher in computer science, CNRS, VERIMAGVerified email at univ-grenoble-alpes.fr
RAJDEEP MUKHERJEEAmazonVerified email at amazon.com