Darryl McAdams | IOHK Team Plutus
Channel: Input Output
Date: 2017-05-12

A short video interview with Darryl McAdams | IOHK Team Plutus  filmed on location at the IOHK Malta hub, 2017.

Read a recent blog item by Darryl about Bidirectional proof refinement: https://iohk.io/blog/bidirectional-proof-refinement/

https://iohk.io/team/darryl-mcadams/

Darryl is a type theorist and functional programmer who occasionally dabbles in AI and linguistic theory. He’s an advocate of using formal methods, especially dependent types and novel type systems, for building provably correct software. He has implemented a number of pure functional programming languages, including ones with temporal logic quasiquotation and delimited continuations. He also advocates for good documentation of software, especially literate documentation where possible.

Cascading disruption
https://iohk.io/about/

It is the founding principle of IOHK. Cascading disruption is the idea that most of the structures that form the world’s financial, governance and social systems are inherently unstable and thus minor perturbations can cause a ripple effect that fundamentally reconfigures the entire system. Our company is committed to identifying and developing technology to force these perturbations in order to push towards a more fair and transparent order.

The mission of IOHK
We view the world as a series of giant and mostly interconnected social graphs with hundreds of complex systems embedded. Our mission is to perturb the graphs to a more connected, transparent and fair configuration for both the flow of ideas and value.

Input Output the company
In addition to our founders, IOHK enjoys having a diverse, geographically distributed team of engineers, scientists, business professionals, a few teachers and open-source collaborators. We are always looking for new team members and partnerships.

Input Output

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/