---
title: "List of computer scientists"
chunk: 4/7
source: "https://en.wikipedia.org/wiki/List_of_computer_scientists"
category: "reference"
tags: "science, encyclopedia"
date_saved: "2026-05-05T04:00:53.571776+00:00"
instance: "kb-cron"
---

== K ==
William Kahan – numerical analysis
Robert E. Kahn – TCP/IP
Avinash Kak – digital image processing
Poul-Henning Kamp – invented GBDE, FreeBSD Jails, Varnish cache
David Karger
Richard Karp – NP-completeness
Narendra Karmarkar – Karmarkar's algorithm
Marek Karpinski – NP optimization problems
Ted Kaehler – Smalltalk, Squeak, HyperCard
Alan Kay – Dynabook, Smalltalk, overlapping windows
Neeraj Kayal – AKS primality test
Manolis Kellis – computational biology
John George Kemeny – the language BASIC
Ken Kennedy – compiling for parallel and vector machines
Brian Kernighan (born 1942) – Unix, the 'k' in AWK
Carl Kesselman – grid computing
Gregor Kiczales – CLOS, reflective programming, aspect-oriented programming
Logan Kilpatrick
Peter T. Kirstein – Internet
Stephen Cole Kleene – Kleene closure, recursion theory
Dan Klein – Natural language processing, Machine translation
Leonard Kleinrock – ARPANET, queueing theory, packet switching, hierarchical routing
Donald Knuth – The Art of Computer Programming, MIX/MMIX, TeX, literate programming
Andrew Koenig – C++
Daphne Koller – Artificial intelligence, bayesian network
Michael Kölling – BlueJ
Andrey Nikolaevich Kolmogorov – algorithmic complexity theory
Janet L. Kolodner – case-based reasoning
David Korn – KornShell
Kees Koster – ALGOL 68
Robert Kowalski – logic programming
John Koza – genetic programming
Alex Krizhevsky – AlexNet
John Krogstie – SEQUAL framework
Joseph Kruskal – Kruskal's algorithm
Maarja Kruusmaa – underwater roboticist
D. Richard Kuhn - computer scientist
Thomas E. Kurtz (1928–2024) – BASIC programming language; Dartmouth College computer professor

== L ==
Richard E. Ladner
Monica S. Lam
Leslie Lamport – algorithms for distributed computing, LaTeX
Butler Lampson – SDS 940, founding member Xerox PARC, Xerox Alto, Turing Award
Peter Landin – ISWIM, J operator, SECD machine, off-side rule, syntactic sugar, ALGOL, IFIP WG 2.1 member, advanced lambda calculus to model programming languages (aided functional programming), denotational semantics
Tom Lane – Independent JPEG Group, PostgreSQL, Portable Network Graphics (PNG)
Börje Langefors
Hans Langmaack
Chris Lattner – creator of Swift (programming language) and LLVM compiler infrastructure
Steve Lawrence
Edward D. Lazowska
Joshua Lederberg
Manny M Lehman
Charles E. Leiserson – cache-oblivious algorithms, provably good work-stealing, coauthor of Introduction to Algorithms
Douglas Lenat – artificial intelligence, Cyc
Yann LeCun
Rasmus Lerdorf – PHP
Max Levchin – Gausebeck–Levchin test and PayPal
Leonid Levin – computational complexity theory
Kevin Leyton-Brown – artificial intelligence
Fei-Fei Li – ImageNet
J.C.R. Licklider
David Liddle
Jochen Liedtke – microkernel operating systems Eumel, L3, L4
John Lions – Lions' Commentary on UNIX 6th Edition, with Source Code (Lions Book)
Charles H. Lindsey – IFIP WG 2.1 member, Revised Report on ALGOL 68
Richard J. Lipton – computational complexity theory
Barbara Liskov – programming languages
Yanhong Annie Liu – programming languages, algorithms, program design, program optimization, software systems, optimizing, analysis, and transformations, intelligent systems, distributed computing, computer security, IFIP WG 2.1 member
Darrell Long – computer data storage, computer security
Patricia D. Lopez – broadening participation in computing
Gillian Lovegrove
Ada Lovelace – first programmer
David Luckham – Lisp, Automated theorem proving, Stanford Pascal Verifier, Complex event processing, Rational Software cofounder (Ada compiler)
Eugene Luks
Nancy Lynch

== M ==
Nadia Magnenat Thalmann – computer graphics, virtual actor
Tom Maibaum
George Mallen – creative computing, computer arts
Simon Marlow – Haskell developer, book author; co-developer: Glasgow Haskell Compiler, Haxl remote data access library
Zohar Manna – fuzzy logic
James Martin – information engineering
Robert C. Martin (Uncle Bob) – software craftsmanship
John Mashey
Yuri Matiyasevich – solving Hilbert's tenth problem
Yukihiro Matsumoto – Ruby (programming language)
John Mauchly (1907–1980) – designed ENIAC, first general-purpose electronic digital computer, and EDVAC, BINAC and UNIVAC I, the first commercial computer; worked with Jean Bartik on ENIAC and Grace Murray Hopper on UNIVAC
Ujjwal Maulik (born 1965) multi-objective clustering and Bioinformatics
Derek McAuley – ubiquitous computing, computer architecture, networking
Conor McBride – researches type theory, functional programming; cocreated Epigram (programming language) with James McKinna; member IFIP Working Group 2.1 on Algorithmic Languages and Calculi
John McCarthy – Lisp (programming language), ALGOL, IFIP WG 2.1 member, artificial intelligence
Andrew McCallum
Douglas McIlroy – macros, pipes, Unix philosophy
Chris McKinstry – artificial intelligence, Mindpixel
Marshall Kirk McKusick – BSD, Berkeley Fast File System
Lambert Meertens – ALGOL 68, IFIP WG 2.1 member, ABC (programming language)
Kurt Mehlhorn – algorithms, data structures, LEDA
Dora Metcalf – entrepreneur, engineer and mathematician
Bertrand Meyer – Eiffel (programming language)
Silvio Micali – cryptography
Robin Milner – ML (programming language)
Jack Minker – database logic
Marvin Minsky – artificial intelligence, perceptrons, Society of Mind
James G. Mitchell – WATFOR compiler, Mesa (programming language), Spring (operating system), ARM architecture
Tom M. Mitchell
Arvind Mithal – formal verification of large digital systems, developing dynamic dataflow architectures, parallel computing programming languages (Id, pH), compiling on parallel machines
Paul Mockapetris – Domain Name System (DNS)
Cleve Moler – numerical analysis, MATLAB
Faron Moller – concurrency theory
John P. Moon – inventor, Apple Inc.
Charles H. Moore – Forth language
Edward F. Moore – Moore machine
Gordon Moore – Moore's law
J Strother Moore – string searching, ACL2 theorem prover
Roger Moore – co-developed APL\360, created IPSANET, co-founded I. P. Sharp Associates
Hans Moravec – robotics
Carroll Morgan – formal methods
Robert Tappan Morris – Morris worm
Joel Moses – Macsyma
Rajeev Motwani – randomized algorithm
Oleg A. Mukhanov – quantum computing developer, co-founder and CTO of SeeQC
Stephen Muggleton – Inductive Logic Programming
Klaus-Robert Müller – machine learning, artificial intelligence
Alan Mycroft – programming languages
Brad A. Myers – human-computer interaction