Get my own profile
Public access
View all8 articles
0 articles
available
not available
Based on funding mandates
Co-authors
- Grant Olney PassmoreImandra Inc. and Clare Hall, University of CambridgeVerified email at cl.cam.ac.uk
- Andrew SogokonCarnegie Mellon UniversityVerified email at andrew.cmu.edu
- Leonardo de MouraAmazon Web ServicesVerified email at amazon.com
- André PlatzerAlexander von Humboldt Professor, Karlsruhe Institute of TechnologyVerified email at kit.edu
- Khalil GhorbalINRIAVerified email at inria.fr
- Vijay NagarajanProfessor, University of UtahVerified email at cs.utah.edu
- Marco ElverGoogleVerified email at google.com
- Christopher J. BanksUniversity of EdinburghVerified email at ed.ac.uk
- Taylor T JohnsonAssociate Professor, Electrical Engineering and Computer Science (EECS), Vanderbilt UniversityVerified email at vanderbilt.edu
- Lawrence PaulsonUniversity of CambridgeVerified email at cam.ac.uk
- Ruth HoffmannSchool of Computer Science, University of St AndrewsVerified email at st-andrews.ac.uk
- Susmit SarkarProfessor of Computer Science, University of St AndrewsVerified email at st-andrews.ac.uk
- Florian SchandaVeoneer System Software GmbHVerified email at schanda.org.uk
- Christoph M. WintersteigerImandraVerified email at imandra.ai