IOHK | Prof. Philip Wadler, area leader, programming languages.

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:
iohk.io/blog/s...
Learn more about Plutus Core here: iohk.io/resear...
An Ontology for Smart Contracts here:
iohk.io/resear...
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.
iohk.io/team/p...
AWARDS
SIGPLAN Distinguished Service Award, 2016.
www.sigplan.org...
ACM Fellow, 2007.
Fellow Royal Society of Edinburgh, 2005.
www.rse.org.uk/
Wolfon-Royal Society Research Merit Award, 2004-2009.
royalsociety.o...
EUSA Teaching Awards, Overall High Performer, runner up, 2009.
www.eusa.ed.ac...
Most Influential POPL Paper Award 2003 (for 1993), Imperative functional programming, by Simon Peyton Jones and Philip Wadler.
--
See more at: iohk.io
Get our latest news updates: iohk.io/blog/
Meet the team: iohk.io/team/
Learn about our projects: iohk.io/projec...
Read our papers: iohk.link/paper...
Visit our library: iohk.io/resear...
In the press: iohk.io/press/
Work with us: iohk.io/careers/
See more on Cardano: iohk.io/projec...
--
The Cardano PortfolioThe Cardano HubThe source for all things Cardano
www.cardanohub...
Cardano Blockchain Explorer
An open source block explorer for the Cardano project
cardanoexplore...
Cardano Documentation
Full technical documentation of the project
cardanodocs.com
Cardano Roadmap
Development path of the Cardano project
cardanoroadmap...
Why Cardano
The philosophy behind the project
whycardano.com
Daedalus Platform
Open source platform
daedaluswallet.io
The Cardano Foundation
Supervisory and educational body for the Cardano Protocol
cardanofoundat...
Cardano Foundation KZbin
All the latest videos & tutorials
www.youtube.co....
Cardano Foundation
Follow the Foundation
/ cardanostiftung
Cardano Slack
Join the conversation
cardano.heroku...
Cardano reddit
Join the conversation
/ cardano
IOHK
Development partner
iohk.io
IOHK blog
Read about the latest technology advancements
iohk.io/blog/
-

[@1420MHZ]

I'm incredibly happy to have discovered Cardano as it's being built and get to be a part of it, in a tiny way, by hodling ADA and visiting the forums and interacting with the community... The project is so epic it's hard to imagine what it'll be able to do once it's unleashed. It's a very exciting time to witness this evolution in technology!

[@mnieuwhof]

This Prof. can explain things on a non-academic manner... great!

[@monkishrex]

AMAZING! Just unbelievable. Prof. Wadler you are an absolute LEGEND! Thank you very much for doing this talk! Very much looking forward to what 2018 will bring with you on the IOHK team!

[@jjrnd2947]

One of the best explanation on functional programming etc. Keep up the good work IOHK!

[@trigger357]

When you hear Dr. Wadler speak you can't help but open your heart and check book

[@rtacconi]

Prof. Philip Wadler, great talk, as usual.

[@Repz98]

Shut up and take my money!!!

[@davidtsai1156]

Thanks for this video - would love to try Haskell myself :)

[@webpro607]

i'm in... just bought good amount of ADA,, great team..

[@Euquila]

This is so inspirational!!!

[@yabyum108]

Iohk have my vote. It's a conglomeration of brilliance that isn't likely to fail. It's a quibble, but the background music in these videos doesn't add anything. You wouldn't like it's equivalent in a programme...

[@kingofgimp]

Thank you, very clear 0th order introduction!!

[@artgreg2296]

Charles managed to gather the best minds behind cardano project

[@revieworr]

The mind is not "messy". It's an intricate swiss watch.

[@kingcardano8446]

Very informative cardano is a beast

[@amenostalgique]

Excellent : )

[@johnwildebrand2520]

Incredible.

[@der-sp9gn]

Your the Future!

[@Zwwiter]

who dislike this video must be EOS kids

[@joesamprerer]

Will Cardano incorporate the new hashgraph technology?

[@artgreg2296]

Cannot remember the video but Charles already replied about this

[@davidhangs1]

Take my money

[@kryptoknight.]

Okay great. Now let's focus on Profit.