List of pioneers in computer science
From Wikipedia, the free encyclopedia
Jump to navigationJump to search
This article presents a list of individuals who made transformative breakthroughs in the creation, development and imagining of what computers could do.
Contents
1 Pioneers
2 See also
3 References
3.1 Sources
4 External links
Pioneers[edit]
To put the list in chronological order, click the small "up-down" icon in the Date column. The Person column can also be sorted alphabetically, up-down.
Achievement
date Person Achievement
2018 Bengio, Yoshua Conceptual and engineering breakthroughs that have made deep neural networks a critical component of computing.[64]
2018 LeCun, Yann Conceptual and engineering breakthroughs that have made deep neural networks a critical component of computing.[65]
2011 Graham, Susan L. Awarded the 2009 IEEE John von Neumann Medal for "contributions to programming language design and implementation and for exemplary service to the discipline of computer science".
2011 Pearl, Judea Fundamental contributions to artificial intelligence through the development of a calculus for probabilistic and causal reasoning.[60]
2010 Valiant, Leslie Transformative contributions to the theory of computation, including the theory of probably approximately correct (PAC) learning, the complexity of enumeration and of algebraic computation, and the theory of parallel and distributed computing.
2008, 2012, 2018 Hinton, Geoffrey Popularized and enabled the use of artificial neural networks and deep learning, which rank among the most successful tools in modern artificial intelligence efforts. Received the Turing Award in 2018 for conceptual and engineering breakthroughs that have made deep neural networks a critical component of computing.[21]
2008 Nakamoto, Satoshi The anonymous creator or creators of Bitcoin, the first peer-to-peer digital currency. Nakamoto's 2008 white-paper introduced the concept of the blockchain, a database structure that allows full trust in the decentralized and distributed public transaction ledger of the cryptocurrency.[32]
2007 Sifakis, Joseph Developing model checking into a highly effective verification technology, widely adopted in the hardware and software industries.[59]
2000 Yao, Andrew Fundamental contributions to the theory of computation, including the complexity-based theory of pseudorandom number generation, cryptography, and communication complexity.
1997 Hsu Feng-hsiung Work led to the creation of the Deep Thought chess computer, and the architect and the principal designer of the IBM Deep Blue chess computer which defeated the reigning World Chess Champion, Garry Kasparov, in 1997.
1996 Pnueli, Amir Introducing temporal logic into computing science and for outstanding contributions to program and systems verification.[58]
1995 Picard, Rosalind[undue weight? – discuss] Founded Affective Computing, and laid the foundations for giving computers skills of emotional intelligence.
1995 Blum, Manuel Contributions to the foundations of computational complexity theory and its application to cryptography and program checking.[57]
1994 Floyd, Sally Founded the field of Active Queue Management and co-invented Random Early Detection which is used in almost all Internet routers.
1994 Feigenbaum, Edward Pioneering the design and construction of large scale artificial intelligence systems, demonstrating the practical importance and potential commercial impact of artificial intelligence technology.[55]
1994 Reddy, Raj Pioneering the design and construction of large scale artificial intelligence systems, demonstrating the practical importance and potential commercial impact of artificial intelligence technology.[56]
1993 Toh Chai Keong Created mobile ad hoc networking; Implemented the first working wireless ad hoc network of laptop computers in 1998 using Linux OS, Lucent WaveLan 802.11 radios, and a new distributed routing protocol transparent to TCP/UDP/IP.
1993 Hartmanis, Juris Foundations for the field of computational complexity theory.[53]
1993 Stearns, Richard E. Foundations for the field of computational complexity theory.[54]
1992 Lampson, Butler W. Development of distributed, personal computing environments and the technology for their implementation: workstations, networks, operating systems, programming systems, displays, security and document publishing.
1991 Torvalds, Linus Created the first version of the Linux kernel.
1991 Milner, Robin 1) LCF, the mechanization of Scott's Logic of Computable Functions, probably the first theoretically based yet practical tool for machine assisted proof construction; 2) ML, the first language to include polymorphic type inference together with a type-safe exception-handling mechanism; 3) CCS, a general theory of concurrency. In addition, he formulated and strongly advanced full abstraction, the study of the relationship between operational and denotational semantics.[52]
1989, 1990 Berners-Lee, Tim Invented World Wide Web. With Robert Cailliau, sent first HTTP communication between client and server.
🇮🇱Jew
From Wikipedia, the free encyclopedia
Jump to navigationJump to search
This article presents a list of individuals who made transformative breakthroughs in the creation, development and imagining of what computers could do.
Contents
1 Pioneers
2 See also
3 References
3.1 Sources
4 External links
Pioneers[edit]
To put the list in chronological order, click the small "up-down" icon in the Date column. The Person column can also be sorted alphabetically, up-down.
Achievement
date Person Achievement
2018 Bengio, Yoshua Conceptual and engineering breakthroughs that have made deep neural networks a critical component of computing.[64]
2018 LeCun, Yann Conceptual and engineering breakthroughs that have made deep neural networks a critical component of computing.[65]
2011 Graham, Susan L. Awarded the 2009 IEEE John von Neumann Medal for "contributions to programming language design and implementation and for exemplary service to the discipline of computer science".
2011 Pearl, Judea Fundamental contributions to artificial intelligence through the development of a calculus for probabilistic and causal reasoning.[60]
2010 Valiant, Leslie Transformative contributions to the theory of computation, including the theory of probably approximately correct (PAC) learning, the complexity of enumeration and of algebraic computation, and the theory of parallel and distributed computing.
2008, 2012, 2018 Hinton, Geoffrey Popularized and enabled the use of artificial neural networks and deep learning, which rank among the most successful tools in modern artificial intelligence efforts. Received the Turing Award in 2018 for conceptual and engineering breakthroughs that have made deep neural networks a critical component of computing.[21]
2008 Nakamoto, Satoshi The anonymous creator or creators of Bitcoin, the first peer-to-peer digital currency. Nakamoto's 2008 white-paper introduced the concept of the blockchain, a database structure that allows full trust in the decentralized and distributed public transaction ledger of the cryptocurrency.[32]
2007 Sifakis, Joseph Developing model checking into a highly effective verification technology, widely adopted in the hardware and software industries.[59]
2000 Yao, Andrew Fundamental contributions to the theory of computation, including the complexity-based theory of pseudorandom number generation, cryptography, and communication complexity.
1997 Hsu Feng-hsiung Work led to the creation of the Deep Thought chess computer, and the architect and the principal designer of the IBM Deep Blue chess computer which defeated the reigning World Chess Champion, Garry Kasparov, in 1997.
1996 Pnueli, Amir Introducing temporal logic into computing science and for outstanding contributions to program and systems verification.[58]
1995 Picard, Rosalind[undue weight? – discuss] Founded Affective Computing, and laid the foundations for giving computers skills of emotional intelligence.
1995 Blum, Manuel Contributions to the foundations of computational complexity theory and its application to cryptography and program checking.[57]
1994 Floyd, Sally Founded the field of Active Queue Management and co-invented Random Early Detection which is used in almost all Internet routers.
1994 Feigenbaum, Edward Pioneering the design and construction of large scale artificial intelligence systems, demonstrating the practical importance and potential commercial impact of artificial intelligence technology.[55]
1994 Reddy, Raj Pioneering the design and construction of large scale artificial intelligence systems, demonstrating the practical importance and potential commercial impact of artificial intelligence technology.[56]
1993 Toh Chai Keong Created mobile ad hoc networking; Implemented the first working wireless ad hoc network of laptop computers in 1998 using Linux OS, Lucent WaveLan 802.11 radios, and a new distributed routing protocol transparent to TCP/UDP/IP.
1993 Hartmanis, Juris Foundations for the field of computational complexity theory.[53]
1993 Stearns, Richard E. Foundations for the field of computational complexity theory.[54]
1992 Lampson, Butler W. Development of distributed, personal computing environments and the technology for their implementation: workstations, networks, operating systems, programming systems, displays, security and document publishing.
1991 Torvalds, Linus Created the first version of the Linux kernel.
1991 Milner, Robin 1) LCF, the mechanization of Scott's Logic of Computable Functions, probably the first theoretically based yet practical tool for machine assisted proof construction; 2) ML, the first language to include polymorphic type inference together with a type-safe exception-handling mechanism; 3) CCS, a general theory of concurrency. In addition, he formulated and strongly advanced full abstraction, the study of the relationship between operational and denotational semantics.[52]
1989, 1990 Berners-Lee, Tim Invented World Wide Web. With Robert Cailliau, sent first HTTP communication between client and server.
🇮🇱Jew