Personal Information
Unternehmen/Arbeitsplatz
San Francisco Bay Area United States
Beruf
Boad Chair of iRobust and Standard IoT
Branche
Technology / Software / Internet
Info
Carl Hewitt is Board Chair of the International Society for Inconsistency Robustness. He has been a Visiting Professor at Stanford University and the University of Keio. In 2000, he became emeritus in the EECS department at MIT.
Hewitt is known for his design of Planner. This was the first programming language based on procedural plans invoked using pattern-directed invocation from assertions and goals. Planner was influential in the development of both logic programming and object-oriented programming. He is also known for his work on the Actor model of concurrent computation, which influenced the development of the Scheme programming language and the π calculus, and served as an inspi..
Tags
carl hewitt
direct logic
many cores
actorscripttm
inconsistency robustness
incompleteness theorems
goedel
wittgenstein
Mehr anzeigen
Präsentationen
(1)Personal Information
Unternehmen/Arbeitsplatz
San Francisco Bay Area United States
Beruf
Boad Chair of iRobust and Standard IoT
Branche
Technology / Software / Internet
Info
Carl Hewitt is Board Chair of the International Society for Inconsistency Robustness. He has been a Visiting Professor at Stanford University and the University of Keio. In 2000, he became emeritus in the EECS department at MIT.
Hewitt is known for his design of Planner. This was the first programming language based on procedural plans invoked using pattern-directed invocation from assertions and goals. Planner was influential in the development of both logic programming and object-oriented programming. He is also known for his work on the Actor model of concurrent computation, which influenced the development of the Scheme programming language and the π calculus, and served as an inspi..
Tags
carl hewitt
direct logic
many cores
actorscripttm
inconsistency robustness
incompleteness theorems
goedel
wittgenstein
Mehr anzeigen