Contributions

74 people made field-defining contributions and 507 made major ones, as a model judged their biographies. These levels are provisional: no person has checked them.

Field-defining (74)

Abraham Lempelco-invented the Lempel-Ziv compression algorithms
Aja Huanghead programmer and key developer of AlphaGo
Alan Turingdefined the universal computing machine and limits of computation
Alec Radfordlead author of GPT, GPT-2 and CLIP
Alex Krizhevskyco-authored AlexNet, deep convolutional network for ImageNet classification
Alexei Kitaevproposed topological fault-tolerant quantum computation and phase estimation
Alfred V. Ahofundamental algorithms and theory of programming-language implementation
Allen Newellco-developed Logic Theorist, General Problem Solver, and Soar
Amir Pnueliintroduced temporal logic for specifying and verifying reactive programs
Andrew Bartoco-founded reinforcement learning with Richard Sutton
Andrew Yaointroduced communication complexity and Yao's minimax principle
Andrey Kolmogorovaxiomatic foundations of modern probability theory
Anton Zeilingercarried out the first successful quantum teleportation experiment
Barbara H. Liskovcreated CLU and data abstraction; Liskov Substitution Principle
C. A. R. Hoareinvented Hoare logic and quicksort
Christian Szegedyco-invented batch normalization; Inception; discovered adversarial examples
Claude Berrouco-invented turbo codes approaching the Shannon limit
Claude ShannonFounded information theory, defining information and channel capacity
Cynthia Dworkproposed differential privacy
David Bakerdeveloped computational protein design methods, recognized with Nobel Prize
David Deutschproposed the universal quantum computer
David J. Winelandfirst laser cooling demonstration; first deterministic multi-qubit gates
David Rumelhartco-authored 1986 backpropagation paper and Parallel Distributed Processing
David Silverco-led AlphaGo; AlphaZero self-play
Diederik P. Kingmaintroduced the Adam optimizer and variational autoencoders
Donald Gemanco-proposed the Gibbs sampler; proved simulated annealing convergence
Dzmitry Bahdanauco-introduced attention mechanism for neural machine translation
E. Allen Emersonco-introduced model checking for formal verification
Edmund M. Clarkeco-established model checking for formal verification
Edward Wittenproposed M-theory unifying five string theories
Frank Rosenblattdeveloped the perceptron and its learning rule
Geoffrey Hintonco-developed backpropagation for training neural networks
Gilles Brassardco-invented the BB84 quantum key distribution protocol
Gordon Plotkinintroduced structural operational semantics
Herbert A. Simonco-created Logic Theory Machine and General Problem Solver
Ian Goodfellowproposed generative adversarial networks
Jeffrey L. Elmanintroduced the Simple Recurrent Network (Elman net)
Jimmy Baco-invented the Adam optimizer
John Henry Hollandintroduced genetic algorithms
John Hopfieldinvented the Hopfield associative-memory neural network
John Jumperled AlphaFold protein structure prediction, Nobel Prize in Chemistry
John M. Martinismacroscopic quantum tunneling foundation for superconducting qubits; Nobel Prize
John McCarthycreated Lisp and co-named AI as a research field
Judea PearlBayesian networks and causal calculus distinguishing observation from intervention
Jürgen Schmidhuberco-invented Long Short-Term Memory (LSTM) with Sepp Hochreiter
K.R. Raoco-invented the discrete cosine transform
Karen Sparck Jonesintroduced inverse document frequency term weighting
Kobbi Nissimco-formulated differential privacy
Kunihiko Fukushimainvented the neocognitron, an early deep convolutional network
Leo Breimanintroduced CART, bagging and random forests
Leslie Lamportinvented Paxos consensus and logical clocks for distributed systems
Leslie ValiantIntroduced formal theory of efficient learning, founding computational learning theory
Lotfi A. Zadehinvented fuzzy sets, founding fuzzy logic
Michel Devoretdemonstrated macroscopic quantum effects in circuits, founding superconducting qubits
Neal Koblitzco-invented elliptic curve cryptography
Nils Nilssonco-invented A* search and STRIPS planning
Paul Werbosfirst described training neural networks by backpropagation
Peter W. Shorinvented Shor's quantum factoring algorithm
Ray Solomonoffinvented algorithmic probability, launching algorithmic information theory
Richard Suttonintroduced temporal-difference learning; co-founded modern reinforcement learning
Robin MilnerCreated LCF, the ML language, CCS and the pi-calculus
Sanjay Ghemawatco-created MapReduce, Google File System and Bigtable
Sepp Hochreiterco-invented Long Short-Term Memory (LSTM) recurrent networks
Sergey Ioffeco-invented Batch Normalization
Shafi Goldwasserco-introduced probabilistic encryption with Silvio Micali
Silvio Micalico-authored Probabilistic Encryption, framework for modern cryptography
Stuart Gemanco-introduced Gibbs sampling; proved simulated annealing convergence
Tom Brownfirst author of the GPT-3 paper
Tomas Mikolovdeveloped word2vec word representation learning
Vint Cerfco-designed the TCP/IP protocol suite
Vladimir Vapnikco-founded statistical learning theory and support vector machines
Yann LeCundeveloped convolutional networks for handwriting and document recognition
Yasunobu NakamuraCo-demonstrated the first superconducting qubit
Yoshua Bengioneural language models with learned word representations; attention-based translation

Major (507)

A. P. Dawidconditional independence theory underpinning probabilistic expert systems
Aakanksha Chowdherytechnical lead for Google's 540B PaLM language model
Aaron C. Courvilleco-authored Generative Adversarial Nets
Aäron van den Oordco-introduced WaveNet, VQ-VAE and contrastive predictive coding
Adam LererCo-led FAIR Diplomacy team behind CICERO
Adam Paszkecore author of the PyTorch machine-learning library
Aditya Rameshintroduced DALL·E text-to-image model; co-created DALL·E 2
Aggelos Kiayiasco-created Ouroboros, first provably secure proof-of-stake blockchain protocol
Aidan Gomezco-authored the Transformer paper Attention Is All You Need
Alain Colmerauerco-developed the Prolog logic programming language
Alan Conrad Bovikco-invented the SSIM image quality index
Alan Robinsoninvented the resolution inference rule for automated deduction
Alan Smeatonco-founded TRECVid video retrieval benchmark and its standard datasets
Alban Desmaisoncore contributor and lead maintainer of the PyTorch framework
Albert Gudeveloped S4 and Mamba state-space sequence models
Alex Aceroled team showing DNNs beat GMMs in speech recognition
Alex Gravesco-introduced connectionist temporal classification for unsegmented sequence labeling
Alex Rivesstarted and led ESM, first large-scale protein language models
Alex Waibelinvented the Time-Delay Neural Network, an early convolutional network
Alexander Bergco-developed ImageNet dataset and competition; SSD detector
Alexander KolesnikovHelped develop the Vision Transformer for image recognition
Alexander Pritzelco-developed AlphaFold; co-authored deep continuous-control RL paper
Alfred Marcel Brucksteinco-developed K-SVD dictionary learning algorithm for sparse representations
Ali Farhadico-created the YOLO real-time object detector
Ali Rahimico-introduced random features for large-scale kernel machines
Amit Singhalrewrote Google's search engine and led its core ranking team
Amnon Shashuamonocular camera vision system for vehicle detection (Mobileye)
Andreas Blattmannco-authored latent diffusion models; helped lead Stable Diffusion release
Andreas Geigerled group that released the KITTI computer-vision benchmark
Andreas Krauseco-developed GP-UCB linking Gaussian-process optimization and bandits
Andreas Stolckedesigned SRILM statistical language modeling toolkit
Andrew Clelandfirst quantum ground state of a mechanical object
Andrew Fitzgibbonled boujou automatic camera tracking software
Andrew Houckhelped develop the transmon superconducting qubit
Andrew M. Daisemi-supervised pretraining of recurrent networks; co-led GLaM and PaLM 2
Andrew V. Goldbergco-developed the push-relabel maximum-flow method with Robert Tarjan
Andrew Zissermanco-developed VGG very deep convolutional networks
Andy Konwinskico-created Apache Spark and Apache Mesos at Berkeley
Anil K. Jainpattern recognition for fingerprint and face biometric identification
Anna Goldieco-led AlphaChip reinforcement-learning chip floorplanning
Antoni Buadesco-authored the non-local means image denoising algorithm
Aravind K. Joshideveloped the mathematics of tree-adjoining grammars
Armin Bieredeveloped high-performance open-source SAT solvers underlying many competition winners
Avi WigdersonShowed randomized algorithms can be derandomized under assumptions
Avrim Blumco-introduced co-training, initiating multi-view learning
Azalia Mirhoseinico-led AlphaChip, reinforcement-learning chip layout used in TPUs
Barret Zophco-introduced neural architecture search; co-introduced Switch Transformers
Bart Selmanlocal-search SAT solving and planning as satisfiability
Bartomeu Collco-introduced non-local means image denoising
Benjamin Rechtco-developed exact matrix completion via convex optimization
Bernard Widrowco-developed ADALINE and the least mean squares learning method
Bernardino Romera-Paredesco-authored AlphaFold; equal-contribution author of FunSearch
Bernhard Schölkopfhelped develop kernel methods for machine learning
Berthold K. P. Hornco-created the Horn–Schunck optical flow method
Bill Triggsco-introduced histograms of oriented gradients for human detection
Bing Liuassociation-rule classification and sentiment analysis papers
Björn Ommerco-authored latent diffusion models for high-resolution image synthesis
Brent WatersCo-introduced attribute-based encryption
Brian W. Kernighanco-created AWK; co-wrote The C Programming Language; contributed to Unix
C. Lawrence ZitnickCo-authored the Microsoft COCO dataset; developed PhotoDNA
Carl Edward Rasmussenco-wrote Gaussian Processes for Machine Learning textbook
Carl Hewittco-introduced the actor model of concurrent computation
Carlo Tomasico-developed Tomasi-Kanade factorization and bilateral filtering
Carlos Guestrinco-authored XGBoost scalable tree-boosting system; co-created GraphLab
Carlton M. Cavesproposed squeezed states to reduce interferometer quantum noise
Carver Meadpioneered VLSI system design and neuromorphic silicon hardware
Charles A. Rosenled SRI team that built Shakey mobile robot
Charles Fillmoreframe semantics and FrameNet lexical resource
Charless C. Fowlkesco-created the Berkeley Segmentation Dataset
Chelsea Finnintroduced Model-Agnostic Meta-Learning (MAML)
Chengxiang ZhaiDeveloped statistical language models for information retrieval
Chenlin Mengco-authored Denoising Diffusion Implicit Models (DDIM) sampling method
Chih-Jen Lincreated widely used LIBSVM and LIBLINEAR machine learning software
Chris J. Maddisoncore contributor to AlphaGo
Chris Malachowskyengineering leadership turning GPUs into parallel computing platforms
Christopher D. Manningstatistical and neural NLP methods, GloVe, and Stanford CoreNLP
Christopher Réco-developed Hogwild! lock-free parallel SGD; co-developed S4 state-space model
Clark Glymourdeveloped automated causal discovery methods and the TETRAD project
Claude Crépeauco-authored the 1993 quantum teleportation paper
Clemens Meyerled DeepMind's AlphaFold project
Constantinos Daskalakisshowed computing Nash equilibria is computationally intractable
Corinna Cortesco-developed soft-margin support vector machines with Vapnik
Csaba Szepesvárico-invented UCT Monte Carlo tree search algorithm
Curtis Priemarchitected first PC graphics processor; NVIDIA co-founder and CTO
Dan Bonehco-created Boneh–Franklin identity-based encryption; pairing-based cryptography
Dana H. Ballardco-authored predictive coding model of visual cortex
Daniel D. Leeco-developed non-negative matrix factorization for learning parts
Daniel ScharsteinMiddlebury stereo benchmark datasets and stereo method taxonomy
Daniel Spielmanco-developed smoothed analysis of algorithms; Kadison–Singer result
Daron AcemogluNobel-winning studies of how institutions form and affect prosperity
David Allen McAllesterdeveloped PAC-Bayesian theorems in learning theory
David Cournapeauoriginal author of the scikit-learn machine learning library
David Donohosparse signal recovery and compressed sensing
David Ferrucciprincipal investigator of IBM Watson, which won Jeopardy!
David Harelinvented Statecharts for reactive systems, adopted into UML
David HausslerLed team behind public human-genome assembly and UCSC Genome Browser
David Lorge Parnasconcept of information hiding in software engineering
David M. Bleico-created Latent Dirichlet Allocation topic model
David Mumfordco-created the Mumford–Shah functional for image segmentation
David Pooledeveloped lifted inference and independent choice logic
David Warde-Farleyco-authored Generative Adversarial Nets
Dawson Englerinferring bugs as deviant behavior; static analysis commercialized as Coverity
Dedre Gentnerdeveloped structure-mapping theory of analogy
Demetri Terzopoulosdeformable models and active contours for vision and graphics
Demis Hassabisled DeepMind, whose AlphaFold solved protein-structure prediction
Denny Zhouco-authored chain-of-thought prompting and self-consistency decoding
Dhruv BatraVisual Question Answering, which started a vision-and-language research strand
Didier Duboisco-developed possibility theory for handling uncertainty
Dieter Foxco-developed Monte Carlo Localization for mobile robots
Doina Precupoptions framework and option-critic architecture in reinforcement learning
Dominik Lorenzcoauthored latent diffusion; helped lead Stable Diffusion release
Donald Knuthcreated TeX typesetting system; authored The Art of Computer Programming
Donald W. Lovelanddeveloped model elimination for automated theorem proving
Dorin ComaniciuMean Shift methods for image segmentation and real-time tracking
Douwe Kielaled the Meta AI team that introduced retrieval-augmented generation
Dragomir Radevco-created LexRank graph-based extractive summarization
Dumitru Erhanco-authored Inception architecture and adversarial examples paper
Edward A. Feigenbaumdeveloped knowledge-based AI and expert systems through DENDRAL
Edward Farhico-introduced the Quantum Approximate Optimization Algorithm (QAOA)
Edward H. Shortliffeprincipal developer of the MYCIN medical expert system
Edward Yangcore PyTorch contributor and co-author of the PyTorch paper
Eero Simoncellico-developed the SSIM image quality model; steerable pyramid representations
Ekin Dogus Cubukco-created AutoAugment automated data augmentation search
Elad Hazanco-developed the AdaGrad optimization method
Ellen M Voorheesmanaged and built TREC large-scale search evaluation program
Erik Learned-Millerdeveloped Labeled Faces in the Wild face recognition benchmark
Erkki Ojadeveloped Oja's rule for principal-component neural learning
Ernst Dickmannsearly autonomous driving with the VaMoRs robot van
Evan Shelhamerled Caffe framework development; co-authored Fully Convolutional Networks
Fei-Fei Liled the team that developed the ImageNet dataset
Felix Gersintroduced the forget gate to LSTM
Florent Perronninintroduced Fisher kernels for large-scale image classification
François Cholletcreated the Keras deep learning library
Frank Dellaertco-developed the Monte Carlo localization algorithm
Frank HutterAutoML systems Auto-WEKA, auto-sklearn and tabular model TabPFN
Frank McSherryCo-founded differential privacy via noise calibrated to sensitivity
Franz Josef Ochstatistical machine translation; minimum error rate training; Google Translate
Friedrich Leischco-founded CRAN and implemented R's package management system
G. David Forneyintroduced concatenated codes; popularized the Viterbi algorithm
Gail Carpenterco-developed adaptive resonance theory and ARTMAP neural networks
Gao Huangfirst author of DenseNet
Gary R. Bradskistarted the OpenCV open-source computer vision library
Gautam Kamathdiscrete Gaussian mechanism; Gödel Prize robust high-dimensional estimators
Georgy Adelson-Velskyco-invented the AVL tree, first balanced binary search tree
Gerald J. TesauroCreated TD-Gammon, self-play reinforcement learning for backgammon
Gerald Jay Sussmanco-invented the Scheme programming language; co-authored SICP
Gerard Saltonled SMART retrieval testbed that introduced the vector processing model
Gerhard Weikumco-created the YAGO knowledge base
Giuseppe Carleointroduced neural-network representation of many-particle quantum wave functions
Glenn R. Shaferdeveloped Dempster-Shafer theory of evidence
Grady Boochauthored Booch method; co-developed the Unified Modeling Language
Greg S. Corradoco-authored word2vec; co-founded Google Brain
Gregory Chananoriginal author and core maintainer of PyTorch
H. Sebastian Seungco-developed non-negative matrix factorization algorithm
Hado van Hasseltintroduced Double Q-learning
Hans BerlinerBKG beat backgammon champion; led Hitech chess machine, B-star search
Hans J. Briegelco-introduced the one-way (measurement-based) quantum computer
Hans Kampintroduced discourse representation theory (DRT)
Hans MoravecLed lab developing 3D occupancy grids for robot spatial representation
Hans-Paul Schwefelhelped develop evolution strategies for numerical optimization
Hans-Peter KriegelDeveloped R*-tree, DBSCAN, OPTICS and Local Outlier Factor
Harald Weinfurterco-authored the first experimental quantum teleportation
Hartmut Nevenfounded and led Google Quantum AI, behind Sycamore and Willow
Hector LevesqueProposed the Winograd Schema Challenge; co-developed GOLOG
Heiga Zenoriginal author of HTS speech synthesis; co-authored WaveNet
Heng-Tze Chengfounded and led Wide & Deep Learning for recommender systems
Henri Pradeco-developed possibility theory for reasoning under uncertainty
Henry Fuchsco-developed the binary space partitioning (BSP) tree
Herbert Bayco-authored the SURF interest point detector and descriptor
Herbert FreemanInvented the chain code for representing line drawings
Hermann Neyco-developed Kneser–Ney smoothing; GIZA++ alignment; speech recognition beam search
HERSCHEL A. RABITZinvented learning-algorithm approach to coherent quantum control
Hongyu Renco-created GPT-4o and OpenAI reasoning models; led post-training group
Hovav Shachamintroduced return-oriented programming
Hugh Durrant-Whytenonlinear filtering work leading to SLAM for robot navigation
Hugo Touvronfirst author of LLaMA foundation language models
Hyeonwoo Nohled visual understanding research for GPT-4
I. J. Goodoriginated the concept of an intelligence explosion
Ian Horrocksdesigned the W3C OWL ontology language and its reasoning algorithms
Ian Wittenintroduced tabular TD(0); led widely used Weka toolkit
Ido Daganco-established the textual entailment recognition paradigm
Illia Polosukhinco-authored the Transformer paper
Ilya Sutskeverco-developed AlexNet, the ImageNet-winning network
Iryna Gurevychco-developed Sentence-BERT sentence embeddings
Isabelle Guyonco-developed the support vector machine with Vladimir Vapnik
Ivan Laptevintroduced Space-Time Interest Points for video
Ivar Jacobsonintroduced use cases; developed OOSE; co-developed UML
Iz Beltagyresearch lead of OLMo; co-introduced Longformer and SciBERT
J. C. R. Lickliderled ARPA information processing research that led to ARPANET
J. I. Ciracco-proposed the trapped-ion quantum computer with Peter Zoller
J. Strother Mooreco-created Boyer-Moore theorem prover, string-search algorithm, and ACL2
Jacob Devlinco-wrote BERT, bidirectional Transformer pre-training
Jakob Uszkoreitco-authored the Transformer paper
Jakub Pachockiled GPT-4 research at OpenAI
James C. Bezdekdeveloped the fuzzy c-means clustering algorithm
James E. Rumbaughcreated OMT and co-created the Unified Modeling Language
James Kennedyco-originated particle swarm optimization with Russell Eberhart
James Pustejovskyauthored The Generative Lexicon theory of word meaning
Jamie Kirosco-invented layer normalization
Jan Koenderinkoriginated scale-space image representation in 1984
Jan Leikeco-authored foundational learning-from-human-preferences experiments
Janet L. Kolodnerdeveloped case-based reasoning in AI
Jascha Sohl-Dicksteinintroduced diffusion-based generative models
Jason Weifirst author of chain-of-thought prompting and FLAN instruction tuning
Jason Westonco-wrote influential 2008 deep neural networks for NLP paper
Jay Gambettaled IBM cloud quantum platform and started Qiskit
Jay McClellandco-founded Parallel Distributed Processing group; interactive activation model
Jean-Baptiste Alayracfirst author of Flamingo; Gemini multimodal vision co-lead
Jean-Michel Morelco-introduced non-local means image denoising
Jeff Deanco-created MapReduce for large-scale distributed data processing
Jeffrey David UllmanFundamental algorithms and theory for programming language implementation; database theory
Jeffrey Uhlmannco-developed the Unscented Transform and Covariance Intersection
Jens Lehmannco-started DBpedia knowledge graph
Jerry M. Mendelintroduced type-2 fuzzy logic systems; co-created Wang-Mendel method
Jia Dengcoauthored ImageNet dataset paper
Jiahui Yuled o4-mini training; co-led Gemini multimodal work
Jian Sunco-authored deep residual learning (ResNet) and Faster R-CNN
Jiawei Hanintroduced pattern-growth methods for frequent pattern mining
Jiri Matasco-introduced MSER and PROSAC for robust image matching
Jitendra Malikled group behind normalized cuts, shape contexts, R-CNN
Joakim Nivreleads Universal Dependencies multilingual grammatical annotation project
Joan Bresnanco-designed Lexical-Functional Grammar
Joan Brunaco-proposed convolutional networks on graphs (spectral graph CNNs)
Johan Suykensdeveloped least squares support vector machines
Johannes L. Schönbergercreated COLMAP structure-from-motion and multi-view stereo pipeline
John A. Smolinhelped build the first quantum cryptography device with Bennett
John Cannyinvented the Canny edge detector
John D. Laffertyco-introduced conditional random fields for sequence labeling
John F. Sowadesigned conceptual graphs for knowledge representation
John Gustav Daugmaninvented the iris recognition algorithm
John Langforddeveloped Vowpal Wabbit online learning system; contextual-bandit recommendation
John M. Vlissidesco-authored the Design Patterns book
John R. Andersondeveloped the ACT and ACT-R cognitive architectures
John Raritydemonstrated path entanglement; early practical quantum cryptography experiments
John Ross Quinlandeveloped ID3 and C4.5 decision tree induction methods
John Schulmancoauthored TRPO and Proximal Policy Optimization reinforcement learning methods
John SearleFormulated the Chinese Room argument; speech act theory
Jon Doyleintroduced the truth maintenance system for belief revision
Jon KleinbergInvented the HITS hubs-and-authorities link analysis algorithm
Jon Louis Bentleyinvented the k-d tree for multidimensional search
Jonathan Longco-invented fully convolutional networks for semantic segmentation
Jonathan Rossstarted Google's TPU effort and designed first-generation chip elements
Jonathan Schaefferled Chinook checkers program and solving of checkers
Jörg Hoffmanncreated the FF automated planning system
Joseph F. EngelbergerCo-developed Unimate, the first industrial robot arm on a production line
Joseph Redmonco-created YOLO real-time object detection
Joseph Weizenbaumcreated ELIZA, the early conversational program
Josh Abramsonequal first author of AlphaFold 3
Joshua Lederbergdiscovered bacterial genetic recombination; co-devised DENDRAL expert system
Julian Schrittwieserequal-contribution lead author of AlphaGo Zero
Junyang Linled development and open-sourcing of Alibaba's Qwen model series
Kai Chenco-authored word2vec word representation papers
Kai Lico-authored the ImageNet database paper
Kaiming Hejoint work on ResNet, Mask R-CNN and masked autoencoders
Kalyanmoy Debdeveloped the NSGA-II multiobjective evolutionary algorithm
Karen Simonyanco-created VGG deep convolutional networks; co-authored WaveNet
Kenneth Churchmutual information word association measure from corpus counts
Kenneth L. McMillansymbolic model checking, recognized with Kanellakis Award
Kenneth Stanleycreated the NEAT neuroevolution algorithm
Kenton Leeco-wrote BERT language representation model
Kevin Bowyerco-authored SMOTE oversampling method for imbalanced data
Kilian Weinbergerco-authored DenseNet; contributed LMNN and Word Mover's Distance
Klaus Mølmerco-proposed trapped-ion gate; co-developed Monte Carlo wave-function method
Klaus-Robert Müllerdeveloped theoretical foundations for support-vector machines with Vapnik
Koray Kavukcuoglufounded DeepMind deep-learning team behind DQN and WaveNet
Kristina N. Toutanovaco-authored BERT language model
Kunle Olukotunled Hydra chip multiprocessor; pioneering multicore and multithreaded processors
Kyunghyun Choco-authored RNN encoder-decoder and attention for neural translation
L. R. Rabinerhelped create hidden Markov modeling for speech recognition
Latanya Sweeneyco-introduced k-anonymity; showed re-identification of anonymous health records
Laurens van der Maatenco-created t-SNE visualization; co-authored DenseNet
Laurent Ittico-created the saliency-based model of visual attention
Laurent Sifreco-authored AlphaGo, AlphaGo Zero, MuZero and Chinchilla papers
Lawrence J. Fogeldevised evolutionary programming
Leo de Mouraled the Z3 SMT solver and created the Lean theorem prover
Léon Bottoustochastic gradient methods and trade-offs of large-scale learning
Leon Chuapostulated the memristor; co-introduced cellular neural networks
Leonid Rudinco-developed the total variation method for image denoising
Levent Alpögeexplicit counterexample to the Jacobian conjecture using AI tools
Li Denghelped bring deep neural networks into speech recognition with Hinton
Li-Jia Licoauthored ImageNet large-scale hierarchical image database
Lila Gleitmanproposed syntactic bootstrapping theory of language acquisition
Lin Xiaoregularized dual averaging method for stochastic and online learning
Linda B. Smithshowed shape bias in children's early word learning
Llion Jonesco-authored the Transformer paper, Attention Is All You Need
Long Ouyangfirst author of InstructGPT, aligning language models via human feedback
Lu Fangled ONNX; core contributor to PyTorch and Caffe2
Lucas Beyerco-authored Vision Transformer; co-led multimodal research
Łukasz Kaiserco-authored the Transformer architecture
Luke MetzCo-authored DCGAN; co-developed VeLO learned optimizer
Luke TierneyR Core Team member building and maintaining R
Luminița Veseco-created the Chan–Vese active-contour segmentation method
Lydia E. Kavrakico-developed probabilistic roadmap motion planning
Madhu Sudanwork on probabilistically checkable proofs and error-correcting codes
Makoto Nagaoproposed example-based machine translation
Manfred K. Warmuthinvented the weighted majority online learning algorithm
Manuel BlumTuring Award work on complexity and cryptography; co-developed CAPTCHA
Marc AndreessenCo-created the Mosaic graphical web browser
Marc RaibertLed Leg Lab research establishing scientific basis for dynamic robots
Marco Dorigointroduced Ant System and ant colony optimisation
Marco Gorico-authored The Graph Neural Network Model
Marcus Hutterdeveloped AIXI, a mathematical theory of general intelligence
Marian CroakHelped establish VoIP fundamentals; over 200 communication patents
Mark Chenfirst author of Codex code-generation model
Mark Galesproposed constrained MLLR and Parallel Model Combination
Mark GirolamiRiemann manifold Langevin and Hamiltonian Monte Carlo methods
Martha Palmerco-created the Proposition Bank semantic-role annotated corpus
Martin AbadiTensorFlow large-scale machine learning system
Martin Hairercreated the theory of regularity structures for stochastic PDEs
Martin Kaydeveloped chart parsing and functional unification grammar
Martin RiedmillerDeveloped Rprop; co-authored DQN Nature paper
Marvin MinskyPerceptrons analysis with Papert; helped found early AI research
Mary Beckmanco-developed ToBI, the standard for labeling English prosody
Masahiro Moriintroduced the uncanny valley concept in robotics
Matei Zahariastarted Apache Spark distributed data processing system
Matthew Turkco-developed eigenfaces near-real-time face recognition
Matthijs Douzeco-created the Faiss similarity search library
Max JaderbergCo-wrote Spatial Transformer Networks
Max Wellingco-authored Auto-Encoding Variational Bayes and SGLD
Mehdi Mirzaintroduced conditional GANs; coauthored original GAN paper
Mehryar Mohricore algorithms underlying many deployed speech recognition systems
Micha Sharirco-laid foundations of algorithmic motion planning in robotics
Michael A. Suttoncreated digital image correlation for measuring structural deformation
Michael BowlingMonte Carlo counterfactual regret solvers for imperfect-information games
Michael Eladco-created the K-SVD algorithm for sparse representations
Michael F. Cohendeveloped practical radiosity methods for realistic image synthesis
Michael Figurnovdesigned the Evoformer architecture for AlphaFold 2
Michael I. Jordanintroduced Latent Dirichlet Allocation; variational methods for graphical models
Michael Isarddeveloped Condensation, bringing particle filters to computer vision
Michael J. Jonesco-created Viola-Jones boosted cascade face detector
Michael Kassco-wrote Snakes active contour model; optimization in graphics
Michael Orenco-created the Oren–Nayar rough-surface reflectance model
Michael P. Georgeffco-created the Procedural Reasoning System and BDI agent architectures
Michael Tanenhauscreated the visual world paradigm for spoken language comprehension
Michal Zielinskibuilt data, analytics and inference systems for AlphaFold 2
Michio Sugenoco-proposed Takagi-Sugeno fuzzy model; introduced Sugeno integral
Mihir Bellarepractice-oriented provable security and the random oracle model
Mikhail Belkinco-created Laplacian Eigenmaps; proposed double descent curve
Miles Congrevehelped establish fragment-based drug design; co-invented Kisqali
Mira Muratiled OpenAI teams behind DALL-E and ChatGPT
Miroslaw Truszczynskico-wrote Stable Logic Programming, helping establish answer-set programming
Mitchell P. Marcuscreated and led the Penn Treebank annotated corpus project
Murray S. Campbellcore Deep Blue contributor: position evaluation and opening book
Nancy Levesoncreated the STAMP accident model for system safety
Navneet Dalalco-invented HOG, a computer-vision feature method
Nelson Morganco-developed hybrid neural network/HMM speech recognition; co-invented RASTA
Nicholas Carlinico-developed the Carlini & Wagner adversarial attack algorithms
Nikhil Srivastavaco-solved the Kadison–Singer problem
Niki Parmarco-authored the Transformer paper "Attention Is All You Need"
Nitesh Chawlaco-created SMOTE oversampling for imbalanced classification
Noam Brownco-built Libratus and Pluribus poker systems beating professionals
Noam Shazeerco-authored the Transformer and sparse mixture-of-experts papers
Nobuyuki Otsuinvented Otsu's method for histogram-based image thresholding
Oded Goldreichco-developed zero-knowledge proofs for NP and multi-party protocols
Olaf Ronnebergerco-created U-Net for biomedical image segmentation
Oriol Vinyalsco-authored sequence-to-sequence learning
P. Jonathon Phillipsco-led FERET face-recognition program and FRVT evaluations
Partha Niyogico-created Laplacian Eigenmaps for manifold learning
Pascal R. Van Hentenryckdesigned and implemented CHIP and OPL constraint/optimization languages
Patrick Esserco-developed latent diffusion; led research on Stable Diffusion's core model
Paul Christianopioneered deep reinforcement learning from human preferences (RLHF)
Paul Resnickco-developed GroupLens, the first academic recommender system
Paul S. Rosenbloomco-developed the Soar cognitive architecture and its chunking mechanism
Paul Smolenskyco-developed Optimality Theory with Alan Prince
Paul Violaco-invented the boosted cascade rapid object detector
Pedro Felzenszwalbdeveloped the deformable parts model for object detection
Peter J. Flemingbrought Pareto optimality into evolutionary multiobjective optimisation
Peter Meerco-developed the mean-shift approach to feature space analysis
Philip Lenzco-developed the KITTI autonomous-driving vision benchmark
Philip Nicholas Johnson-Lairddeveloped mental-model theory of human reasoning
Philipp Koehnbuilt Europarl corpus and Pharaoh/Moses phrase-based translation systems
Phillip RogawayCo-proposed the random-oracle model; co-designed OCB authenticated encryption
Pieter Abbeelco-authored Trust Region Policy Optimization and Model-Agnostic Meta-Learning
Piotr Indyklocality-sensitive hashing for approximate nearest-neighbor search
Piotr Skowronco-introduced the Method of Equal Shares committee rule
Prafulla Dhariwalleads team building GPT-4o; co-wrote diffusion beats GANs
Quoc Leintroduced neural architecture search; co-authored sequence-to-sequence learning
Rachid Derichederived the recursive optimal edge detector from Canny's criteria
Radford M. Nealslice sampling and practical Hamiltonian Monte Carlo methods
Radhia Cousotco-created abstract interpretation framework for static program analysis
Raj ReddyTuring Award-winning work on large-scale AI systems
Rajat Mongaco-founded and led TensorFlow at Google
Ramakrishnan Srikantco-authored fast algorithms for mining association rules
Rangasami L. Kashyapco-developed the Ho-Kashyap linear classification procedure
Raymond Laflammeco-developed theory of quantum error-correcting codes with Knill
Raymond Reiterformalized default logic and closed-world reasoning
Reinhard F. Wernerintroduced Werner states; co-introduced matrix product states
Richard E. Fikesco-developed the STRIPS automated planning system
Richard G. Baraniuksingle-pixel camera and foundational compressive sensing contributions
Richard JozsaDeutsch–Jozsa algorithm; co-invented quantum teleportation
Richard M. Shiffrinco-developed Atkinson–Shiffrin memory model and SAM model of recall
Richard P. Gabrielcreated the Gabriel Benchmarks, standard for Lisp implementations
Richard Zemeldeveloped the autoencoder in doctoral work; co-authored Learning Fair Representations
Risto Miikkulainenco-introduced NEAT neuroevolution method
Robert A. Kowalskicontributed logical ideas leading to the design of Prolog
Robert E. Schapireweak learnability and boosting with Yoav Freund
Robert Endre Tarjanco-invented splay trees; fundamental algorithms and data structures
Robert L. Mercerco-developed IBM statistical machine translation models
Robert M. Grayco-developed the Linde-Buzo-Gray vector quantizer design algorithm
Robert Mahonyco-developed nonlinear complementary attitude filters (Mahony filter) for drones
Robert NishiharaCo-created Ray distributed system and RLlib
Robin R Murphyfounded the search-and-rescue robotics field
Robin Rombachco-developed latent diffusion models and co-led Stable Diffusion V1
Roger Shepardinvented nonmetric multidimensional scaling; universal law of generalization
Ronald Faginproved Fagin's theorem, helping found finite model theory
Ronald J. Williamsco-authored back-propagation paper; introduced REINFORCE algorithm
Ronald M. Kaplanco-developed lexical-functional grammar and active-chart parsing
Ronald Parrco-introduced Least-Squares Policy Iteration for reinforcement learning
Ronald W. Schaferextended the cepstrum for speech processing and recognition
Ronan Collobertco-created Torch library and multitask deep NLP network
Rosalind Picardfounded affective computing with her 1997 book
Ross Girshicksole author of Fast R-CNN; co-developed R-CNN object detection
Ross Overbeekdeveloped the AURA automated theorem prover
Rudolf Ahlswedeco-introduced network coding in "Network information flow"
S. M. Girvinco-developed circuit QED for superconducting quantum computing
Saining Xieco-proposed diffusion transformers (DiT) with William Peebles
Salvatore J Stolfocreated the area of machine learning for computer security
Sam McCandlishco-authored neural language model scaling laws and GPT-3
Samy Bengioco-wrote the Torch open-source machine-learning library
Santosh Divvalaco-wrote YOLO, the real-time object detection paper
Sebastian Thrunled Stanley to win 2005 DARPA Grand Challenge; Probabilistic Robotics
Serge Belongieco-created the Microsoft COCO dataset
Serge Massarexponential lower bounds on extended formulations (Gödel Prize)
Sergio Verdúformalized multiuser detection for CDMA receivers
Seymour Papertcoauthored Perceptrons and co-developed the Logo language
Shakir Mohamedco-introduced normalizing flows for variational inference
Sham Kakadefoundational theory for reinforcement learning and Gaussian process bandits
Shaoqing Renco-authored ResNet and Faster R-CNN
Sherjil Ozairco-authored Generative Adversarial Networks
Sherry Moorecore coauthor of the TensorFlow machine-learning system
Shohei Shimizuintroduced LiNGAM, the linear non-Gaussian acyclic model for causal discovery
Shun-ichi Amariestablished information geometry and proposed the natural gradient
Simon Kohlcore AlphaFold 2 developer; built its pLDDT uncertainty prediction
Simon Osinderoco-wrote the fast learning algorithm for deep belief networks
Simon Willisonco-created the Django web framework
Soumith Chintalahelped start PyTorch; coauthored DCGAN
Stanley Osherco-developed total-variation noise removal
Stefano Ermonco-developed score-based SDE generative modeling and DPO
Stephane Mallatdeveloped multiresolution wavelet methods and scattering representations
Stephen Grossbergco-developed adaptive resonance theory with Gail Carpenter
Stephen Robertsonco-developed BM25 probabilistic retrieval scoring function
Stephen Wolframcreated Mathematica and the SMP computer algebra system
Steven M. LaValleinvented the rapidly exploring random tree (RRT) motion planner
Steven Seitzco-created Photo Tourism and large-scale 3D reconstruction from photos
Stuart Russellco-wrote the standard AI textbook AI: A Modern Approach
Surya Gangulico-authored the original diffusion generative model paper
Susan Careycoined fast mapping; theory of conceptual change in childhood
Svetlana Lazebnikco-developed spatial pyramid matching, winner of Longuet-Higgins Prize
Sylvain Gellyco-authored MoGo Go program; co-authored Vision Transformer paper
Taco Cohendeveloped group-, spherical- and gauge-equivariant neural networks
Tadayoshi Kohnofirst experimental security analyses of modern automobiles
Tamara Bergco-created Labeled Faces in the Wild dataset; Baby Talk captioning
Tamara Koldaco-developed the widely used Tensor Toolbox for MATLAB
Terence Taoco-proved primes contain arbitrarily long arithmetic progressions
Tero Karrasprimary author of the StyleGAN family of generative models
Terrence Sejnowskico-invented the Boltzmann machine with Geoffrey Hinton
Teuvo Kohoneninvented the self-organizing map
Thang Luonginvented Luong attention for neural machine translation
Thomas Broxco-created U-Net and FlowNet; prize-winning optical flow work
Thomas Glen Diettericherror-correcting output codes, multiple-instance learning, hierarchical RL
Thomas Hofmannintroduced probabilistic latent semantic analysis
Thomas Hubertco-authored AlphaGo Zero; co-led AlphaProof development
Thomas M. Covernearest-neighbor pattern classification rule with Peter Hart
Thomas N. Kipfco-introduced graph convolutional networks for semi-supervised classification
Thomas Repsinterprocedural program slicing, dataflow analysis, context-bounded analysis
Thomas Wiegandedited and co-chaired the H.264/AVC video coding standard
Thorsten JoachimsSVM-light and SVM-struct learning software
Timothy Francis Cootesco-developed Active Shape Models and Active Appearance Models
Tin Kam Hocreated the first random decision forests algorithm
Tom Drummondco-created the FAST corner detector
Tomasz ImielińskiStarted association-rule mining with 1993 paper
Trapit Bansalcocreated OpenAI's o-series reasoning models
Trevor Darrellco-created Caffe and co-authored fully convolutional networks
Tri Daointroduced FlashAttention; co-authored Mamba state-space model
Tsung-Yi Linco-created the Microsoft COCO dataset; co-authored Focal Loss
Tuomas W. Sandholmco-developed Libratus and Pluribus, poker AIs that beat professionals
Victor Lempitskyco-proposed domain-adversarial training via gradient reversal
Victor R. LesserSystem architect of Hearsay-II blackboard architecture
Victor Shoupco-invented Cramer–Shoup CCA-secure cryptosystem; created NTL
Vijay Vasudevanco-wrote TensorFlow system paper; co-authored NASNet and AutoAugment
Vinod Vaikuntanathanco-constructed efficient fully homomorphic encryption from LWE
Vladimir KolmogorovCharacterized graph-cut-minimizable energies; co-created GrabCut, TRW-S, Blossom V
Vladimir Lifschitzco-introduced stable model semantics, basis of answer set programming
Volker Marklled Stratosphere project that became Apache Flink
Volodymyr Mnihdeep Q-network for Atari; asynchronous actor-critic methods
W. Bruce Crofthelped develop the language modeling approach to search
W. Ross Ashbylaw of requisite variety and the Homeostat in cybernetics
Wei Dongco-wrote the ImageNet paper; developed NN-Descent
William DallyTorus Routing chip pioneering wormhole routing and virtual-channel flow control
William Fedusco-introduced Switch Transformers sparse expert models
William S. Clevelandintroduced LOWESS and LOESS local regression
Wojciech Zarembadropout regularization for LSTMs; led robot-hand Rubik's Cube team
Wolfgang Dürco-introduced the W state; co-founded quantum repeater theory
Xiangyu Zhangco-authored deep residual learning (ResNet)
Xuezhi Wangco-developed chain-of-thought prompting and self-consistency
Yaakov Bar-Shalomintroduced probabilistic and joint probabilistic data association filters
Yangqing Jiacreated the Caffe deep learning framework
Yarin Galshowed dropout approximates Bayesian inference for uncertainty estimation
Yee Whye Tehco-developed fast deep belief network learning and hierarchical Dirichlet processes
Yi Maco-authored Robust Principal Component Analysis; Marr Prize reconstruction work
Yi Tayco-captained IMO-gold Gemini model; PaLM 2 architecture co-lead
Yonghui Wufirst author of Google's Neural Machine Translation system paper
Yoram Singerco-authored adaptive subgradient methods (AdaGrad) for online learning
Yuanzhong Xuco-created GSPMD automatic parallelization used to train PaLM and Gemini
Zeming Linled ESMFold protein structure prediction with language models
Zhibin Goucore contributor to DeepSeek-R1; co-led ToRA tool-integrated reasoning
Zhou Wangco-developed the structural similarity (SSIM) image quality index