User:Carl Hewitt

Carl Hewitt is Emeritus in the Electrical Engineering and Computer Science department at the Massachusetts Institute of Technology (MIT). He obtained his PhD in mathematics at MIT in 1971, under the supervision of Seymour Papert (adviser), Marvin Minsky, and Mike Paterson. From September 1989 to August 1990, Hewitt was the IBM Chair Visiting Professor in the Department of Computer Science at Keio University in Japan. He is known for his design of Planner (a pioneering Artificial Intelligence programming language), his work on concurrency (the Actor model), the Scientific Community Metaphor, and, most recently, on strongly paraconsistent logic.

Academic Biography

• Carl Hewitt's academic biography

Publications

• Carl Hewitt's publications

Seminars

• "The Logical Necessity of Inconsistency" Edinburgh LFCS. 11th September 2007
• "The Logical Necessity of Inconsistency" Stanford Logic Group Meeting. 26 September 2007.
• "History of Logic Programming: What went wrong, What was done about it, and What it might mean for the future" Stanford CSLI CogLunch. 12 noon-1:30 PM on Thur. 8 May 2008 in Cordura Hall, Room 100

Reports

• Common sense for concurrency and strong paraconsistency using unstratified inference and reflection April 28, 2008.
• Norms and Commitments for ORGs (Organizations of Restricted Generality): Strong Paraconsistency and Participatory Behavioral Model Checking April 28, 2008.
• History of Logic Programming
• Logical Necessity of Inconsistency

Blog

• Carl Hewitt on Blogger

External Links

• Carl Hewitt's experience at Wikipedia