Jon Doyle
SAS Institute Distinguished Professor of Computer SciencePh.D., Massachusetts Institute of Technology
Contact information
- Office: 2298 Engineering Building II
- Phone: (919) 513-0423
- Fax: (919) 515-7896
- Email: Jon_Doyle@ncsu.edu
- Web: http://www.csc.ncsu.edu/faculty/doyle
- Postal Address:
Department of Computer Science
Campus Box 8206
North Carolina State University
Raleigh, NC 27695-8206 - Parcel Delivery Address:
Department of Computer Science
890 Oval Drive, Room 3320
North Carolina State University
Raleigh, NC 27606
Office Hours
- Spring 2013: Monday 1-2 PM, Wednesday 12-1 PM
Teaching
- Spring 2013:
- CSC 422/522, Automated Learning and Data Analysis
- CSC 720, Artificial Intelligence II
- Past courses
Research
- Publications Archive
-
Graduate Student FAQ
- See also How to Succeed in Graduate School by Marie desJardins
- See also Does a book exist if nobody reads it? by Lance Fortnow
- Artificial Computers: You've seen the movie, now read the book!
-
Students:
- Brian Dellinger
- Andrew Beam
- Christopher Argenta
- Santosh Kolenchery
- Past students
Interests
My primary research interests center on developing a mathematical understanding of thinking and the mind. This effort involves seeking out or developing mathematical concepts and theorems that fit the subject. My work draws on mathematical theories of logic, computation, economics, and mechanics, as well as more general branches of mathematics. In turn, this work has made novel contributions to these existing subjects, notably nonmonotonic logics, preference logics, and hybrid mechanics. I am especially interested in
- Developing theories of rational reflective reasoning, deliberation, adaptation, motivation, habit, and intelligence;
- Characterizing formally different kinds of interesting minds, especially minds that share some of the limitations and qualities of human minds, such as limited degrees of rationality;
- Developing methods for automating the construction of minds from such characterizations using computers or other mechanisms; and
- Solutions of Brigg's equation y''''y'2 - 3y'''y''y' + 2(1 - n-2)y''3 = 0 for n > 3.
Activities
- Fellow, Association for the Advancement of Artificial Intelligence
- Extraordinary member, Universität Jena Frege Centre for Structural Sciences,
- Associate faculty, NCSU Bioinformatics Research Center
- Associate faculty, NCSU Information Security Program
- Associate faculty, E-Commerce @ NC State
- Member AAAI, AMS, SIAM, ACM
Personal information
- Academic biography
- Mathematical genealogy (My MGP entry)
- Artificial Intelligence genealogy (My AIGP entry)
- Really old email
- My brick in the new NCSU College of Engineering quad
- My interview (76MB) of July 16, 2006 in the MIT Oral History collection on early artificial intelligence research.


