Eric Smith's Location
Palo Alto, CA, US
Eric Smith's Work
- CEO @ Kestrel Institute
- Senior Computer Scientist @ Kestrel Institute
- Senior Computer Scientist @ Kestrel Technology LLC
- Teaching Assistant: Formal Methods for Reactive Systems @ Stanford University
- Teaching Assistant: The Calculus of Computation @ Stanford University
- Co-op in ACL2 theorem-proving group, Advanced Technology Center @ Rockwell Collins
- Co-op in formal verification group @ AMD
- Teaching Assistant: Automata Theory @ The University of Texas School of Law
Eric Smith's Education
- Stanford University
Eric Smith's Skills
- Algorithms
- Formal Methods
- Lisp
- Computer Science
- Software Development
- Acl2
Eric Smith's Summary
Eric Smith, based in Palo Alto, CA, US, is currently a CEO at Kestrel Institute, bringing experience from previous roles at Kestrel Institute, Kestrel Technology LLC and Stanford University. Eric Smith holds a Stanford University. With a robust skill set that includes Algorithms, Formal Methods, Lisp, Computer Science, Software Development and more, Eric Smith contributes valuable insights to the industry. Eric Smith has 1 mobile phone number on RocketReach.
Not the Eric Smith you were looking for?
Find contact details for 700 million professionals.
Others Named Eric Smith
-
43
-
12
-
24
-
25
-
5+5+
-
13
-
35+
-
ViewEric Smith
President and Chief Operations Officer at Hino Motors Canada Ltd.
Toronto, Ontario, Canada21 -
43
-
52
Top Kestrel Institute Employees
-
4
How It Works
Get a Free Account
Sign up for a free account. No credit card required. Up to 5
free lookups / month.
Search
Search over 700
million verified professionals across 35 million companies.
Get Contact Info
Get contact details including emails and phone numbers
(business & personal).
G2Crowd Trusted
300K+
Plugin Users
