Get my own profile
Co-authors
- Adam DingleKSVI, Faculty of Mathematics and Physics, Charles UniversityVerified email at medovina.org
- Paulo Ney de SouzaUniversity of CaliforniaVerified email at berkeley.edu
- Ioannis EmirisAthena Research Center; and National & Kapodistrian University of AthensVerified email at di.uoa.gr
- Eylon CaspiTabula, Inc.Verified email at tabula.com
- Leon SterlingUniversity of Melbourne & Swinburne University of TechnologyVerified email at swin.edu.au
- Alan BundyProfessor of Automated Reasoning, University of EdinburghVerified email at ed.ac.uk
- Neil SoifferTalking Cat SoftwareVerified email at alum.mit.edu
- Ronen GradwohlDepartment of Economics and Business Administration, Ariel UniversityVerified email at ariel.ac.il
- Bruce CharProfesor of Computer Science, Drexel UniversityVerified email at drexel.edu
- Robert L GrossmanFrederick H. Rawson Professor of Medicine and Computer Science, University of ChicagoVerified email at rgrossman.com
- John McCarthyMIT, Stanford
Follow
Richard Fateman
Emeritus Professor of Computer Science, University of California at Berkeley
Verified email at cs.berkeley.edu - Homepage