User:Carl Hewitt: Difference between revisions
Jump to navigation
Jump to search
imported>Carl Hewitt (improved links) |
imported>Carl Hewitt m (better organization) |
||
| Line 1: | Line 1: | ||
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. | 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. | ||
==Seminars== | |||
*[http://logicalnecessityedinburgh.carlhewitt.info/ The Logical Necessity of Inconsistency Edinburgh LFCS. 11th September 2007] | |||
*[http://logicalnecessitystanford.carlhewitt.info/ The Logical Necessity of Inconsistency Stanford Logic Group Meeting. 26 September 2007.] | |||
==Reports== | |||
*[http://orgs_paraconsistency_and_model_checking.carlhewitt.info/ ORGs (Organizations of Restricted Generality): Strong Paraconsistency and Participatory Behavioral Model Checking] | |||
*[http://logicprogramminghistory.wikicensored.info/ History of Logic Programming] | |||
*[http://logicalnecissityofinconsistency.wikicensored.info/ Logical Necessity of Inconsistency]] | |||
| Line 6: | Line 15: | ||
*[http://biography.carlhewitt.info Carl Hewitt's academic biography] | *[http://biography.carlhewitt.info Carl Hewitt's academic biography] | ||
*[http://publications.carlhewitt.info Carl Hewitt's publications] | *[http://publications.carlhewitt.info Carl Hewitt's publications] | ||
[[Category:CZ Authors|Hewitt, Carl]] | [[Category:CZ Authors|Hewitt, Carl]] | ||
Revision as of 15:43, 1 March 2008
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.
Seminars
- The Logical Necessity of Inconsistency Edinburgh LFCS. 11th September 2007
- The Logical Necessity of Inconsistency Stanford Logic Group Meeting. 26 September 2007.
Reports
- ORGs (Organizations of Restricted Generality): Strong Paraconsistency and Participatory Behavioral Model Checking
- History of Logic Programming
- Logical Necessity of Inconsistency]