Get my own profile
Co-authors
Ruben MartinsCarnegie Mellon UniversityVerified email at cs.cmu.edu
Daniel KroeningProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Vasco ManquinhoINESC-ID, Instituto Superior Técnico - Universidade de LisboaVerified email at inesc-id.pt
Ines LynceINESC-ID / IST, Universidade de LisboaVerified email at tecnico.ulisboa.pt
Akash LalMicrosoft Research, IndiaVerified email at microsoft.com
Ganesh NarayanaswamyUniversity of OxfordVerified email at cs.ox.ac.uk
Shuvendu LahiriPrincipal Researcher, Microsoft ResearchVerified email at microsoft.com
Vojtěch ForejtDifflblueVerified email at diffblue.com
Subodh SharmaIIT DelhiVerified email at cse.iitd.ac.in
Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexVerified email at sussex.ac.uk
Martin BrainUniversity of OxfordVerified email at cs.ox.ac.uk
Rk ShyamasundarIIT BombayVerified email at cse.iitb.ac.in
Sukrut RaoMax Planck Institute for Informatics, Saarland Informatics CampusVerified email at mpi-inf.mpg.de
RAJDEEP MUKHERJEED.Phil StudentVerified email at cs.ox.ac.uk
Andreas GriesmayerImperial College LondonVerified email at arm.com
Tom MelhamProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Rajesh K. GuptaProfessor of Computer Science and Engineering, UC San DiegoVerified email at ucsd.edu
Alexander NadelReseacher and Engineer, IntelVerified email at intel.com
Anjeneya Swami KareUniversity of HyderabadVerified email at uohyd.ac.in
Miguel Terra-NevesResearch Scientist, OutSystemsVerified email at outsystems.com
Saurabh Joshi
Verified email at iith.ac.in - Homepage