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:
Learn more about Plutus Core here: https://iohk.io/research/papers/#JT5XKNBP
An Ontology for Smart Contracts here:
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.
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.
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
Cardano Blockchain Explorer
An open source block explorer for the Cardano project
Full technical documentation of the project
Development path of the Cardano project
The philosophy behind the project
Open source platform
The Cardano Foundation
Supervisory and educational body for the Cardano Protocol
Cardano Foundation YouTube
All the latest videos & tutorials
Follow the Foundation
Join the conversation
Join the conversation
Read about the latest technology advancements