| Notes |
Research and career
Wadler's research interests[14][3][15] are in programming languages.[10][16]
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.[12] 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.[17]
Wadler was editor of the Journal of Functional Programming from 1990 to 2004. Wadler is currently[when?] working on a new functional language designed for writing web applications, called Links.[18] He has supervised numerous doctoral students to completion.[4][5][6][7]
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.[19] He is also a member of the university's Blockchain Technology Laboratory.[20][21] He has a h-index of 70 with 24,447 citations at Google Scholar.[22] As of December 2018 Wadler was area leader for programming languages at IOHK, a blockchain development firm.[23] |