Speaker videos
James Chapman
Software Engineer at Input Output (IOHK)
Subscribe
Subscribed
Add to favorites
1 event
1 video
24 mins of content
457 viewers
This page was generated automatically based on publicly available data without the speaker's participation.
If you are James Chapman — please contact us
If you are James Chapman — please contact us
Topic:
Blockchain
Speaker's last talk
24:36
16+
Video
Leveraging Formal Methods for Smart Contract Platform R&D
James Chapman
Software Engineer at Input Output (IOHK)
-
Video
-
Table of contents
-
Video
July 2, 2020, Online, USA
Cardano 2020: Shelley Edition
Request Q&A
From the conference
Cardano 2020: Shelley Edition
Video
Leveraging Formal Methods for Smart Contract Platform R&D
James Chapman in talks
James Chapman
Software Engineer at Input Output (IOHK)
Available
In cart
Free
Free
Free
Free
Free
Free
Leveraging Formal Methods for Smart Contract Platform R&D
Available
In cart
Free
Free
Free
Free
Free
Free
Request Q&A
Interested in topic “Blockchain”?
You might be interested in videos from this event
James Chapman is present on videos from this event
James Chapman at "Cardano 2020: Shelley Edition"
Available
In cart
Free
Free
Free
Free
Free
Free
Similar speakers
See more
Simon Thompson
Technical Project Director, dApp Platform at Input Output (IOHK)
See more
Philip Wadler
Computer Scientist at University of Edinburgh
See more
Manuel Chakravarty
Functional Programming Specialist at Tweag I/O
Conference Cast
With ConferenceCast.tv, you get access to our library of the world's best conference talks.
944 conferences
37527 speakers
14298 hours of content
Never miss other talks of this speaker
Subscribe
Subscribed