Get my own profile
Public access
View all2 articles
0 articles
available
not available
Based on funding mandates
Co-authors
- Nikolaj BjornerMicrosoft ResearchVerified email at cs.stanford.edu
- Bruno DutertreAmazon Web ServicesVerified email at amazon.com
- Harald RuessfortissVerified email at fortiss.org
- Natarajan ShankarSRI International Computer Science LaboratoryVerified email at csl.sri.com
- John RushbySRI InternationalVerified email at csl.sri.com
- Clark BarrettStanford UniversityVerified email at cs.stanford.edu
- Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon UniversityVerified email at cmu.edu
- Sebastian UllrichKarlsruhe Institute of TechnologyVerified email at kit.edu
- Daniel SelsamOpenAIVerified email at openai.com
- Dejan JovanovićAmazon Web ServicesVerified email at amazon.com
- Sam OwreSRI InternationalVerified email at sri.com
- Aaron StumpProfessor of Computer Science, The University of IowaVerified email at uiowa.edu
- Soonho KongAmazon Web ServicesVerified email at amazon.com
- Grant Olney PassmoreImandra Inc. and Clare Hall, University of CambridgeVerified email at cl.cam.ac.uk
- Christoph M. WintersteigerImandraVerified email at imandra.ai
- Ira BaxterCTO Semantic DesignsVerified email at semdesigns.com
- Percy LiangAssociate Professor of Computer Science, Stanford UniversityVerified email at cs.stanford.edu
- Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftVerified email at csl.sri.com
- Floris van DoornUniversity of BonnVerified email at math.uni-bonn.de
- Jakob von RaumerKarlsruhe Institute of TechnologyVerified email at von-raumer.de