Crypto Personalities Series | Part 1 | Philip Wadler - Area Leader of Programming Languages ~ IOHK
Philip Wadler is an American computer scientist. He is well known for his contributions to functional programming, design of Haskell programming language.
He has obtained his education his bachelors in Mathematics from Stanford University and masters from Carnegie Mellon University. He obtained his PhD in computer science from Carnegie Mellon University. His thesis was Listlenssness is better than laziness: Lazy evaluation and garbage collection at compile-time
His complete curriculum vitae can be seen here
Achievements:
- SIGPLAN Distinguished Service Award, 2016.
- ACM Fellow, 2007.
- Fellow Royal Society of Edinburgh, 2005.
- Wolfon-Royal Society Research Merit Award, 2004–2009.
- EUSA Teaching Awards, Overall High Performer, runner up, 2009.
- Most Influential POPL Paper Award 2003 (for 1993), Imperative functional programming, by Simon Peyton Jones and Philip Wadler.
Citations on Google Scholar:
He is a distinguished scholar who has a h index of 67, and an i-10 index of with more than 23,000 citations to his work according to his profile on Google Scholar.
He is currently working on Cardano project as part of Input Output Hong Kong (IOHK) team, where he is the Area Leader for Programming Languages division.
Please watch his brief video introduction about the project
<iframe width="560" height="315" src="
His addition to the team of Cardano makes it an impeccable project. Though it is hard to develop a protocol based on Functional programming language from the ground up, he believes it is necessary to do so given that this protocol will be handling currency transactions and needs high assurance.
He is currently working on developing plutus core programming language for Cardano, which is coming as part of Goguen release.
Congratulation @cardanofan your post resteemed completed.
