Xem tiểu sử của tôi
Truy cập công khai
Xem tất cả2 bài viết
0 bài viết
có sẵn
không có sẵn
Dựa trên yêu cầu tài trợ
Đồng tác giả
- Nikolaj BjornerMicrosoft ResearchEmail được xác minh tại cs.stanford.edu
- Bruno DutertreAmazon Web ServicesEmail được xác minh tại amazon.com
- Harald RuessfortissEmail được xác minh tại fortiss.org
- Natarajan ShankarSRI International Computer Science LaboratoryEmail được xác minh tại csl.sri.com
- John RushbySRI InternationalEmail được xác minh tại csl.sri.com
- Clark BarrettStanford UniversityEmail được xác minh tại cs.stanford.edu
- Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon UniversityEmail được xác minh tại cmu.edu
- Daniel SelsamOpenAIEmail được xác minh tại openai.com
- Dejan JovanovićAmazon Web ServicesEmail được xác minh tại amazon.com
- Sam OwreSRI InternationalEmail được xác minh tại sri.com
- Aaron StumpProfessor of Computer Science, The University of IowaEmail được xác minh tại uiowa.edu
- Sebastian UllrichKarlsruhe Institute of TechnologyEmail được xác minh tại kit.edu
- Soonho KongAmazon Web ServicesEmail được xác minh tại amazon.com
- Grant Olney PassmoreImandra Inc. and Clare Hall, University of CambridgeEmail được xác minh tại cl.cam.ac.uk
- Ira BaxterCTO Semantic DesignsEmail được xác minh tại semdesigns.com
- Christoph M. WintersteigerImandraEmail được xác minh tại imandra.ai
- Percy LiangAssociate Professor of Computer Science, Stanford UniversityEmail được xác minh tại cs.stanford.edu
- Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftEmail được xác minh tại csl.sri.com
- Floris van DoornUniversity of Paris-SaclayEmail được xác minh tại universite-paris-saclay.fr
- Jakob von RaumerKarlsruhe Institute of TechnologyEmail được xác minh tại von-raumer.de