Carl Hewitt | |
|---|---|
 Carl Hewitt in 2008 | |
| Born | 1944[1] |
| Died | (aged 77) |
| Alma mater | MIT |
| Known for | Actor model Inconsistency robustness Planner (logic programs) Comparative schematology |
| Scientific career | |
| Fields | Computer science Mathematical logic Model of computation Programming languages Philosophy of logic |
| Institutions | MIT Keio University Stanford University |
| Doctoral advisor | Seymour Papert |
| Other academic advisors | Marvin Minsky Mike Paterson |
| Doctoral students | Gul Agha Henry Baker William Clinger Irene Greif Akinori Yonezawa |
Carl Eddie Hewitt (/ˈhjuːɪt/; 1944 – 7 December 2022)[2] was an American computer scientist who designed the Planner programming language for automated planning[3] and the actor model of concurrent computation,[4] which have been influential in the development of logic, functional and object-oriented programming. Planner was the first programming language based on procedural plans invoked using pattern-directed invocation from assertions and goals. The actor model influenced the development of the Scheme programming language,[5] the π-calculus,[6] and served as an inspiration for several other programming languages.[7]
- ^ "Carl Hewitt Obituary (1944 - 2022) - Aptos, CA - Santa Cruz Sentinel". Legacy.com.
- ^ Carl Hewitt Stanford. 2022.
- ^ Carl Hewitt. PLANNER: A Language for Proving Theorems in Robots IJCAI. 1969.
- ^ Filman, Robert; Daniel Friedman (1984). "Actors". Coordinated Computing - Tools and Techniques for Distributed Software. McGraw-Hill. p. 145. ISBN 978-0-07-022439-1. Retrieved 2007-04-22.
Carl Hewitt and his colleagues at M.I.T. are developing the Actor model.
- ^ Krishnamurthi, Shriram (December 1994). "An Introduction to Scheme". Crossroads. 1 (2): 19–27. doi:10.1145/197149.197166. S2CID 9782289. Archived from the original on 2007-04-25. Retrieved 2007-04-22.
- ^ Milner, Robin (January 1993). "ACM Turing Award Lecture: The Elements of Interaction". Communications of the ACM. 36 (1): 78–89. doi:10.1145/151233.151240. S2CID 14586773.
- ^ Miller, Mark S. (2006). Robust Composition - Towards a Unified Approach to Access Control and Concurrency Control (PDF) (PhD). Johns Hopkins University. Archived from the original (PDF) on 2007-08-10. Retrieved 2007-05-26.