Skip to main content
Department of Computer Science
MENU
Main menu
Home
About Us
About Us
Distinguished Lecture Series (DLS)
Career Opportunities
Admissions
Undergraduate CSE/ISE Program
Undergraduate Honors in Computer Science
Graduate Admissions in Computer Science
Graduate Admissions in Data Science
Assistantships
Scholarships
People
Faculty
Graduate Students
Staff
Awards
Research
Research
Research Lab List
Programs
Undergraduate Programs
Academic Advising
CS BS Program
CS Specialization
CS Courses
DS BS Program
IS BS Program
IS Specialization
IS Courses
Undergraduate Research Opportunities
Honors in Computer Science
Accelerated BS/MS Program
Academic Advising Online Petition Forms
University Bulletin for UG Programs
FAQS
Graduate Programs
M.S. Program in Computer Science
Ph.D. Program in Computer Science
Graduate Program in Data Science
Graduate Courses
Diploma Deadlines
Graduate Handbooks
Graduate Program Forms
TA Eval./Responsibilities
Graduate FAQs
Student Resources
Giving
Breadcrumb
Home
Godel Prize 2010: Joseph S. B. Mitchell
Recipient
Joseph S. B. Mitchell
Award Year
2010
Award Name
Godel Prize
Role
Faculty
