Senior Computer Scientist @ (May 2011 - December 2019)
Teaching Assistant: Formal Methods for Reactive Systems @ (April 2008 - June 2008)
Teaching Assistant: The Calculus of Computation @ (January 2008 - March 2008)
Co-op in ACL2 theorem-proving group, Advanced Technology Center @ (May 2004 - September 2006)
Co-op in formal verification group @ (May 2001 - August 2003)
Teaching Assistant: Automata Theory @ (May 2000 - August 2000)
Eric Smith Education
Stanford University
Doctor of Philosophy (Ph.D.) (Computer Science)
Stanford University
Master of Science (MS) (Computer Science)
The University of Texas at Austin
Bachelor of Science (BS) (Computer Science)
The University of Texas at Austin
Bachelor of Arts (BA) (Plan II Honors)
Eric Smith Summary
Eric Smith, based in Palo Alto, CA, US, is currently a CEO at Kestrel Institute. Eric Smith brings experience from previous roles at Kestrel Technology LLC, Kestrel Institute and Stanford University. Eric Smith holds a Doctor of Philosophy (Ph.D.) in Computer Science @ Stanford University. Eric Smith has 1 emails and 3 mobile phone numbers on RocketReach.
Looking for a different Eric Smith?
Find contact details for 700 million professionals.