View source for List of programming language researchers

{{Short description|none}}
{{Incomplete list|date=January 2009}}

The following is list of researchers of [[programming language theory]], [[Programming language|design]], [[programming language implementation|implementation]], and related areas.
{{Dynamic list}}
{{Horizontal TOC|nonum=y}}

==A==
<!-- ONLY ADD A PERSON TO THIS LIST IF THEY ALREADY HAVE AN ARTICLE IN THE ENGLISH WIKIPEDIA. -->
* [[Martín Abadi]], for the programming language [[Baby Modula-3]] and his book (with [[Luca Cardelli]]) ''A Theory of Objects''
* [[Samson Abramsky]], contributions to the areas of the lazy [[lambda calculus]] and [[concurrency theory]] and co-editing the 6 Volume ''Handbook of Logic in Computer Science''
* [[Jean-Raymond Abrial]], father of the [[Z notation]] and the [[B-Method]], targeted at the clear specification and refinement of [[computer program]]s and computer-based systems in general
* [[Vikram Adve]], the 2012 [[ACM Software System Award]] for [[LLVM]], a set of [[compiler]] and [[toolchain]] technologies
* [[Gul Agha (computer scientist)|Gul Agha]], elected as an [[ACM Fellow]] in 2018 for ''research in concurrent programming and formal methods, specifically the [[actor model|Actor Model]]''
* [[Alfred Aho]], the A of AWK, 2020 [[Turing Award]] for fundamental algorithms and theory underlying programming language implementation and for synthesizing these results ...highly influential books ...
* [[Frances Allen]], the 2006 [[Turing Award]] for pioneering contributions to the theory and practice of optimizing compiler techniques ...
* [[Andrew Appel]], especially well-known because of his [[compiler]] books, the ''Modern Compiler Implementation in ML'' ({{ISBN|0-521-58274-1}}) series, as well as ''Compiling With Continuations'' ({{ISBN|0-521-41695-7}})
* [[Krzysztof R. Apt]], the use of [[Logic programming|logic as a programming language]]
* [[Bruce Arden]], co-authored two compilers, GAT<ref name="10.1145/368370.368373">{{Cite journal |last1=Arden 
| first1=B. |author-link1=Bruce Arden |last2=Graham |first2=R. 
| doi=10.1145/368370.368373 |title=On GAT and the construction of translators 
| journal=Communications of the ACM |volume=2 |issue=7 |pages=24 |year=1959 
| s2cid=6703069|doi-access=free }}</ref> for the [[IBM 650]] and [[MAD (programming language)|MAD]]
* [[Arvind (computer scientist)|Arvind]], see [[#M|Arvind Mithal]]
* [[Lennart Augustsson]], languages (Lazy [[ML (programming language)|ML]], Cayenne), compilers (HBC [[Haskell]], parallel Haskell front end, [[Bluespec]] [[SystemVerilog]] early)

==B==
<!-- ONLY ADD A PERSON TO THIS LIST IF THEY ALREADY HAVE AN ARTICLE IN THE ENGLISH WIKIPEDIA. -->
* [[Ralph-Johan Back]], originated the [[refinement calculus]], used in the formal development of programs using stepwise [[Refinement (computing)|refinement]]
* [[Roland Backhouse]], work on the mathematics of program construction and algorithm problem solving; books on ''Syntax of Programming Languages'', '' Program Construction and Verification'', and more
* [[John Backus]], the 1977 [[Turing Award]] for profound, influential, and lasting contributions to the design of practical high-level programming systems, notably through his work on [[FORTRAN]], and for seminal publication of formal procedures for the specification of programming languages
* [[George N. Baird]], the [[Grace Murray Hopper Award|1974 Grace Murray Hopper Award]] for his \development and implementation of the Navy's COBOL Compiler Validation System
* [[Lars Bak (computer programmer)|Lars Bak]], the 2018 AITO [[Dahl–Nygaard Prize]] for pioneering work in pointer-safe object-orientation and leading the implementation of [[BETA (programming language)|Beta]], [[Self (programming language)|Self]], [[Strongtalk]], [[HotSpot (virtual machine)|Java Hotspot]], ..., the ACM SIGPLAN 2016 PL Software Award<ref name="SIGPLANplSoftwareAWard"/> for [[V8 (JavaScript engine)|V8 Javascript]]
* [[Henri Bal]], programming languages for distributed systems, e.g. Orca<ref name="OwickiGries2">{{Cite journal
|last1=Bal 
|first1=Henri E. 
|author-link1=Henri Bal
|last2=Kaashoek 
|first2=M. Frans
|last3=Tanenbaum 
|first3=Andrew S.
|title=Orca: A language for parallel programming of distributed systems 
|doi=10.1109/32.126768
|journal=[[IEEE Transactions on Software Engineering]] 
|volume=18
|issue=3
|pages=190–205
|year=1992
|publisher=[[IEEE]]
|s2cid=1513191 
|url=https://research.vu.nl/ws/files/74115260/10970
}}</ref>
* [[Friedrich L. Bauer]], proposed the [[Stack (data structure)|stack method]] of expression evaluation, member of the [[ALGOL 60]] Committee, see also<ref name="BauerSamelson">{{cite journal |last1=Samelson |first1=Klaus |author-link=Klaus Samelson |last2=Bauer |first2=Friedrich Ludwig |date=February 1960 |title=Sequential Formula Translation |journal=Communications of the ACM |volume=3 |issue=2 |pages=76–83 |doi=10.1145/366959.366968 |s2cid=16646147 |doi-access=free}}</ref>
* [[Kent Beck]], a leading proponent of [[test-driven development]] (TDD), pioneered [[software design pattern]]s, and co-wrote [[JUnit]] for Java
* [[Jeff Bezanson]], the 2019 [[J. H. Wilkinson Prize for Numerical Software]] for the co-development of the [[Julia (programming language)|Julia]] language
* [[Dines Bjørner]], the [[Vienna Development Method]] (VDM), the [[Rigorous Approach to Industrial Software Engineering|Raise specification language]]
* [[Daniel Bobrow]], 1992 [[ACM Software System Award]] for the [[Integrated development environment|IDE]] named [[Interlisp]]
* [[Corrado Böhm]], defined [[Böhm's language]], the first [[meta-circular evaluator]], contributed the [[structured program theorem]]
* [[Grady Booch]], developer of [[Unified Modeling Language]] (UML)
* [[Kathleen Booth]], designed and developed first [[assembly language]]
* [[Stephen R. Bourne]], developed [[ALGOL 68C]], member [[IFIP Working Group 2.1]] on Algorithmic Languages and Calculi
* [[Gilad Bracha]], the 2017 AITO [[Dahl–Nygaard Prize]] for outstanding work on many topics relevant to OO, including [[mixin]]s, [[Java generics]], [[Strongtalk]], and [[Newspeak (programming language)|Newspeak]]
* [[Larry Breed]], 1973 [[Grace Murray Hopper Award]] for designing and implementing [[APL (programming language)|APL]]\360
* [[Walter Bright]], designer of [[D (programming language)|D]]
* [[Per Brinch Hansen]] (surname "Brinch Hansen"), the IEEE Computer Society 2002 [[Computer Pioneer Award]] for ... [[Concurrent Pascal]]
* [[Kim Bruce]], the 2021 AITO [[Dahl–Nygaard Prize]] for ... programming language theory and design in general and object orientation specifically<ref name="DahlNygaardPrize"/>
* [[Margaret Burnett]], pioneering contributions to [[visual programming language]]s
* [[Rod Burstall]], languages [[COWSEL]] (renamed POP-1), [[POP-2]], [[NPL (programming language)|NPL]], [[Hope (programming language)|Hope]]; ACM SIGPLAN 2009 PL Achievement Award<ref name="SigplanPLAchievement">{{Cite web |title=Programming Languages AchievementAward |url=https://www.sigplan.org/Awards/Achievement/ |website=Sigplan.org|access-date=2022-08-30}}</ref>
* [[Richard R. Burton|Richard Burton]], the 1992 [[ACM Software System Award]] for the [[Integrated development environment|IDE]] called [[Interlisp]]

==C==
<!-- ONLY ADD A PERSON TO THIS LIST IF THEY ALREADY HAVE AN ARTICLE IN THE ENGLISH WIKIPEDIA. -->
* [[Luca Cardelli]], research in [[type theory]] and [[operational semantics]], helped develop [[Modula-3]] and [[Polyphonic C#]], first [[compiler]] for [[ML (programming language)|ML]], the 2007 AITO [[Dahl–Nygaard Prize]], {{cite web
|url=https://www.sigplan.org/Awards/POPL/ 
|title=POPL 2000 Most Influential Paper Award}}
* [[Craig Chambers]], the 2011 AITO [[Dahl–Nygaard Prize]] for the design of [[Cecil (programming language)|Cecil]] and his work on compiler techniques used to implement OO languages ...
* [[John Chambers (statistician)|John Chambers]], the 1998 [[ACM Software System Award]] for the programing language [[S (programming language)|S]]
* [[K. Mani Chandy]], contributions to the verification of parallel programming languages, including the language [[UNITY (programming language)|UNITY]]
* [[Alonzo Church]], the [[Lambda calculus]]; considered a founder of [[computer science]]
* [[John Cocke (computer scientist)|John Cocke]], the 1987 [[Turing Award]] for significant contributions in the design and theory of compilers, ..., and ...; co-developed the [[CYK algorithm|CYK parsing algorithm]]
* [[Alain Colmerauer]], creator of [[Prolog]]
* [[Richard W. Conway]], for the introductory languages [[CORC]] and [[Cornell University Programming Language|CUPL]] and the student-oriented dialect [[PL/C]]; for extensive error correction so that [[PL/C#Design and implementation|every program compiled]]
* [[William Cook (computer scientist)|William Cook]], chief architect of [[AppleScript]], the 2014 AITO [[Dahl–Nygaard Prize]] for contributions to the theory and practice of OO programming<ref name="DahlNygaardPrize">{{cite web
|url=https://www.aito.org/aito-dahl-nygaard/statutes-of-dahl-nygaard 
|title=AITO Dahl–Nygaard Prize Winners
|date=2014
|publisher=Association Internationale pour les Technologies Objets
|access-date=2022-08-21}}</ref>
* [[Keith D. Cooper|Keith Cooper]], research on programming languages, compilers, optimization, and static analysis
* [[Thierry Coquand]], ACM SIGPLAN 2013 PL Software Award<ref name="SIGPLANplSoftwareAWard"/> and the 2015 [[ACM Software System Award]] for [[Coq proof assistant|Coq]]
* [[Patrick Cousot]], for contributions to [[programming language]]s through the co-invention of [[abstract interpretation]], ACM SIGPLAN 2013 PL Achievement Award<ref name="SigplanPLAchievement"/>
* [[Radhia Cousot]], for contributions to [[programming language]]s through the co-invention of [[abstract interpretation]], ACM SIGPLAN 2013 PL Achievement Award<ref name="SigplanPLAchievement"/>
* [[James Cordy]], known for the [[TXL (programming language)|TXL]] source transformation language, a parser-based framework and functional programming language designed to support software analysis and transformation tasks

==D==
<!-- ONLY ADD A PERSON TO THIS LIST IF THEY ALREADY HAVE AN ARTICLE IN THE ENGLISH WIKIPEDIA. -->
* [[Ole-Johan Dahl]], the 2001 [[Turing Award]] for ideas fundamental to the emergence of OO programming, through [the] design of the programming languages [[Simula]] I and 67
* [[Olivier Danvy]] specializes in [[programming language]]s, [[partial evaluation]], and [[continuation]]s
* [[John Darlington]], work on program transformation and functional programming, including [[NPL (programming language)|NPL]] and [[Hope+]]
* [[L. Peter Deutsch]], first implementation of [[TRAC (programming language)|TRAC]] (on the [[PDP-1]]), first [[REPL]], PhD thesis on an interactive [[program verifier]], the 1992 [[ACM Software System Award]] for the [[Integrated development environment|IDE]] called [[Interlisp]]
* [[Edsger W. Dijkstra]], first [[ALGOL 60]] compiler, [[Predicate transformer semantics|weakest preconditions]], the 1972 [[Turing Award]] for fundamental contributions to developing programming languages
* [[Damien Doligez]], co-developer and implementor of [[OCaml]], especially its [[Garbage collection (computer science)|garbage collector]]
* [[Sophia Drossopoulou]], formal methods for [[programming language]]s, proof of the soundness of [[Java (programming language)|Java]]

==E==
<!-- ONLY ADD A PERSON TO THIS LIST IF THEY ALREADY HAVE AN ARTICLE IN THE ENGLISH WIKIPEDIA. -->
* [[Wim Ebbinkhuijsen]], one of the fathers of [[COBOL]], designed and rewrote dozens of parts of the current COBOL standard
* [[Alan Edelman]], the [[Sidney Fernbach Award|2019 Sidney Fernbach Award]] for ... and for contributions to the [[Julia programming language]]
* [[Brendan Eich]], designer of [[JavaScript]]
* [[Andrey Ershov]], see [[#Y|Andrey Yershov]]

==F==
<!-- ONLY ADD A PERSON TO THIS LIST IF THEY ALREADY HAVE AN ARTICLE IN THE ENGLISH WIKIPEDIA. -->
* [[Mahmoud Samir Fayed]], creator of [[PWCT]] and [[Ring (programming language)|Ring]]
* [[Matthias Felleisen]], ACM SIGPLAN 2018 PL Software Award<ref name="SIGPLANplSoftwareAWard">{{cite web
|url=https://www.sigplan.org/Awards/Software/ 
|title=Programming Languages Software Award
|date=
|publisher=ACM [[SIGPLAN]]
|access-date=2022-08-29}}</ref> for [[Racket (programming language)|Racket]], ACM SIGPLAN 2012 PL Achievement Award<ref name="SigplanPLAchievement"/>
* [[Jeanne Ferrante]], developed the [[Program dependence graph]], ACM SIGPLAN 2006 PL Achievement Award<ref name="SigplanPLAchievement"/>
* [[Robby Findler]], thesis on linguistics of software contracts, the ACM SIGPLAN 2018 PL Software Award<ref name="SIGPLANplSoftwareAWard"/> for [[Racket (programming language)|Racket]], design/implementation of ''Redex'', a workbench for semantics engineers
* [[Keno Fischer]], a core member implementing the [[Julia (programming language)|Julia]] programming language, 
* [[Matthew Flatt]], ACM SIGPLAN 2018 PL Software Award<ref name="SIGPLANplSoftwareAWard"/> for [[Racket (programming language)|Racket]]
* [[Robert W. Floyd]], the 1978 [[Turing Award]] for ..., and for helping to found the following important subfields of computer science: the theory of parsing, the semantics of programming languages, automatic program verification, automatic program synthesis, and analysis of algorithms
* [[Robert France]], the 2014 AITO [[Dahl–Nygaard Prize]] for his research on adding formal semantics to OO modeling notations
* [[Daniel P. Friedman]], influential paper on [[lazy evaluation|lazy programming]], explored [[macro (computer science)|macro]]s for defining programming languages, lead author of ''[[Essentials of Programming Languages]]''
* [[Yoshihiko Futamura]], partial evaluation, especially Futamura projections

==G==
<!-- ONLY ADD A PERSON TO THIS LIST IF THEY ALREADY HAVE AN ARTICLE IN THE ENGLISH WIKIPEDIA. -->
* [[Richard P. Gabriel]], for work on [[Lisp (programming language)|Lisp]], and especially [[Common Lisp]]; the 2004 ACM-AAAI Allen Newell Award<ref name="Allen Newell Award">{{cite web
|url=https://awards.acm.org/newell 
|title=ACM-AAAI Allen Newell Award
|date=
|publisher=[[Association for Computing Machinery|ACM]]
|access-date=2022-09-07}}</ref> for innovations in programming languages and software design ...
* [[Bernard Galler]], involved in the development of computer languages, including [[MAD (programming language)|MAD]]
* [[Erich Gamma]], co-wrote the [[JUnit]] software testing framework; one of the [[Design Patterns|Gang of Four]], the 2006 AITO [[Dahl–Nygaard Prize]], for ... their book ''[[Design Patterns (book)|Design Patterns: ...]]'', ACM SIGPLAN 2005 PL Achievement Award<ref name="SigplanPLAchievement"/>
* [[Charles Geschke]], co-author of [[The Design of an Optimizing Compiler]], the 1989 [[ACM Software System Award]] for [[PostScript]]
* [[Jeremy Gibbons]],<ref>{{cite web
|url=https://www.cs.ox.ac.uk/softeng/Jeremy.Gibbons/publications.html 
|title=Jeremy Gibbons: publications
|date=
|publisher=[[University of Oxford]]
|access-date=2022-09-05}}</ref> [[generic programming]] and [[functional programming]], member of [[IFIP Working Group 2.1]] on Algorithmic Languages and Calculi, which supports and maintains [[ALGOL 60]] and [[ALGOL 68]]
* [[Seymour Ginsburg]], fundamental work in [[formal languages]] and [[abstract family of languages]]
* [[Adele Goldberg (computer scientist)|Adele Goldberg]], the 1987 [[ACM Software System Award]] for [[Smalltalk]]
* [[Andrew D. Gordon|Andrew Gordon]], co-designer of [[Concurrent Haskell]], co-inventor of the [[ambient calculus]] for reasoning about [[mobile code]], designed [[SecPAL]]
* [[James Gosling]], the 2002 [[ACM Software System Award]] for [[Java (programming language)|Java]]
* [[Robert M. Graham (computer scientist)|Robert Graham]], co-authored two compilers, GAT<ref name="10.1145/368370.368373"/> for the [[IBM 650]] and [[MAD (programming language)|MAD]]
* [[Susan L. Graham|Susan Graham]], the 2009 [[IEEE John von Neumann Medal]] for "contributions to PL design and implementation ...", member [[National Academy of Engineering|NAE]],<ref>{{cite web
|url=https://www.nae.edu/20412/MemberDirectory?qps=05&q=for%20contributions%20to%20the%20theory%20and%20practice%20of%20compiler%20construction 
|title=NAE members directory
|date=1993
|publisher=[[National Academy of Engineering|NAE]]
|access-date=2022-08-20}}</ref> ACM SIGPLAN 2000 PL Achievement Award<ref name="SigplanPLAchievement"/>
* [[Cordell Green]], the [[Grace Murray Hopper Award|1985 Grace Murray Hopper Award]] for establishing the theoretical basis of the field of [[logic programming]]
* [[Sheila Greibach]], grammar theory, [[Greibach normal form]]
* [[David Gries]], first text on writing compilers,<ref name=GriesCompilers1971>{{Cite book |last=Gries |first=David |date=1971 |title=Compiler Construction for Digital Computers |publisher=John Wiley and Sons |location=New York |isbn=0-471-32776-X 
|language=English, Spanish, Japanese, Chinese, Italian, Russian
|quote=The first text on compiler writing.}}</ref><ref>{{Cite web
|title=IBM Punch cards on which the book was written are in the Stanford Museum
|url=http://infolab.stanford.edu/pub/voy/museum/pictures/display/floor5.htm
|access-date=11 July 2022}}</ref> contributions to semantics of programming language constructs, e.g. [[Interference freedom]] and<ref>{{cite journal 
|last1= Gries
|first1= David
|author-link1= David Gries
|last2= Levin
|first2= Gary
|title= Assignment and procedure call proof rules
|journal= [[ACM Transactions on Programming Languages and Systems]]
|volume= 2
|issue= 4
|date=  October 1980
|pages= 564–579
|doi= 10.1145/357114.357119|s2cid= 2639439
|doi-access= free
}}</ref>
* [[Robert Griesemer]], co-designer of [[Go (programming language)|Go]]
* [[Ralph Griswold]], designer of [[SNOBOL]], SL5, and [[Icon (programming language)|Icon]]
* [[Jürg Gutknecht]], co-developer of the language [[Oberon (programming language)|Oberon]], developer of the language [[Zonnon]]
* [[John Guttag]], co-developer of the [[Larch family]] of formal [[specification language]]s and the [[Larch Prover]] (LP)
* [[Michael Guy]], co-author of [[ALGOL 68C]]

==H==
<!-- ONLY ADD A PERSON TO THIS LIST IF THEY ALREADY HAVE AN ARTICLE IN THE ENGLISH WIKIPEDIA. -->
* [[Nico Habermann]], co-designer of [[BLISS]]
* [[Robert Harper (computer scientist)|Robert Harper]], contributions to [[Standard ML]] and the [[LF (logical framework)|LF logical framework]], ACM SIGPLAN 2021 PL Achievement Award<ref name="SigplanPLAchievement"/> for foundational contributions to type theory
* [[Eric Hehner]], for [[predicative programming]], a formal method for [[specification language|specification]] and [[program refinement|refinement]]
* [[Anders Hejlsberg]], original author of [[Turbo Pascal]], chief architect of [[C Sharp (programming language)|C#]]
* [[Laurie Hendren]], continuous and significant contributions for 30+ years to the field of OO programming languages and compiling
* [[Thomas Henzinger]], received the [[Milner Award|2015 Milner Award]] for "fundamental advances in the theory and practice of [[formal verification]] and synthesis of reactive, real-time, and hybrid computer systems"
* [[Maurice Herlihy]], [[Dijkstra Prize|2003, 2012, and 2022 Dijkstra Prizes]], one for work on [[transactional memory]]
* [[Rich Hickey]], designer of [[Clojure]]
* [[Tony Hoare]], first axiomatic basis for proving programs correct, [[Communicating sequential processes|CSP]], the 1980 [[Turing Award]] for fundamental contributions to the definition and design of programming languages
* [[Ric Holt]], the [[Turing programming language]], contributions to Grok, [[Euclid (programming language)|Euclid]], [[SP/k]], and [[S/SL]]
* [[Urs Hölzle]], co-implemented [[Strongtalk]], a [[Smalltalk]] environment with optional [[static typing]] support, later became Googles first Vice President of Engineering
* [[Grace Hopper]], co-designer of [[COBOL]]
* [[Jim Horning]], interests included [[programming language]]s, [[programming methodology]], [[specification]]; co-developer of the [[Larch family|Larch]] approach to [[formal specification]]
* [[Susan B. Horwitz]], noted for research on [[programming language]]s and [[software engineering]], and in particular on program slicing and dataflow-analysis
* [[Paul Hudak]], known for involvement in designing the language [[Haskell]], and for several textbooks on it and [[computer music]]
* [[Gérard Huet]], ACM SIGPLAN 2013 PL Software Award<ref name="SIGPLANplSoftwareAWard"/> and the 2015 [[ACM Software System Award]] for the [[Coq (software)|Coq]] proof assistant
* [[John Hughes (computer scientist)|John Hughes]], PhD thesis ''The Design and Implementation of Programming Languages''.,<ref>
{{Citation
| title=The Design and Implementation of Programming Languages
| url=https://www.cs.ox.ac.uk/files/3309/PRG40.pdf
| access-date=September 7, 2022
| publisher=University of Oxford
| date=July 1983
}}
</ref> co-developer of the [[QuickCheck]] software library, [[List of fellows of the Association for Computing Machinery|2018 ACM Fellow]] for contributions to software testing and functional programming
* [[Roger Hui]], co-developed the language [[J (programming language)|J]]

==I==
<!-- ONLY ADD A PERSON TO THIS LIST IF THEY ALREADY HAVE AN ARTICLE IN THE ENGLISH WIKIPEDIA. -->
* [[Jean Ichbiah]], designer the system implementation [[programming language]] called [[LIS (programming language)|LIS]], initial chief designer of [[Ada programming language|Ada]]
* [[Roberto Ierusalimschy]], designer of [[Lua (programming language)|Lua]]
* [[Dan Ingalls]], the 2022 AITO [[Dahl–Nygaard Prize]] and the 1987 [[ACM Software System Award]] for [[Smalltalk]]
* [[Kenneth E. Iverson]], the 1979 [[Turing Award]] for his pioneering effort in ... resulting in ... [[APL (programming language)|APL]], for his contributions to ..., ..., and programming language theory and practice

==J==
<!-- ONLY ADD A PERSON TO THIS LIST IF THEY ALREADY HAVE AN ARTICLE IN THE ENGLISH WIKIPEDIA. -->
* [[Daniel Jackson (computer scientist)|Daniel Jackson]], principal designer of the [[Alloy (specification language)|Alloy]] modelling language and its associated [[Alloy Analyzer]] analysis tool, author of the book ''Software Abstractions: Logic, Language, and Analysis''
* [[Jørn Jensen]], developed [[ALGOL 60]] compilers, invented [[Jensen's device]], which exploits [[call by name]]
* [[Ralph Johnson (computer scientist)|Ralph Johnson]], one of the [[Design Patterns|Gang of Four]], the 2006 AITO [[Dahl–Nygaard Prize]] for ... their book ''[[Design Patterns (book)|Design Patterns: ...]]'', ACM SIGPLAN 2005 PL Achievement Award<ref name="SigplanPLAchievement"/>
* [[Cliff Jones (computer scientist)|Cliff Jones]], the [[Vienna Development Method]] (VDM), rely-guarantee—compositional [[interference freedom]]<ref>{{Cite thesis
|last=Jones
|first=C.B.
|title=Development Methods for Computer Programs including a Notion of Interference
|date=June 1981
|degree=DPhil
|publisher=Oxford University
|url=http://www.cs.ox.ac.uk/files/9025/PRG-25.pdf
|doi=}}</ref>
* [[Neil D. Jones]], work on [[partial evaluation]], ACM SIGPLAN 2014 PL Achievement Award<ref name="SigplanPLAchievement"/>
* [[Simon Peyton Jones]], for work in [[functional programming]] languages and [[lazy evaluation]]; codesigner of [[Haskell]]; 2011 [[Programming Languages Software Award]] for the [[Glasgow Haskell Compiler]] (GHC)

==K==
<!-- ONLY ADD A PERSON TO THIS LIST IF THEY ALREADY HAVE AN ARTICLE IN THE ENGLISH WIKIPEDIA. -->
* [[Gilles Kahn]], coroutines and networks of processes<ref>
{{cite report
| title=Coroutines and Networks of Parallel Processes
| author=Gilles Kahn and David MacQueen
| publisher=INRIA
| year=1976
}}</ref>
* [[Ted Kaehler]], co-implementer of [[Smalltalk]]
* [[Ronald Kaplan]], the 1992 [[ACM Software System Award]] for the [[Integrated development environment|IDE]] called [[Interlisp]]
* [[Stefan Karpinski]], the 2019 [[J. H. Wilkinson Prize for Numerical Software]] for the co-development of the [[Julia (programming language)|Julia]] programming language
* [[Alan Kay]], the 2003 [[Turing Award]] for pioneering many of the ideas at the root of contemporary OO programming languages, leading the team that developed [[Smalltalk]], and ...
* [[John Larry Kelly Jr.|John Kelly]], co-developed the pioneer dataflow language BLODI (BLOck DIagram). See [[Dataflow programming#History|Dataflow programming]]
* [[John G. Kemeny]], co-designer and developer the first [[BASIC]] language
* [[Ken Kennedy (computer scientist)|Ken Kennedy]], the [[McDowell Award]] for contributions to compiler optimization and ..., ACM SIGPLAN 1999 PL Achievement Award<ref name="SigplanPLAchievement"/>
* [[Brian Kernighan]], co-designer of [[AWK]] and [[AMPL]], co-author of "The C Programming Language", promoter and designer of "little languages": [[eqn (software)|Eqn]], [[PIC (markup language)|Pic]], [[Grap]]
* [[Gregor Kiczales]], the 2012 AITO [[Dahl–Nygaard Prize]], for his work on [[CLOS]] and the [[Metaobject|MOP]] and for spearheading aspect-orientation and [[AspectJ]]
* [[Ken Knowlton]]. computer graphics pioneer, created [[BEFLIX]] for making movies and L6,<ref>
{{citation 
| title=A programmer's description of L6
| author=Kenneth C. Knowlton
| journal=CACM
| volume=9
| year=1966
| issue=8
|pages=616–625
| doi=10.1145/365758.365792
| s2cid=43669187
| doi-access=free
}}</ref> which introduced postfix field selection to list processing
* [[Donald Knuth]], the 1974 [[Turing Award]] for his major contributions to ... and the design of programming languages, and ...
* [[Andrew Koenig (programmer)|Andrew Koenig]], author of [[C Traps and Pitfalls]] and the [[Koenig lookup]]
* [[Michael Kölling]], development of [[BlueJ]] and [[Greenfoot]]
* [[Kees Koster]], co-designer of [[ALGOL 68]], creator of [[affix grammar]]s, creator of the original [[Compiler Description Language|Compiler Description Language (CDL)]]
* [[Robert Kowalski]], the [[IJCAI Award for Research Excellence|2011 IJCAI Award for Research Excellence]] for ... pioneering work on ... [[logic programming]]; introduced [[SLD resolution]], which is used in the implementation of the logic programming language [[Prolog]]
* [[Dexter Kozen]], one of the fathers of [[Dynamic logic (modal logic)|dynamic logic]], an extension of [[modal logic]] capable of encoding properties of [[computer program]]s
* [[Shriram Krishnamurthi]], developed [[Flapjax]], ACM SIGPLAN 2018 PL Software Award<ref name="SIGPLANplSoftwareAWard"/> for [[Racket (programming language)|Racket]], the 2012 ACM [[SIGPLAN]] Robin Milner Young Researcher Award<ref name="MilnerYoungResearcher"/>
* [[David Kuck]], the IEEE Computer Society 2011 [[Computer Pioneer Award]] for revolutionary parallel compiler technology including Parafrase (in 1977)<ref>{{cite book
| title=Encyclopedia of Parallel Computing
| chapter-url=https://link.springer.com/referenceworkentry/10.1007/978-0-387-09766-4_434
| editor=Padua, D.
| publisher=Springer, Boston, MA
| author1=Bruce Leasure
| chapter=Parafrase
| year=2011| pages=1407–1409
| doi=10.1007/978-0-387-09766-4_434
| isbn=978-0-387-09765-7
}}</ref> and KAP Tools
* [[Thomas E. Kurtz]], co-designer and developer the first [[BASIC]] language

==L==
<!-- ONLY ADD A PERSON TO THIS LIST IF THEY ALREADY HAVE AN ARTICLE IN THE ENGLISH WIKIPEDIA. -->
* [[Monica S. Lam]], contributed to a wide range of topics including [[compiler]]s and [[program analysis]], received the ACM Most Influential PLDI Paper Award in 2001{{refn|''PLDI'' is short for [[Programming Language Design and Implementation]]}}<ref>{{cite web
|url=https://www.sigplan.org/Awards/PLDI/ 
|title=Most Influential PLDI Paper Award
|date=
|publisher=[[SIGPLAN]]
|access-date=2022-08-21}}</ref>
* [[Leslie Lamport]], creator of the formal specification language [[TLA+]] and much more, the 2013 [[Turing Award]]
* [[Peter Landin]] used the [[lambda calculus]] to model [[ISWIM]], in doing so defined the [[off-side rule]] and coined the term [[syntactic sugar]]; active in defining [[ALGOL]]
* [[Richard H. Lathwell]], the 1973 [[Grace Murray Hopper Award]] for the design and implementation of [[APL (programming language)|APL]]\360
* [[Chris Lattner]], designer of [[Swift (programming language)|Swift]], ACM SIGPLAN 2010 PL Software Award<ref name="SIGPLANplSoftwareAWard"/> and the 2012 [[ACM Software System Award]] for [[LLVM]], a set of [[compiler]] and [[toolchain]] technologies
* [[John Launchbury]], lazy functional languages, contributing designer of [[Haskell]], directed development of the [[domain-specific language]] named [[Cryptol]]
* [[Harold Lawson]], the IEEE Computer Society 2000 [[Computer Pioneer Award]] for inventing the pointer variable and introducing this concept into [[PL/I]]
* [[Doug Lea]], the 2010 AITO [[Dahl–Nygaard Prize]], for tireless advocacy of object-oriented techniques, contributions to concurrent programming in Java, and ...
* [[Peter Lee (computer scientist)|Peter Lee]], PhD thesis: ''The automatic generation of realistic compilers from high-level semantic descriptions''; as of 2022, Microsoft Corporate Vice President, Research and Incubations
* [[Rasmus Lerdorf]], father of [[PHP]]
* [[Xavier Leroy]], the 2016 [[Milner Award]] for exceptional achievements in programming including [[OCaml]], ACM SIGPLAN 2021 PL Software Award<ref name="SIGPLANplSoftwareAWard"/>
* [[Charles H. Lindsey]], co-editor of the Revised Report on [[Algol 68]], designed an implemented [[ALGOL 68S]], a subset of Algol 68, wrote the complete History of ALGOL 68 in<ref>{{Cite book |last=Lindsey |first=C. H. |editor-last=Bergin |editor-first=T. J. |editor2-last=Gibson |editor2-first=R. G. |date=1996 |chapter=A History of ALGOL 68 |title=[[History of Programming Languages#HOPL II|History of Programming Languages-II]] |publisher=ACM Press |isbn=0-201-89502-1}}</ref>
* [[Barbara Liskov]], the 2008 [[Turing Award]] for contributions to practical and theoretical foundations of programming language and system design, ...
* [[Yanhong Annie Liu]], PhD thesis on incremental computation,<ref>{{cite thesis 
|last= Liu
|first= Yanhong Annie
|date= January 1996
|title= Incremental Computation: A Semantics-Based Systematic Transformational Approach
|publisher= Cornell University
|hdl= 1813/7208
|type= PhD thesis
|url= https://hdl.handle.net/1813/7208
|access-date=2022-09-08}}</ref> book on systematic program design<ref>{{cite book
| title=Systematic Program Design: From Clarity to Efficiency
| url=
| author=Yanhong Annie Liu
| author-link=Yanhong Annie Liu
| publisher=Cambridge University Press
| year=2013
| isbn=978-1-107-61079-8}}</ref>
* [[Peter Lucas (computer scientist)|Peter Lucas]], formal definition of [[PL/I]], the [[Vienna Development Method]] (VDM), work on the [[functional programming]] language [[FL (programming language)|FL]]
* [[David Luckham]], contributions to [[Lisp (programming language)|Lisp]] and verification of [[Pascal (programming language)|Pascal]]; cofounder of the [[Ada (programming language)|Ada compiler]]

==M==
<!-- ONLY ADD A PERSON TO THIS LIST IF THEY ALREADY HAVE AN ARTICLE IN THE ENGLISH WIKIPEDIA. -->
* [[Simon Marlow]], ACM SIGPLAN 2011 PL Software Award<ref name="SIGPLANplSoftwareAWard"/> for the [[Glasgow Haskell Compiler]]
* [[Larry Masinter]], the 1992 [[ACM Software System Award]] for the [[Integrated development environment|IDE]] named [[Interlisp]]
* [[Yukihiro Matsumoto]], designer of [[Ruby (programming language)|Ruby]]
* [[David May (computer scientist)|David May]], lead designer of [[occam (programming language)|occam]]
* [[Conor McBride]], researches [[type theory]], [[functional programming]]; with James McKinna, cocreated [[Epigram (programming language)]]; member [[IFIP Working Group 2.1]] on Algorithmic Languages and Calculi
* [[John McCarthy (computer scientist)|John McCarthy]], the [[Lisp (programming language)|Lisp family of programming languages]], the 1971 [[Turing Award]]
* [[Douglas McIlroy]], pioneering researcher of [[macro processor]]s and programming language [[extensibility]], contributed to designing [[PL/I]], [[SNOBOL]], [[ALTRAN]], [[TMG (language)|TMG]], [[C++]]
* [[Kathryn S. McKinley]], research on [[compiler]]s, runtime systems, and [[computer architecture]], introduced the [[Hoard memory allocator|Hoard C/C++ Memory Allocator]], the ACM SIGPLAN 2012 PL Software Award<ref name="SIGPLANplSoftwareAWard"/> for Jikes RVM
* [[Lambert Meertens]], co-designer of [[ABC (programming language)|ABC]], the incidental predecessor of [[Python (programming language)|Python]]; co-designer of the [[Bird–Meertens formalism]]; co-editor of the Revised [[ALGOL 68]] Report
* [[Erik Meijer (computer scientist)|Erik Meijer]], works on [[functional programming]] (particularly [[Haskell]]), [[compiler]] implementation, [[parsing]], and [[programming language design]]
* [[Bertrand Meyer]], created [[Eiffel (programming language)|Eiffel]] and advocated [[design by contract]], awarded the 2005 AITO [[Dahl–Nygaard Prize]]
* [[Harlan Mills]], the IEEE Computer Society 1994 [[Computer Pioneer Award]] for [[structured programming]]
* [[Robin Milner]], the 1991 [[Turing Award]] for three distinct and complete achievements: (1)...; (2) [[ML (programming language)|ML]], the first language to include polymorphic type inference together with a type-safe exception-handling mechanism; (3) [[Calculus of communicating systems|CCS]], ... 
* [[Jayadev Misra]], contributions to concurrent programming, including the languages [[UNITY (programming language)|UNITY]] and {{cite web 
|url=https://orc.csres.utexas.edu/ 
|title=Orc}}
* [[James G. Mitchell]], work on the [[WATFIV#WATFOR 7040|WATFOR]] compiler, languages [[Mesa (programming language)|Mesa]] and [[Euclid (programming language)|Euclid]], PhD thesis on ''The design and construction of flexible and efficient interactive programming systems''
* [[John C. Mitchell]] explored the connection between [[existential type]]s and [[abstract data type]]s and played a pivotal role in developing type theory as a foundation for programming languages
* [[Arvind (computer scientist)|Arvind Mithal]], for parallel languages ''Id'' and ''pH'', compiling on parallel machines, and language [[Bluespec]] [[SystemVerilog]] (BSV)
* [[Calvin Mooers]], the language [[TRAC (programming language)|TRAC]]
* [[Charles H. Moore]] (Chuck), the language [[Forth (programming language)|Forth]]
* [[Roger Moore (computer scientist)|Roger D. Moore]], implemented [[ALGOL 60]], the 1973 [[Grace Murray Hopper Award]] for the design and implementation [[APL (programming language)|APL]]\360
* [[Carroll Morgan (computer scientist)|Carroll Morgan]], known proponent of the [[refinement calculus]] approach to program development; authored the book ''[http://web.comlab.ox.ac.uk/oucl/publications/books/PfS/ Programming from Specifications]''
* [[James H. Morris]] developed two underlying principles of programming languages, inter-module protection and [[lazy evaluation]], and led the [[Mesa (programming language)#Cedar|Cedar programming environment]] project
* [[Greg Morrisett]], worked on [[type system]]s and [[proof-carrying code]] and [[provably secure]] systems, created [[Cyclone (programming language)|Cyclone]], POPL 1998 Most Influential Paper Award<ref name="POPLpaperAward">{{cite web
|url=https://www.sigplan.org/Awards/POPL/ 
|title=Most Influential POPL Paper Award
|date=
|publisher=ACM [[SIGPLAN]]
|access-date=2022-08-29}}</ref> for applying type system ideas to low level programming
* [[J. Eliot B. Moss]], active in the fields of [[Garbage collection (computer science)|garbage collection]] and [[multiprocessor]] [[synchronization (computer science)|synchronization]], co-inventor of [[transactional memory]]
* [[Alan Mycroft]], research in programming languages, co-created the [[Norcroft C compiler]]
* [[Brad A. Myers]], for the Natural Programming project, focusing on programming languages programming languages and making programming easier and more correct by making it more natural.<ref>{{citation |url=https://www.cs.cmu.edu/~NatProg/ 
|title=Natural Programming project 
|archive-url=https://web.archive.org/web/20221025224806/https://www.cs.cmu.edu/~NatProg/index.html 
|archive-date=2022-10-25 |access-date=2022-11-11}}</ref>

==N==
<!-- ONLY ADD A PERSON TO THIS LIST IF THEY ALREADY HAVE AN ARTICLE IN THE ENGLISH WIKIPEDIA. -->
* [[Peter Naur]], the 2005 [[Turing Award]] for fundamental contributions to programming language design and the definition of [[ALGOL 60]], to compiler design, and to ...
* [[George Necula]], POPL 1997 and 2002 Most Influential Paper Award<ref name="POPLpaperAward"/> for [[proof-carrying code]] and type-safe retrofitting of legacy code
* [[Bruce Jay Nelson|Bruce Nelson]], the 1994 [[ACM Software System Award]] for the [[remote procedure call]] concept
* [[Greg Nelson (computer scientist)|Greg Nelson]], PhD thesis ''Techniques for Program Verification'', co-designer of [[Modula-3]], the [[Herbrand Award|2013 Herbrand Award]] for pioneering contributions to theorem proving and program verification ...
* [[Oscar Nierstrasz]], the 2013 AITO [[Dahl–Nygaard Prize]] for ... contributions ... aimed at making systems more flexible with respect to changing requirements, based on programming languages and mechanisms supporting software evolution
* [[Maurice Nivat]], research in [[formal languages]] and [[programming language semantics]]; received the 2002 [[European Association for Theoretical Computer Science|EATCS award]]
* [[James Noble (computer scientist)|James Noble]], the 2016 AITO [[Dahl–Nygaard Prize]] for a world-leading reputation for work on object-orientation; did pioneering work in novel type systems for programming languages
* [[Kristen Nygaard]], the 2001 [[Turing Award]] for ideas fundamental to the emergence of OO programming, through [the] design of [[Simula]] I and 67

==O==
* [[Martin Odersky]], provided basis for [[javac]], co-developed [[Generics in Java]], ACM SIGPLAN 2019 PL Software Award<ref name="SIGPLANplSoftwareAWard"/> for [[Scala (programming language)|Scala]]
* [[Peter O'Hearn]], known for [[separation logic]], co-developed the [[static program analysis]] utility [[Infer Static Analyzer]], 2001 Most Influential Paper Award<ref name="POPLpaperAward"/>
* [[John Ousterhout]], the 1997 [[ACM Software System Award]] for [[Tcl]]/[[Tk (software)|Tk]]
* [[Susan Owicki]], contributions to semantics, e.g. [[Interference freedom]] and<ref>{{Cite journal
 |last1=Owicki 
 |first1=Susan
 |author-link1=Susan Owicki 
 |last2=Lamport
 |first2=Leslie 
 |author-link2=Leslie Lamport 
 |title=Proving liveness properties of concurrent programs 
 |doi=10.1145/357172.357178
 |journal=ACM Transactions on Programming Languages and Systems 
 |volume=9 
 |pages=455–495 
 |date=July 1982
 |issue=3
 |s2cid=17838416
 |doi-access=free 
 }}</ref>

==P==
<!-- ONLY ADD A PERSON TO THIS LIST IF THEY ALREADY HAVE AN ARTICLE IN THE ENGLISH WIKIPEDIA. -->
* [[Krishna Palem]], the [[W. Wallace McDowell Award|2008 McDowell Award]], for pioneering contributions to the algorithmic, compilation, and architectural foundations of embedded computing
* [[David Park (computer scientist)|David Park]], worked on the first implementation of [[Lisp (programming language)|Lisp]], an authority on the topics of fairness, program schemas and [[bisimulation]] in [[concurrent computing]]
* [[David Parnas]], developed [[information hiding]], an important element of [[object-oriented programming|OO programming]] today.
* [[Christine Paulin-Mohring]], ACM SIGPLAN 2013 PL Software Award<ref name="SIGPLANplSoftwareAWard"/> and the 2015 [[ACM Software System Award]] for [[Coq proof assistant|Coq]]
* [[:de:Manfred Paul (Informatiker)|Manfred Paul]], Thesis: On the Structure of Formal Languages (1962, German); co-developer of Alcor-Illinois [[ALGOL 60]] compiler
* [[Lawrence Paulson]], known for the text ''[[ML (programming language)|ML]] for the Working Programmer'' and the interactive theorem prover [[Isabelle (proof assistant)|Isabelle]], which he introduced in 1986
* [[Steven Pemberton]], co-designer of [[ABC (programming language)|ABC]], the incidental predecessor of [[Python (programming language)|Python]]; contributing author of HyperText Markup Language ([[HTML]])
* [[Alan Perlis]], first [[Turing Award]] recipient, 1966, for ... and compiler construction, [[ALGOL 58]]
* [[Carl Adam Petri]], the IEEE Computer Society 2008 [[Computer Pioneer Award]] for [[Petri net]] theory and then parallel and distributed computing
* [[Benjamin C. Pierce]], for contributions to the theory and practice of programming languages and their type systems, the author of a book on [[type systems]] titled ''[[Types and Programming Languages]]''
* [[Rob Pike]], co-designer of [[Newsqueak]], [[Limbo (programming language)|Limbo]], and [[Go (programming language)|Go]]
* [[Keshav K Pingali]], [[International Parallel and Distributed Processing Symposium#IEEE Computer Society Charles Babbage Award|2023 Computer Society Charles Babbage Award]], for contributions to high-performance compilers and graph computing
* [[Gordon Plotkin]], for [[operational semantics|structural operational semantics]] (SOS) and [[denotational semantics]]; the [[Milner Award|2012 Milner Award]], the ACM SIGPLAN 2010 PL Achievement Award<ref name="SigplanPLAchievement"/>
* [[Amir Pnueli]], the 1996 [[Turing Award]] for seminal work introducing temporal logic into computing science and for outstanding contributions to program and systems verification
* [[Robin Popplestone]], [[COWSEL]] (renamed POP-1), [[POP-2]], [[POP-11]] languages, [[Poplog]] [[Integrated development environment|IDE]]; [[Freddy II]] robot
*[[Cicely Popplewell]], co-designer of software for [[Manchester Mark 1]]
* [[Vaughan Pratt]], developed [[Dynamic logic (modal logic)|dynamic logic]], used in [[formal verification]] of programs, and [[Pratt parsing]], used in his syntax [[CGOL]] for [[Lisp (programming language)|Lisp]]
* [[William Pugh (computer scientist)|William Pugh]], co-author of the [[static code analysis]] tool [[FindBugs]], influential in the development of the [[Java Memory Model]]

==R==
<!-- ONLY ADD A PERSON TO THIS LIST IF THEY ALREADY HAVE AN ARTICLE IN THE ENGLISH WIKIPEDIA. -->
*[[George Radin]], first among equals designing [[PL/I]]
*[[Brian Randell]], in 1964, implemented the [[Algol 60]] [[Whetstone (benchmark)|Whetstone compiler]]<ref>{{cite book
| title=Algol 60 Implementation
| url=http://www.softwarepreservation.org/projects/ALGOL/book/Randell_ALGOL_60_Implementation_1964.pdf
| author1=Brian Randell
| author-link=Brian Randell
| author2=Lawford John Russell
| publisher=[[Academic Press]]
| year=1964
| isbn=0-12-578150-4}}</ref>
* [[John Reif]], the Proteus language and system for the development of parallel applications<ref>{{cite web
|url=https://www.kestrel.edu/people/goldberg/papers/proteus-abstract/ 
|title=The Proteus System for the Development of Parallel Applications
|date=1994
|publisher=Kestrel Institute
|access-date=2022-08-23}}</ref>
* [[Thomas W. Reps]], co-developed the early (1978) [[Integrated Development Environment|IDE]] ''the Cornell Program Synthesizer'',<ref name=TeitelbaumReps>{{cite journal
 |last=Teitelbaum
 |first=T.
 |author2=T. Reps
 |title=The Cornell Program Synthesizer: A syntax-directed programming environment
 |journal=Communications of the ACM
 |volume=24
 |issue=9
 |date=September 1981 
 |pages=563–573
 |doi=10.1145/358746.358755| s2cid=14317073 
|doi-access=free
 }}</ref> co-founded [[GrammaTech]], which developed [[CodeSonar]], ACM SIGPLAN 2017 PL Achievement Award<ref name="SigplanPLAchievement"/>
* [[Mitchel Resnick]], developed the [[visual programming language]] called [[Scratch (programming language)|Scratch]]
* [[John C. Reynolds]], invented [[polymorphic lambda calculus|polymorphic lambda calculus (System F)]], clarified early work on [[continuation]]s, introduced [[defunctionalization]], worked on a [[separation logic]], ACM SIGPLAN 2003 PL Achievement Award<ref name="SigplanPLAchievement"/>
* [[Martin Richards (computer scientist)|Martin Richards]], the IEEE Computer Society 2003 [[Computer Pioneer Award]] for the design and implementation of [[BCPL]] 
* [[Dennis Ritchie]], designer of [[C (programming language)|C]], the 1983 [[Turing Award]]
* [[Douglas T. Ross]], father of the programming language [[APT (programming language)|APT]] for driving [[numerical control]], designed and implemented [[ALGOL X]]
* [[Guido van Rossum]], designer of [[Python (programming language)|Python]]
* [[Barbara G. Ryder]], extensive work on Java and Javascript, e.g.<ref>{{cite conference
|first1= Chesley
|last1= O.C.
|first2= X.
|last2= Ren
|first3= Barbara G.
|last3= Ryder
|author-link3= Barbara G. Ryder
|url=https://ieeexplore.ieee.org/document/1510135
|title=Crisp: a debugging tool for Java programs
|conference=21st IEEE International Conference on Software Maintenance (ICSM'05)
|date=26 September 2005
|pages=712–734
|publisher=IEEE
|doi=10.1109/ICSM.2005.37
|access-date=2022-08-23}}</ref><ref name="ShiyiRyderJavaScript">{{cite conference
|first1= Shiyi
|last1= Wei
|first2= Barbara G.
|last2= Ryder
|author-link2= Barbara G. Ryder
|url=https://drops.dagstuhl.de/opus/volltexte/2015/5244/
|title=Adaptive context-sensitive analysis for JavaScript
|conference=29th European Conference on Object-Oriented Programming (ECOOP 2015)
|year=2015
|volume=37
|pages=712–734
|editor-first1=John Tang
|editor-last1=Boyland
|publisher=Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
|access-date=2022-08-23}}</ref>

==S==
<!-- ONLY ADD A PERSON TO THIS LIST IF THEY ALREADY HAVE AN ARTICLE IN THE ENGLISH WIKIPEDIA. -->
* [[Klaus Samelson]], pioneer in [[compiler]]s for [[programming language]]s and [[Stack (abstract data type)|push-pop stack]] algorithms, [[Algol 60|Algol 60 Committee]], see also<ref name="BauerSamelson"/>
* [[Jean Sammet]], developed [[FORMAC]], one of the developers of [[COBOL]]
* [[Carl Sassenrath]], designer and implementor of [[Rebol]]
* [[Fred B. Schneider]], defined [[liveness]] (as opposed to [[Safety and liveness properties|safety]]), contributions to assertional methods for developing concurrent and distributed programs<ref>{{Cite book
 |title=On concurrent programming
 |last=Schneider
 |first=Fred B.
 |author-link=Fred B. Schneider
 |publisher=[[Springer Verlag]], Berlin, Heidelberg
 |date=September 1997
 |doi=10.1007/978-1-4612-1830-2
 |series=Texts in Computer Science
 |isbn=978-0-387-94942-0
 |pages=473
|s2cid=9980317
}}</ref>
* [[Jacob T. Schwartz]], designer of [[SETL]] and [[Artspeak]]
* [[Ilya Sergey]], for the language Scilla<ref name="Scilla">{{Cite journal
|last1=Sergey
|first1=Ilya
|last2=Nagaraj
|first2=Vaivaswatha
|last3=Johannsen
|first3=Jacob
|last4=Kumar
|first4=Amrit
|last5=Trunov
|first5=Anton
|last6=Hao
|first6=Ken Chan Guan
|title=Safer smart contract programming with Scilla
|pages=1–30
|date=October 2019
|journal=Proceedings of the ACM on Programming Languages (PACMPL)
|editor1=Stephen N. Freund
|editor2=Eran Yahav
|volume=3
|issue=OOPSLA
|publisher=[[Association for Computing Machinery|ACM]]
|doi=10.1145/3360611
|s2cid=203577198
|doi-access=free
}}</ref> and work on {{cite web 
|url=https://kuleuven.limo.libis.be/discovery/fulldisplay?docid=lirias1655948&context=SearchWebhook&vid=32KUL_KUL:Lirias&search_scope=lirias_profile&tab=LIRIAS&adaptor=SearchWebhook&lang=en 
|title=Operational Aspects of Type Systems}}
* [[Ravi Sethi]], best known as co-author of the [[Compilers: Principles, Techniques, and Tools|Dragon Book]], 1996 [[ACM Fellow]] for contributions to compiler technology, [[programming language]]s, ...
* [[Viral B. Shah]], the 2019 [[J. H. Wilkinson Prize for Numerical Software]] for the co-development of the language [[Julia (programming language)|Julia]]
* [[Brian Cantwell Smith]], introduced the notion of [[reflective programming]] in [[programming language]]s
* [[David Canfield Smith]], co-developer of the [[visual programming language]] named [[Stagecast Creator]] based on the concept of [[programming by example]]
* [[Mary Lou Soffa]], research on [[compiler]]s and [[program optimization]] and more, [[Ken Kennedy Award|2012 Ken Kennedy Award]]
* [[Richard Stallman]], the 2015 [[ACM Software System Award]] for the [[GNU Compiler Collection| GNU Compiler Collection (GCC)]]
* [[Guy L. Steele, Jr.]], co-designer of [[Scheme (programming language)|Scheme]] and designer of [[Fortress (programming language)|Fortress]], ACM SIGPLAN 1997 PL Achievement Award<ref name="SigplanPLAchievement"/>
* [[Alexander Stepanov]], advocate of [[generic programming]], main designer and implementer of the C++ [[Standard Template Library]]
*[[Christopher Strachey]], co-designer of [[CPL (programming language)]], father of [[Denotational semantics]]
* [[Bjarne Stroustrup]], the 2015 AITO [[Dahl–Nygaard Prize]] for the design, implementation, and evolution of [[C++]] and [[IEEE Computer Society]] 2018 Computer Pioneer Award
* [[Gerald Jay Sussman]], co-designer of [[Scheme (programming language)|Scheme]]
* [[Bert Sutherland]], developed a two-dimensional [[programming language]] for manipulating graphical data,<ref>{{cite thesis 
|last=Sutherland
|first=William Robert
|author-link=Bert Sutherland
|date=January 1966
|title=The on-line graphical specification of computer procedures
|publisher=[[MIT]]
|hdl=1721.1/13474
|type=PhD thesis
|url=https://dspace.mit.edu/handle/1721.1/13474
|access-date=2022-08-25}}</ref> participated in the development of [[Smalltalk]] and [[Java (programming language)|Java]]
* [[Don Syme]], creator of [[F Sharp (programming language)|F#]]

==T==
<!-- ONLY ADD A PERSON TO THIS LIST IF THEY ALREADY HAVE AN ARTICLE IN THE ENGLISH WIKIPEDIA. -->
* [[Tim Teitelbaum]], co-developed the early (1978) [[Integrated Development Environment|IDE]] ''the Cornell Program Synthesizer'',<ref name=TeitelbaumReps/> co-founded [[GrammaTech]], which developed [[CodeSonar]], which performs [[static analysis]] on [[C (programming language)|C]], [[C++]], [[C Sharp (programming language)|C#]], and [[Java (programming language)|Java]]
* [[Warren Teitelman]], for [[BBN LISP]], the 1992 [[ACM Software System Award]] for the [[Integrated development environment|IDE]] named [[Interlisp]]
* [[Ken Thompson]], designer of [[B (programming language)|B]], co-designer of [[Go (programming language)|Go]], [[Turing Award]] 1983
* [[Simon Thompson (professor)|Simon Thompson]], [[functional programming]] research, textbooks; designs [[Cardano (blockchain platform)|Cardano]] [[domain-specific language]]s: [[Cardano (blockchain platform)#Decentralized finance|Marlowe]]
* [[Mads Tofte]], co-author of the Definition of [[Standard ML]], [[region inference]], POPL 1994 Most Influential Paper Award<ref name="POPLpaperAward"/>
* [[Emina Torlak]], received the 2021 ACM [[SIGPLAN]] Robin Milner Young Researcher Award for leading work in automated verification<ref name="MilnerYoungResearcher">{{cite web
|url=https://www.sigplan.org/Awards/Milner/ 
|title=Robin Milner Young Researcher Award
|year=2021
|publisher=[[SIGPLAN]]
|access-date=2022-08-23}}</ref>
* [[Alan Turing]], for the [[Turing machine]]; his work is so important that the [[Turing Award]], the "Nobel Prize of Computing," bears his name.
* [[David A. Turner]], designed and implemented [[SASL (programming language)|SASL]], [[Kent Recursive Calculator|KRC]], and [[Miranda (programming language)|Miranda]], member of [[IFIP Working Group 2.1]] on Algorithmic Languages and Calculi

==U==
* [[Jeffrey Ullman]], the 2020 [[Turing Award]] for fundamental algorithms and theory underlying programming language implementation and for synthesizing these results, highly influential books.
* [[David Ungar]], the 2009 AITO [[Dahl–Nygaard Prize]], his work on [[Self (programming language)|Self]] has had a profound effect on the field by introducing the advanced adaptive compiling technology that made the widespread industrial use of Java possible

==V==
* [[Martin Vechev]], developed Silq, the first high-level PL for quantum computing with a strong static type system, the 2019 ACM [[SIGPLAN]] Robin Milner Young Researcher Award<ref name="MilnerYoungResearcher"/>
* [[John Vlissides]], one of the [[Design Patterns|Gang of Four]], the 2006 AITO [[Dahl–Nygaard Prize]],  for ... their book ''[[Design Patterns (book)|Design Patterns: ...]]'', ACM SIGPLAN 2005 PL Achievement Award<ref name="SigplanPLAchievement"/>
* [[Victor A. Vyssotsky]], co-developed the pioneer dataflow language BLODI (BLOck DIagram). See [[Dataflow programming#History|Dataflow programming]]

==W==
<!-- ONLY ADD A PERSON TO THIS LIST IF THEY ALREADY HAVE AN ARTICLE IN THE ENGLISH WIKIPEDIA. -->
* [[Eiiti Wada]], member of a team that designed [[ALGOL N]] as a proposed successor to [[ALGOL 60]], but it was not chosen for what became [[ALGOL 68]]; he later became a member of [[IFIP Working Group 2.1]]
* [[Philip Wadler]], co-designer of [[Haskell]], involved in adding [[Generic programming|generic]] types to [[Java (programming language)|Java 5.0]], POPL 1993 Most Influential Paper Award<ref name="POPLpaperAward"/>
* [[Larry Wall]], designer of [[Perl]]
* [[Mitchell Wand]] works on [[semantics]] of [[programming language]]s, co-author of [[Essentials of Programming Languages]]
* [[John Warnock]], the 1989 [[ACM Software System Award]] for [[PostScript]]
* [[David H. D. Warren|David Warren]], wrote the first compiler for [[Prolog]], designed the [[Warren Abstract Machine]] (WAM), the ''de facto'' standard target for Prolog compilers
* [[Mark Wegman]], co-invented the [[static single-assignment form]], the ACM SIGPLAN 2006 PL Achievement Award<ref name="SigplanPLAchievement"/>
* [[Peter Wegner]], seminal work with [[Luca Cardelli|Cardelli]] in OO programming: ''On Understanding Types''<ref>{{Cite journal |last1=Cardelli |first1=Luca |author-link1=Luca Cardelli |last2=Wegner |first2=Peter |author-link2=Peter Wegner |doi=10.1145/6041.6042 |title=On understanding types, data abstraction, and polymorphism |journal=[[ACM Computing Surveys]] |issn=0360-0300 |volume=17 |issue=4 |pages=471–523 |date=December 1985 |url=http://lucacardelli.name/Papers/OnUnderstanding.A4.pdf |citeseerx=10.1.1.117.695 |s2cid=2921816}}</ref>
* [[Peter J. Weinberger]], contributed to the [[AWK programming language]] and the Fortran compiler [[f77]]
* [[Stephanie Weirich]] work on type inference has been incorporated into the [[Glasgow Haskell Compiler]]; the 2016 ACM [[SIGPLAN]] Robin Milner Young Researcher Award<ref name="MilnerYoungResearcher"/>
* [[David J. Wheeler]], the IEEE Computer Society 1985 [[Computer Pioneer Award]] for [[assembly language]] programming
* [[Jennifer Widom]], for her PhD thesis on trace-based network proof systems<ref>{{cite thesis 
|last=Widom
|first=Jennifer
|author-link=Jennifer Widom
|date=1987
|title=Trace-based network proof systems: expressiveness and completeness (concurrency)
|type=PhD thesis 
|publisher=Cornell University
|url=https://ecommons.cornell.edu/handle/1813/6673 
|access-date=21 August 2022
}}</ref>
* [[Adriaan van Wijngaarden]], a designer of [[ALGOL 60]] and [[ALGOL 68]], developed the two-level [[Van Wijngaarden grammar]], expounded [[continuation]]s
* [[Jeannette Wing]], early work included ''A behavioral notion of subtyping'',<ref>{{cite journal 
|last1=Liskov
|first1=Barbara H.
|author-link1=Barbara Liskov
|last2=Wing
|first2=Jeannette
|author-link2=Jeannette Wing
|title=A behavioral notion of subtyping
|journal=[[ACM Transactions on Programming Languages and Systems]]
|volume=16
|issue=6
|date=November 1994
|pages=1811–1841
|doi=10.1145/197320.197383 |s2cid=999172
|doi-access=free
}}</ref> influential in the field as Corporate Vice President of [[Microsoft Research]] and later as [[Columbia University]] executive vice president for research
* [[Niklaus Wirth]], the 1984 [[Turing Award]] for developing a sequence of innovative computer languages, [[Euler (programming language)|Euler]], [[ALGOL W]], [[Pascal (programming language)|Pascal]], [[Modula]], and [[Oberon (programming language)|Oberon]] 
* [[Stephen Wolfram]], creator of [[Mathematica]] and [[Wolfram Language]]
* [[Mike Woodger]], influential in the design of software and languages, including [[ALGOL 60]] and [[Ada (programming language)|Ada]]<ref name="yates10">{{cite news 
|url=http://www.computerconservationsociety.org/resurrection/res50.htm#d |first=David |last=Yates 
|title=Pioneer Profile: Michael Woodger 
|journal=Computer Resurrection – the Bulletin of the Computer Conservation Society 
|volume=50 |date=Spring 2010}}</ref>
* [[Philip Woodward]], designed [[CORAL]] 66; his computer team developed the first implementation of [[ALGOL 68]], [[ALGOL 68-R]]
* [[William Wulf]], co-designer of [[BLISS]], wrote an [[The Design of an Optimizing Compiler|optimizing compiler]] for it, co-founded the compiler technology company [[Tartan, Inc.]]

==Y==
<!-- ONLY ADD A PERSON TO THIS LIST IF THEY ALREADY HAVE AN ARTICLE IN THE ENGLISH WIKIPEDIA. -->
* [[Katherine Yelick]], known for her work in [[partitioned global address space]] languages, including co-inventing [[Unified Parallel C]]
* [[Andrey Yershov]], theory, design, and implementation of programming languages (ALPHA, BETA, [[Rapira]]),<ref>
{{cite web
|title=Andrei Petrovich Ershov
|publisher=IEEE Computer Society
|url=https://history.computer.org/pioneers/pdfs/E/Ershov.pdf}}</ref> [[partial evaluation]]
* [[Nobuo Yoneda]], member of a team that designed [[ALGOL N]] as a proposed successor to [[ALGOL 60]], but it was not chosen for what became [[ALGOL 68]]; a member of [[IFIP Working Group 2.1]]
* [[Akinori Yonezawa]], the 2008 AITO [[Dahl–Nygaard Prize]] for "his overall contribution to both theory and practice of concurrent OO languages...", designer [[Actor-Based Concurrent Language#ABCL.2FR|ABCL/R]], a [[Reflective programming|reflective]] subset of the first [[Concurrent computing|concurrent]] OO programming language ABCL/1

==Z==
<!-- ONLY ADD A PERSON TO THIS LIST IF THEY ALREADY HAVE AN ARTICLE IN THE ENGLISH WIKIPEDIA. -->
* [[Marvin Zelkowitz]], PL features to aid in program development and debugging,  tests for runtime correctness of executable code<ref name="ZelkowitzReversible">{{Cite journal
 |last1=Zelkowitz 
 |first1=Marvin V. 
 |author-link1=
 |author-mask1=1
 |title=Reversible execution 
 |journal=[[Communications of the ACM|CACM]] 
 |volume=16 
 |issue=9
 |pages=566
 |date=September 1973 
 |access-date=
 |doi=10.1145/362342.362360
 |s2cid=24277687 
 |doi-access=free
}}</ref><ref name="ZelkowitzImplementation">{{Cite journal
 |last1=Zelkowitz 
 |first1=Marvin V. 
 |author-link1=
 |author-mask1=1
 |title=Implementation of language enhancements 
 |journal=Computer Languages 
 |volume=6 
 |issue=3–4
 |pages=139–153
 |date=January 1981
 |access-date=
 |doi=10.1016/0096-0551(81)90026-6
 |doi-access=
}}</ref>
* [[Heinz Zemanek]], managed the [[IBM Laboratory Vienna]], was crucial in its developing a formal definition of [[PL/I]]
* [[Jaap A. Zonneveld]], he and [[Edsger W. Dijkstra]] wrote the first [[ALGOL 60]] compiler

==See also==
* [[Programming language]]
* [[List of computer scientists]]
* [[List of programmers]]

==References==
{{reflist}}

==External links==
*[https://www.cs.cmu.edu/~mleone/language-people.html Language People]

{{DEFAULTSORT:Programming language researchers}}
[[Category:Programming language researchers| ]]
[[Category:Programming language designers| ]]
[[Category:Lists of computer scientists]]