Skip to main content
Stanford University
Stanford
Symbolic Systems Program
School of Humanities And Sciences
Search
Menu
About
Overview
What's in a name?
History
Alumni
News
Make a Gift
Contact Us
For Undergraduates
B.S. Program
How To Declare
Major Requirements
Minor Requirements
Concentrations
Honors Program
Undergrad Advising
Forms
For Graduates
Master's Program
M.S. Admissions
M.S. Forms
People
Affiliated Faculty and Academic Staff
Administration
Postdoctoral Scholars
Graduate Students
Advising Fellows
Award Recipients
Events
Symbolic Systems Events
SSP Forum
Distinguished Speakers Series
Wasow Visiting Scholars in Symbolic Systems
Other Related Events
Past Events
Commencement
Opportunities
SymSys Society
Research
Concentration Advising: Computational Foundations
Christopher Piech
Michael Genesereth
Genesereth is most known for his work on Computational Logic and applications of that work in Enterprise Management, Computational Law, and General Game Playing. He is one of the founders of…