IOHK | Prof. Philip Wadler, area leader, programming languages.
Channel: Input Output
Date: 2017-12-24

Developing Cardano is no small feat. There is no other project that has ever been built to these parameters, combining peer reviewed cryptographic research with an implementation in highly secure Haskell code. This is not the copy and paste code seen in so many other blockchains. Instead, Cardano was designed with input from a large global team including leading experts and professors in the fields of computer programming languages, network design and cryptography. We are extremely proud of Cardano, which required a months-long meticulous and painstaking development process by our talented engineers.

Read Prof. Wadler's latest blog on Simplicity and Michelson here:
https://iohk.io/blog/simplicity-and-michelson/

Learn more about Plutus Core here: https://iohk.io/research/papers/#JT5XKNBP

An Ontology for Smart Contracts here:
https://iohk.io/research/papers/#QCNR6SCZ

Philip Wadler is Professor of Theoretical Computer Science at the University of Edinburgh and Senior Research Fellow at IOHK. He is an ACM Fellow and a Fellow of the Royal Society of Edinburgh, past chair of ACM SIGPLAN, past holder of a Royal Society-Wolfson Research Merit Fellowship, winner of the SIGPLAN Distinguished Service Award, and a winner of the POPL Most Influential Paper Award. Previously, he worked or studied at Stanford, Xerox Parc, CMU, Oxford, Chalmers, Glasgow, Bell Labs, and Avaya Labs, and visited as a guest professor in Copenhagen, Sydney, and Paris. He has an h-index of 66 with more than 20,000 citations to his work, according to Google Scholar. He contributed to the designs of Haskell, Java, and XQuery, and is a co-author of Introduction to Functional Programming (Prentice Hall, 1988), XQuery from the Experts (Addison Wesley, 2004) and Generics and Collections in Java (O’Reilly, 2006). He has delivered invited talks in locations ranging from Aizu to Zurich.

https://iohk.io/team/philip-wadler/
AWARDS

SIGPLAN Distinguished Service Award, 2016.
http://www.sigplan.org/Awards/Service/

ACM Fellow, 2007.

Fellow Royal Society of Edinburgh, 2005.
https://www.rse.org.uk/

Wolfon-Royal Society Research Merit Award, 2004–2009.
https://royalsociety.org/grants-schemes-awards/grants/wolfson-research-merit/

EUSA Teaching Awards, Overall High Performer, runner up, 2009.
https://www.eusa.ed.ac.uk/404/?url=/teachingawards/winners0809/

Most Influential POPL Paper Award 2003 (for 1993), Imperative functional programming, by Simon Peyton Jones and Philip Wadler.

--

See more at: https://iohk.io    

Get our latest news updates: https://iohk.io/blog/

Meet the team: https://iohk.io/team/

Learn about our projects: https://iohk.io/projects/cardano/

Read our papers: http://iohk.link/paper-ouroboros

Visit our library: https://iohk.io/research/library/

In the press: https://iohk.io/press/

Work with us: https://iohk.io/careers/

See more on Cardano: https://iohk.io/projects/cardano/

--

The Cardano PortfolioThe Cardano HubThe source for all things Cardano
https://www.cardanohub.org/en/home/

Cardano Blockchain Explorer
An open source block explorer for the Cardano project
https://cardanoexplorer.com

Cardano Documentation
Full technical documentation of the project
https://cardanodocs.com

Cardano Roadmap
Development path of the Cardano project
https://cardanoroadmap.com

Why Cardano
The philosophy behind the project
https://whycardano.com

Daedalus Platform
Open source platform
https://daedaluswallet.io

The Cardano Foundation
Supervisory and educational body for the Cardano Protocol
https://cardanofoundation.org

Cardano Foundation YouTube
All the latest videos & tutorials
https://www.youtube.com/channel/UCbQ9...

Cardano Foundation
Follow the Foundation
https://twitter.com/CardanoStiftung

Cardano Slack
Join the conversation
https://cardano.herokuapp.com

Cardano reddit
Join the conversation
https://www.reddit.com/r/cardano/

IOHK
Development partner
https://iohk.io

IOHK blog
Read about the latest technology advancements
https://iohk.io/blog/

—