Logo
facts about philip wadler.html

16 Facts About Philip Wadler

facts about philip wadler.html1.

Philip Lee Wadler was born on April 8,1956 and is a UK-based American computer scientist known for his contributions to programming language design and type theory.

2.

Philip Wadler 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.

3.

Philip Wadler has contributed to the theory behind functional programming and the use of monads; and the designs of the purely functional language Haskell and the XQuery declarative query language.

4.

Philip 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.

5.

Philip Wadler completed his Doctor of Philosophy in computer science at Carnegie Mellon University in 1984.

6.

Philip Wadler's thesis was entitled "Listlessness is better than laziness" and was supervised by Nico Habermann.

7.

Philip Wadler was progressively lecturer, reader, and professor at the University of Glasgow from 1987 to 1996.

8.

Philip Wadler was a member of technical staff at Bell Labs, Lucent Technologies and then at Avaya Labs.

9.

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

10.

Since 2003, Philip 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.

11.

Philip Wadler is a member of the university's Blockchain Technology Laboratory.

12.

Philip Wadler has a h-index of 72 with 26,864 citations at Google Scholar.

13.

Since 2018 Philip Wadler has been a senior research fellow and area leader for programming languages at IOHK, the blockchain engineering company developing Cardano.

14.

Philip Wadler 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.

15.

In 2003, Philip Wadler was given the award for the most influential paper from ten years earlier by the Symposium on Principles of Programming Languages.

16.

Philip Wadler was elected Fellow of the Royal Society in 2023.