MIT Computer Science and Artificial Intelligence Laboratory: Difference between revisions

Content deleted Content added
No edit summary
Line 23:
* [[Gödel Prize]] Recipients [[Shafi Goldwasser]] (two-time recipient), [[Silvio Micali]], [[Charles Rackoff]], [[Johan Håstad]], [[Peter Shor]], and [[Madhu Sudan]]
* [[Grace Murray Hopper Award]] recipients [[Robert Metcalfe]], [[Shafi Goldwasser]], [[Guy L. Steele]], and [[Danny Hillis|W. Daniel Hillis]]
* Textbook authors [[Hal Abelson|Harold Abelson]] and [[Gerald Jay Sussman]], [[Thomas H. Cormen]], [[Charles E. Leiserson]], [[RonRonald L. Rivest]] and [[CliffClifford Stein]]
* [[Carl Hewitt]] designer of the [[Planner programming language|Planner]] programming language, founder of the [[Actor model]] of concurrent systems, and co-developer of the [[Scientific Community Metaphor]].
* [[David D. Clark]], former chief protocol architect for the Internet, and co-author with [[Jerome H. Saltzer]] (also a CSAIL member) and [[David P. Reed]] of the influential paper "End-to-End Arguments in Systems Design" (see [[End-to-end principle]])