Skip to content


Fellows Directory

Philip Wadler

Philip Wadler

Professor Philip Wadler FRS


Elected: 2023





Philip Wadler likes to introduce theory into practice and practice into theory. Theory into practice: his work adding generics to Java derives from quantifiers in second-order logic. Practice into theory: Featherweight Java specifies the core of Java in less than one page of rules. He is a principal designer of the Haskell programming language, contributing to its two main innovations, type classes and monads.

Wadler is Professor of Theoretical Computer Science at the University of Edinburgh and Senior Research Fellow at IOHK. He is an ACM Fellow, a Fellow of the Royal Society of Edinburgh, and past chair of ACM SIGPLAN. He is a recipient of the SIGPLAN Distinguished Service Award and the POPL Most Influential Paper Award. Previously, he worked or studied at Stanford, Xerox Parc, Carnegie-Mellon University, Oxford, Chalmers, Glasgow, Bell Labs, and Avaya Labs, and visited as a guest professor in Copenhagen, Sydney, Paris, and Rio de Janiero. He is co-author of four textbooks and has delivered invited talks in locations ranging from Aizu to Zurich.

Professional positions

Professor of Theoretical Computer Science, Laboratory for Foundations of Computer Science, University of Edinburgh

Interest and expertise

Subject groups

  • Computer sciences
    • Programming languages and verification
Was this page useful?
Thank you for your feedback
Thank you for your feedback. Please help us improve this page by taking our short survey.