kids encyclopedia robot

Philip Wadler facts for kids

Kids Encyclopedia Facts
Quick facts for kids
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 69)
Citizenship American
Alma mater
Known for
  • Theory of functional programming, monads
  • Contributions to languages: Haskell, XQuery
  • Created language Orwell
  • Helped add generic types to Java 5
  • Wrote "Theorems for free!
Awards
  • Fellow of the Royal Society of Edinburgh (2005)
  • ACM Fellow (2007)
  • ACM Distinguished Service Award (2016)
  • Fellow of the Royal Society (2023)
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

Philip Lee Wadler, born on April 8, 1956, is an American computer scientist who lives in the UK. He is famous for helping to design programming languages and understanding how they work. He is a professor of theoretical computer science at the University of Edinburgh.

Wadler has done important work on functional programming, which is a way of writing computer code. He also helped create the Haskell programming language and the XQuery language. In 1984, he made his own language called Orwell. He also helped add new features, called generic types, to Java 5.0.

Education and Early Career

Studying Computer Science

Phil Wadler studied mathematics at Stanford University, earning his first degree in 1977. He then went to Carnegie Mellon University for his master's degree in computer science, which he finished in 1979. He continued his studies at Carnegie Mellon, earning his PhD in computer science in 1984. His PhD project was about making computer programs more efficient.

Working at Universities and Labs

From 1983 to 1987, Wadler was a researcher at Oxford University. He then worked as a professor at the University of Glasgow from 1987 to 1996. After that, he joined Bell Labs and later Avaya Labs, which are research companies. Since 2003, he has been a professor at the University of Edinburgh.

Research and Contributions

Understanding Programming Languages

Wadler's main interest is in programming languages. He studies how they are designed and how they can be made better. He has explored how to use "monads" in functional programming, which are special tools that help manage complex tasks in code.

Developing New Languages and Features

At the University of Edinburgh, Wadler is a professor of theoretical computer science. Around 2006, he worked on a new functional language called Links. This language was designed for building web applications, which are programs that run on the internet. He has also guided many students who were getting their PhDs.

Work with Blockchain Technology

Since 2018, Wadler has also been a senior researcher at Input Output Global (IOHK). This company works on blockchain technology, like the Cardano platform. He has helped develop Plutus, which is a special language for writing "smart contracts" on Cardano. Smart contracts are like digital agreements that run automatically. He also worked on other parts of Cardano, such as how it handles digital money and tokens.

Awards and Recognition

Honors for His Work

In 2003, Wadler received an award for a very important paper he wrote ten years earlier. This paper, written with Simon Peyton Jones, was about combining different programming styles. In 2005, he was chosen as a Fellow of the Royal Society of Edinburgh. This is a special honor for scientists in Scotland.

Becoming a Fellow

In 2007, he became a fellow of the Association for Computing Machinery (ACM). This is a big honor in the world of computer science. Most recently, in 2023, he was elected a Fellow of the Royal Society. This is one of the oldest and most respected scientific honors in the world.

kids search engine
Philip Wadler Facts for Kids. Kiddle Encyclopedia.