A computer scientist whose work with Danny Dolev includes the Dolev-Yao model of cryptographic protocols.
Portrait of Andrew Yao
. Source. A computer scientist whose work with Andrew Yao includes the Dolev-Yao model of cryptographic protocols.
Developed the Bell-LaPadula model with David Elliott Bell.
Developed the Bell-LaPadula model with Leonard J. LaPadula.
Homepage: www.cs.ox.ac.uk/people/bernard.sufrin/
Portrait of Bernard Sufrin
. Source. Computer scientist whose work includes algorithms, computational complexity theory and algorithmic game theory.
Official profile: www.cs.ox.ac.uk/people/paul.goldberg/
A computer scientist whose work with Robert Tarjan includes splay trees and amortized analysis. His Carnegie Mellon University homepage identifies his full name and academic role.[ref]
https://www.cs.cmu.edu/~sleator/. Named author homepage: Daniel Dominic Kaplan Sleator, professor of computer science
Portrait of Daniel Sleator
. Photograph from the author's Carnegie Mellon University gallery, Some pictures of me. Source.Computer scientist whose work includes End-to-end arguments in system design by Jerome H. Saltzer and others and The design philosophy of the DARPA Internet protocols by David D. Clark.
David D. Clark in his office at MIT, 2009
. Photograph by Garrett A. Wollman, 19 March 2009. CC BY 3.0, via Wikimedia Commons. Source.Computer scientist and coauthor of End-to-end arguments in system design by Jerome H. Saltzer and others.
Portrait of David P. Reed
. Source: David P. Reed's author biography, Deep Plum Research. Photographer not established. External portrait hosted by Deep Plum Research. Source.Computer scientist and coauthor of End-to-end arguments in system design by Jerome H. Saltzer and others.
Institutional profile: www.csail.mit.edu/person/jerry-saltzer
Portrait of Jerry Saltzer
. Source: MIT Computer Science and Artificial Intelligence Laboratory, Jerry Saltzer profile. Photographer not established. External portrait hosted by MIT Computer Science and Artificial Intelligence Laboratory. Source.A computer scientist working on algorithms, computational complexity theory and game theory. Co-author with Xiaotie Deng of On the Complexity of Cooperative Solution Concepts by Xiaotie Deng and Christos Papadimitriou.
Primary profile: Columbia University faculty profile.
Christos Papadimitriou speaking at EPFL on 30 June 2009
. Photograph by Rama, via Wikimedia Commons. CC BY-SA 2.0 France. Source.A computer scientist working on game theory, algorithms and computational complexity theory. Co-author with Christos Papadimitriou of On the Complexity of Cooperative Solution Concepts by Xiaotie Deng and Christos Papadimitriou, which studies induced subgraph games.
Portrait displayed on the Peking University profile of Xiaotie Deng
. External institutional image credited to its source profile. The individual photographer and image licence are not stated in the inspected material. Source.A computer scientist working on Boolean satisfiability and automated planning, including SATPlan with Henry Kautz.
Primary profile: carlsaganinstitute.cornell.edu/bart-selman
Portrait of Bart Selman
. Photograph from Bart Selman’s Cornell University homepage. Source.Primary profile: anon.cs.rochester.edu/people/faculty/kautz_henry/index.html
Portrait of Henry Kautz
. Portrait hosted on the University of Rochester Department of Computer Science faculty profile. Source.A computer scientist working in artificial intelligence, and co-author with Stuart J. Russell of a major textbook on the subject.
Portrait of Peter Norvig in 2019
. Christopher Michel, photograph; Filetime, existing Commons crop. CC BY-SA 4.0. Source.A computer scientist working in artificial intelligence, and co-author with Peter Norvig of a major textbook on the subject.
Computer scientist and coauthor of Gradient Estimation Using Stochastic Computation Graphs by John Schulman and others. The 2015 paper gives a common framework for score-function gradient estimators and pathwise gradients. Publication identifying the author and affiliation.
A computer scientist studying reinforcement learning and its connections with neuroscience.[ref]
https://willdabney.com/. Identity and authorship record
A computer scientist whose research includes computational intelligence and the neural basis of constructing imagined experiences.[ref]
Patients with hippocampal amnesia cannot imagine new experiences by Demis Hassabis and others. Author identification and the research contribution described in this paper
Portrait of Demis Hassabis
. John Sears. CC BY-SA 4.0, via Wikimedia Commons. Source.A computer scientist whose research includes learned visual representations and model–human comparison.[ref]
ImageNet-trained CNNs are biased towards texture; increasing shape bias improves accuracy and robustness by Robert Geirhos and others. Author identification and the research contribution described in this paper
A computer scientist whose research includes structured symbolic computation and problem solving.[ref]
Computer science as empirical inquiry: symbols and search by Allen Newell and others. Author identification and the research contribution described in this paper
Portrait of Allen Newell
. Source: Wikipedia. Source.Researcher whose work includes Expressing fear enhances sensory acquisition by Joshua M. Susskind and others.
A computer scientist whose work includes the research documented below.[ref]
Learning to predict by the methods of temporal differences by Richard S. Sutton. Author identification and research contribution
Portrait of Richard S. Sutton, 27 October 2016
. Steve Jurvetson; extracted from Deep Thinkers on Deep Learning. CC BY 2.0, via Wikimedia Commons. Source.Computer scientist associated with Prim's algorithm.
Computer scientist associated with the Dijkstra algorithm.
Portrait of Edsger W. Dijkstra
. Hamilton Richards. CC BY-SA 3.0, via Wikimedia Commons. Source.%20(cropped1).jpg?width=250)
Portrait of Gilles Brassard
. Lëa-Kim Châteauneuf. CC BY-SA 4.0, via Wikimedia Commons. Source..jpg?width=260)
Portrait of John M. Jumper
. John Sears. CC BY-SA 4.0, via Wikimedia Commons. Source.A computer scientist researching adaptive and distributed computing.[ref]
David H. Ackley by David H. Ackley. Homepage: emeritus Computer Science professorship and computing research
A computer scientist researching machine learning and artificial neural networks.[ref]
Geoffrey E. Hinton by Geoffrey E. Hinton. Brief Biography: Computer Science faculty appointments and machine-learning research
Portrait of Geoffrey Hinton
. Cmichel67. CC BY-SA 4.0, via Wikimedia Commons. Source.A computer scientist working on quantum information theory.[ref]
https://uwaterloo.ca/institute-for-quantum-computing/profiles/john-watrous. Official profile: computer science degrees and quantum computing research
Institutional profile: uwaterloo.ca/institute-for-quantum-computing/profiles/john-watrous
Homepage: www.eecs.mit.edu/people/gabriele-farina/
Portrait of Gabriele Farina
. Portrait identified on the MIT EECS profile.Homepage: homepages.cwi.nl/~ducas/
Portrait of Léo Ducas
. Photograph linked on the CWI personal homepage.Homepage: www.chalmers.se/en/persons/peb/
Homepage: www.chalmers.se/en/persons/alexg/
Homepage: www.chalmers.se/en/persons/almstroj/
Homepage: www.cis.upenn.edu/~jean/
Homepage: emreyolcu.com/
Portrait of Xinyu Wu
. Portrait identified on the Carnegie Mellon University profile.
Portrait of Marijn Heule
. Portrait identified on the Carnegie Mellon University profile.
Portrait of Michael R. Clarkson
. Portrait identified on the Cornell University profile.Identity source: www2.cs.sfu.ca/~kabanets/
Portrait of Valentine Kabanets
. Portrait identified on the cited institutional profile.Identity source: www.cs.ubc.ca/~nickhar/W12/
Portrait of Nicholas Harvey
. Portrait identified on the cited institutional profile.
Portrait of Stephen Cook
. orcmid, Flickr photograph, 15 June 2012. Creative Commons Attribution 2.0 Generic., via Wikimedia Commons. Source.Identity source: theory.cs.berkeley.edu/
Portrait of Venkatesan Guruswami
. Photograph from University of California, Berkeley's official researcher profile. Source.Homepage: jeffe.cs.illinois.edu/
Portrait drawing of Jeff Erickson
. Drawing by Damien Erickson (2018), from University of Illinois Urbana-Champaign's official researcher profile. Source.
Portrait of Hal Abelson
. Joi, Flickr photograph, 23 June 2011; Commons records a successful CC BY 2.0 Flickr review. Creative Commons Attribution 2.0 Generic., via Wikimedia Commons. Source. Articles were limited to the first 100 out of 111 total.
Articles by others on the same topic
.jpg){kind=link}
.jpg){kind=link}
_(cropped1).jpg){kind=link}
.jpg){kind=link}
The "List of computer scientists" typically refers to a compilation or directory of individuals who have made significant contributions to the field of computer science. This list can include pioneers of the theory of computation, developers of various programming languages, researchers in artificial intelligence, and contributors to computer hardware and software design, among other areas. Some notable computer scientists include: 1. **Alan Turing** - Mathematician and logician, known for his work on theoretical computer science and artificial intelligence.