Jon Doyle
SAS Institute Distinguished Professor of Computer SciencePh.D., Massachusetts Institute of Technology
Contact information
 Office: 2298 Engineering Building II
 Phone: (919) 5130423
 Fax: (919) 5157896
 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 276958206  Parcel Delivery Address:
Department of Computer Science
890 Oval Drive, Room 3320
North Carolina State University
Raleigh, NC 27606
Office Hours
 Summer 2017: By appointment
Teaching
 Fall 2017:
 CSC 333, Automata, Languages and Computability Theory
 CSC 503, Computational Applied Logic
 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:
 Christopher Argenta
 Jiaming Jiang
 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, including 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
 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.