IOHK | Research; Prof. Philip Wadler, Smart Contracts.
Vložit
- čas přidán 30. 07. 2024
- 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.
Learn more about Plutus Core here: iohk.io/research/papers/#JT5X...
An Ontology for Smart Contracts here:
iohk.io/research/papers/#QCNR...
Learn more about IELE here:
runtimeverification.com/blog/...
Learn more about the K framework here:
www.runtimeverification.com/k/
Read Prof. Wadler's latest blog on Simplicity and Michelson here:
iohk.io/blog/simplicity-and-m...
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.
iohk.io/team/philip-wadler/
AWARDS
SIGPLAN Distinguished Service Award, 2016.
www.sigplan.org/Awards/Service/
ACM Fellow, 2007.
Fellow Royal Society of Edinburgh, 2005.
www.rse.org.uk/
Wolfon-Royal Society Research Merit Award, 2004-2009.
royalsociety.org/grants-schem...
EUSA Teaching Awards, Overall High Performer, runner up, 2009.
www.eusa.ed.ac.uk/404/?url=/t...
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/projects/cardano/
Read our papers: iohk.link/paper-ouroboros
Visit our library: iohk.io/research/library/
In the press: iohk.io/press/
Work with us: iohk.io/careers/
See more on Cardano: iohk.io/projects/cardano/
--
The Cardano PortfolioThe Cardano HubThe source for all things Cardano
www.cardanohub.org/en/home/
Cardano Blockchain Explorer
An open source block explorer for the Cardano project
cardanoexplorer.com
Cardano Documentation
Full technical documentation of the project
cardanodocs.com
Cardano Roadmap
Development path of the Cardano project
cardanoroadmap.com
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
cardanofoundation.org
Cardano Foundation CZcams
All the latest videos & tutorials
czcams.com/channels/bQ9.html...
Cardano Foundation
Follow the Foundation
/ cardanostiftung
Cardano Slack
Join the conversation
cardano.herokuapp.com
Cardano reddit
Join the conversation
/ cardano
IOHK
Development partner
iohk.io
IOHK blog
Read about the latest technology advancements
iohk.io/blog/
- - Věda a technologie
incredible project that will put everything else to shame in a few years and the best thing about it is a lot of people can't see that. These guys will soar and every one else will look up in awe.
This is badass. I'm so excited for the next year.
Well done Oasis Pro team and congrats with your partnership.
Sounds like Philip Wadler see's reason to increase Plutus Core resources. I think people are going to be using solidity etc for some time to come, but I for one am looking forward to learning Plutus. A lot of people are sold on the concept that Plutus will reduce dodgy smart contracts.
Crazy..
Always awed by the work from IOHK and University of Edinburgh
What a legend
Pierre K indeed, I love the last minute of the video
Good job!
i see all these old school teachers so excited about this new tech, it just fills my hart with joy !!! this dream might just succeed and change our lives !!!!
GENIUS!!!! :D
The end haha !! :D
Do I get it correct, that Plutus will natively support s.contract's combinator library developed by Philip's best friend Simon P. Jones in this paper:
www.lexifi.com/files/resources/MLFiPaper.pdf ?
@28:00 Fiddler on the roof reference!
So how these ideas turned out? Were they implemented?
Coingeek and Powping! Interesting site
Philip navigates your through through the greatest lesson in life, which is, things are good, and then things are bad, and then they're good again, and then they're bad, etc
Well, why not implement Plutus as an embedded language in Common Lisp? It would be fairly trivial and faster than a normal interpreter.
👏
Great video sir!! I don’t understand any of it YET!! But I’m Definitely want to!!! Where can I find basic knowledge and the right information to start studying and learning?? I strongly Believe in what IOHK and Charles Hoskinson and the (HOLE TEAM )ARE working on will (most definitely)Will be playing a big part into the near future!! I try my best to stay up with everything I can with this project and my own company every free minute and late in to the middle of the night I will watch every video I can ever read every paper I can rather understand it or not. Again thank you and if someone could please point me in the direction I need to be to find basic knowledge on where I can start learning please let me know ! Thank you!! And 👍
I don't understand a thing from this video. Where can i find basic knowledge to get gist of this?
i'd suggest starting at "learnyouahaskell(dot)com" or Richard Bird and Philip Wadler's "Introduction to Functional Programming" which you can google can get a free PDF copy of...
Get a degree in computer science; then learn BTC and ETH tech; when you're back in 3 years you will understand half of it
hahahah shit the speed is hitting
#rumblerumble
Cool, I would like to just use Cardano as the main crypto coin, make it so number one d-_-b
As long as the resource of 'gas' cannot reasonably be allowed to be unbounded for a given contract, having unbounded data types doesn't make sense.
You specify the maximum value of gas you would like to spend on some operation. You can specify any value, but it is fixed: the platform can not charge you more than that - in this sense, it is bounded. But it doesn't mean at all that you can not specify an arbitrary large value!
he is funny
this is why I'm such a bull for this because this technology is so fucking cool but I could give the shit about the price like I want to be building on this platform.
Brilliant - hardly understood a word
Hehe nice
🍊
I dont know any guy in iohk who is not passionating to listen to