Philip Wadler

Last updated

Phil Wadler
FRS FRSE
Wadler2.JPG
Wadler before a lecture at the University of Edinburgh
Born
Philip Lee Wadler

(1956-04-08) April 8, 1956 (age 68)
CitizenshipAmerican
Alma mater
Known for
Awards
Scientific career
Fields Computer science, programming languages
Institutions
Thesis Listlessness is Better than Laziness: An Algorithm that Transforms Applicative Programs to Eliminate Intermediate Lists  (1984)
Doctoral advisor Nico Habermann
Website homepages.inf.ed.ac.uk/wadler/ OOjs UI icon edit-ltr-progressive.svg

Philip Lee Wadler (born April 8, 1956) is a UK-based American computer scientist known for his contributions to programming language design and type theory. He is holds the position of Personal Chair of theoretical computer science at the Laboratory for Foundations of Computer Science at the School of Informatics, University of Edinburgh. He has contributed to the theory behind functional programming [1] and the use of monads; and the designs of the purely functional language Haskell [2] and the XQuery declarative query language. In 1984, he created the Orwell language. Wadler was involved in adding generic types to Java 5.0. [3] He is also author of "Theorems for free!", [4] a paper that gave rise to much research on functional language optimization (see also Parametricity). [5]

Contents

Education

Wadler received a Bachelor of Science degree in mathematics from Stanford University in 1977, and a Master of Science degree in computer science from Carnegie Mellon University in 1979. [6] He completed his Doctor of Philosophy in computer science at Carnegie Mellon University in 1984. His thesis was entitled "Listlessness is better than laziness" and was supervised by Nico Habermann. [7] [8]

Research and career

Wadler's research interests [9] [10] [11] are in programming languages. [3] [12]

Wadler was a research fellow at the Programming Research Group (part of the Oxford University Computing Laboratory) and St Cross College, Oxford during 1983–87. [6] He was progressively lecturer, reader, and professor at the University of Glasgow from 1987 to 1996. Wadler was a member of technical staff at Bell Labs, Lucent Technologies (1996–99) and then at Avaya Labs (1999–2003). Since 2003, he has been professor of theoretical computer science in the School of Informatics at the University of Edinburgh. [13]

Wadler was editor of the Journal of Functional Programming from 1990 to 2004.

Since 2003, Wadler has been a professor of theoretical computer science at the Laboratory for Foundations of Computer Science at the University of Edinburgh and is the chair of theoretical computer science. [14] In 2006, he was working on a new functional language for writing web applications, called Links. [15] [16] He has supervised many doctoral students to completion. [8] [17] [18] [19] He is also a member of the university's Blockchain Technology Laboratory. [20] [21] Wadler has a h-index of 72 with 26,864 citations at Google Scholar. [22]

Since 2018 Wadler has also been a senior research fellow and area leader for programming languages at IOHK (now Input Output Global), the blockchain engineering company developing Cardano. [23] He has contributed to work on Plutus, a Turing-complete smart contract language for Cardano written in Haskell; the UTXO ledger system, native tokens, and System F in Agda. [24] [25]

Awards and honours

In 2003, Wadler was given the award for the most influential paper from ten years earlier by the Symposium on Principles of Programming Languages. The award cited "Imperative functional programming", a paper written jointly with Simon Peyton Jones in 1993. [6] [26] In 2005, he was elected Fellow of the Royal Society of Edinburgh (FRSE). [27] In 2007, he was inducted as a fellow by the Association for Computing Machinery. [28] He was elected Fellow of the Royal Society (FRS) in 2023. [29] [30]

Related Research Articles

<span class="mw-page-title-main">School of Informatics, University of Edinburgh</span> Higher education institution

The School of Informatics is an academic unit of the University of Edinburgh, in Scotland, responsible for research, teaching, outreach and commercialisation in informatics. It was created in 1998 from the former department of artificial intelligence, the Centre for Cognitive Science and the department of computer science, along with the Artificial Intelligence Applications Institute (AIAI) and the Human Communication Research Centre.

Hope is a small functional programming language developed in the 1970s at the University of Edinburgh. It predates Miranda and Haskell and is contemporaneous with ML, also developed at the University. Hope was derived from NPL, a simple functional language developed by Rod Burstall and John Darlington in their work on program transformation. NPL and Hope are notable for being the first languages with call-by-pattern evaluation and algebraic data types.

<span class="mw-page-title-main">Gordon Plotkin</span> Computer Scientist

Gordon David Plotkin is a theoretical computer scientist in the School of Informatics at the University of Edinburgh. Plotkin is probably best known for his introduction of structural operational semantics (SOS) and his work on denotational semantics. In particular, his notes on A Structural Approach to Operational Semantics were very influential. He has contributed to many other areas of computer science.

<span class="mw-page-title-main">John C. Reynolds</span> American computer scientist (1935–2013)

John Charles Reynolds was an American computer scientist.

<span class="mw-page-title-main">Simon Peyton Jones</span> British computer scientist (born 1958)

Simon Peyton Jones is a British computer scientist who researches the implementation and applications of functional programming languages, particularly lazy functional programming.

In computer science, a type class is a type system construct that supports ad hoc polymorphism. This is achieved by adding constraints to type variables in parametrically polymorphic types. Such a constraint typically involves a type class T and a type variable a, and means that a can only be instantiated to a type whose members support the overloaded operations associated with T.

Luca Andrea Cardelli is an Italian computer scientist who is a research professor at the University of Oxford, UK. Cardelli is well known for his research in type theory and operational semantics. Among other contributions, in programming languages, he helped design the language Modula-3, implemented the first compiler for the (non-pure) functional language ML, defined the concept of typeful programming, and helped develop the experimental language Polyphonic C#.

Bluespec, Inc. is an American semiconductor device electronic design automation company based in Framingham, Massachusetts, and co-founded in June 2003 by computer scientists Arvind Mithal, professor of the Massachusetts Institute of Technology (MIT), and Joe Stoy of Oxford University. Arvind had formerly founded Sandburst in 2000, which specialized in producing chips for 10 Gigabit Ethernet (10GE) routers, for this task.

In functional programming, a generalized algebraic data type is a generalization of a parametric algebraic data type (ADT).

Rodney Martineau "Rod" Burstall is a British computer scientist and one of four founders of the Laboratory for Foundations of Computer Science at the University of Edinburgh.

<span class="mw-page-title-main">John Hughes (computer scientist)</span>

R. John M. Hughes, born 15 July 1958, is a computer scientist and professor in the department of Computing Science at the Chalmers University of Technology.

In the theory of programming languages in computer science, deforestation is a program transformation to eliminate intermediate lists or tree structures that are created and then immediately consumed by a program.

Arvind Mithal, known mononymously as Arvind, was an Indian computer scientist, the Johnson Professor of Computer Science and Engineering in the Computer Science and Artificial Intelligence Laboratory (CSAIL) at the Massachusetts Institute of Technology (MIT). He was a Fellow of the Institute of Electrical and Electronics Engineers (IEEE) and the Association for Computing Machinery (ACM). He was also elected as a member into the National Academy of Engineering in 2008 for contributions to dataflow and multithread computing and the development of tools for the high-level synthesis of digital electronics hardware.

Haskell is a general-purpose, statically-typed, purely functional programming language with type inference and lazy evaluation. Designed for teaching, research, and industrial applications, Haskell has pioneered a number of programming language features such as type classes, which enable type-safe operator overloading, and monadic input/output (IO). It is named after logician Haskell Curry. Haskell's main implementation is the Glasgow Haskell Compiler (GHC).

<span class="mw-page-title-main">Paul Hudak</span> American computer scientist

Paul Raymond Hudak was an American musician and professor of computer science at Yale University who was best known for his involvement in the design of the programming language Haskell, and for several textbooks on Haskell and computer music. He was a chair of the department, and was also master of Saybrook College. He died on April 29, 2015, of leukemia.

<span class="mw-page-title-main">Cardano (blockchain platform)</span> Public blockchain platform

Cardano is a public blockchain platform. It is open-source and decentralized, with consensus achieved using proof of stake. It can facilitate peer-to-peer transactions with its internal cryptocurrency, ADA.

Aggelos Kiayias is a Greek cryptographer and computer scientist, currently a professor at the University of Edinburgh and the Chief Science Officer at Input Output Global, the company behind Cardano.

Simon Thompson is a research computer scientist, author, and an emeritus professor of the University of Kent, specializing in logic and computation. His research into functional programming covers software verification and validation, programming tool-building, and software testing for the functional programming languages Erlang, Haskell, and OCaml. He is the author of books on data type theory, Miranda, Haskell, and Erlang, and runs a massive open online course about Erlang for FutureLearn.

References

  1. ↑ "Philip Wadler: Biography". O'Reilly Media . Retrieved March 20, 2017.
  2. ↑ Hudak, P.; Johnsson, T.; Kieburtz, D.; Nikhil, R.; Partain, W.; Peterson, J.; Peyton Jones, S.; Wadler, P.; Boutel, B.; Fairbairn, J.; Fasel, J.; Guzmán, M. A. M.; Hammond, K.; Hughes, J. (1992). "Report on the programming language Haskell". ACM SIGPLAN Notices. 27 (5): 1. doi:10.1145/130697.130699. S2CID   15516611.
  3. 1 2 Wadler, Philip; Naftalin, Maurice (2007). Java generics and collections. Sebastopol, CA: O'Reilly. ISBN   978-0-596-52775-4.
  4. ↑ Wadler, P. (1989). "Theorems for free!". Proceedings of the fourth international conference on Functional programming languages and computer architecture – FPCA '89. p. 347. doi:10.1145/99370.99404. ISBN   978-0897913287. S2CID   5513047.
  5. ↑ "Professor Philip Wadler: Functional Programming In Finance" on YouTube
  6. 1 2 3 "Philip Wadler: CV" (PDF). Homepages.inf.ed.ac.uk. Retrieved March 20, 2017.
  7. ↑ Wadler, Philip Lee (1984). Listlessness is Better than Laziness: An Algorithm that Transforms Applicative Programs to Eliminate Intermediate Lists (PhD thesis). Carnegie Mellon University. OCLC   123317612. ProQuest   303342238.(subscription required)
  8. 1 2 Philip Wadler at the Mathematics Genealogy Project
  9. ↑ Philip Wadler at DBLP Bibliography Server OOjs UI icon edit-ltr-progressive.svg
  10. ↑ Philip Wadler publications indexed by Google Scholar OOjs UI icon edit-ltr-progressive.svg
  11. ↑ Philip Wadler publications indexed by the Scopus bibliographic database. (subscription required)
  12. ↑ Bird, Richard Miller; Wadler, Philip (1998). Introduction to functional programming using Haskell. New York: Prentice Hall Europe. ISBN   978-0-13-484346-9.
  13. ↑ "Philip Wadler". Inf.ed.ac.uk. Retrieved March 20, 2017.
  14. ↑ "Philip Wadler". inf.ed.ac.uk. the University of Edinburgh. n.d. Retrieved February 5, 2019.
  15. ↑ "Links". Archived from the original on June 17, 2006. Retrieved June 22, 2006.
  16. ↑ "Official website for Links lang".
  17. ↑ Hutchins, DeLesley (2009). Pure subtype systems: a type theory for extensible software. ethos.bl.uk (PhD thesis). University of Edinburgh. hdl:1842/3937. OCLC   781103005. Open Access logo PLoS transparent.svg
  18. ↑ Lester, David (1988). Combinator graph reduction: A congruence and its applications. bodleian.ox.ac.uk (DPhil thesis). University of Oxford. ISBN   9780902928558. OCLC   937098100.
  19. ↑ Yallop, Jeremy (2010). Abstraction for web programming. ethos.bl.uk (PhD thesis). University of Edinburgh. hdl:1842/4683. OCLC   827264319. Open Access logo PLoS transparent.svg
  20. ↑ "A list of people involved with the Blockchain Technology Lab". ed.ac.uk. the University of Edinburgh. December 14, 2018. Retrieved February 5, 2019.
  21. ↑ Wadler, Philip (n.d.). "Philip Wadler's home page". homepages.inf.ed.ac.uk. home pages. Retrieved February 5, 2019.
  22. ↑ "Philip Wadler". scholar.google.co.uk. Google Scholar. n.d. Retrieved February 5, 2019.
  23. ↑ Wall, Jeremy (December 12, 2018). "IOHK Launches 2 New Tools For Smart Contract Development". Invest in Blockchain. Retrieved March 25, 2020.
  24. ↑ Wadler, Philip (December 11, 2018). "Smart contracts language for Cardano launches at PlutusFest". Archived from the original on March 17, 2020. Retrieved June 11, 2003.
  25. ↑ "Prof Philip Wadler, Research papers - IOHK Research". IOHK. Retrieved June 11, 2023.
  26. ↑ Peyton Jones, S. L.; Wadler, P. (1993). "Imperative functional programming". Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages – POPL '93. p. 71. CiteSeerX   10.1.1.53.2504 . doi:10.1145/158511.158524. ISBN   978-0897915601. S2CID   9751593.
  27. ↑ "Professor Philip Wadler". rse.org.uk. Royal Society of Edinburgh.
  28. ↑ ACM fellowship award page
  29. ↑ Quinn, Anthony (July 14, 2023). "Wadler follows the giants of science" . Retrieved August 4, 2023.
  30. ↑ "Philip Wadler". Royalsociety.org. Retrieved May 26, 2023.

Commons-logo.svg Media related to Philip Wadler at Wikimedia Commons

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.