The PlutusFest Event

Day’s agenda and speakers’ details

11th December 2018

For developers and financiers - Teviot Lecture Theatre (Doorway 5), Medical School

Time Talk Speakers
10.00 AM Welcome to PlutusFest .pdf .key Philip Wadler, IOHK senior research fellow
10.10 AM The Blockchain Technology Laboratory and IOHK research .pdf .key Aggelos Kiayias, IOHK chief scientist
10.20 AM Keynote address Charles Hoskinson, IOHK chief executive and co-founder
11.15 AM Coffee break (30 mins)
11.45 AM Marlowe: financial contracts on the blockchain .pdf .key Professor Simon Thompson, University of Kent
Pablo Lamela, research consultant
Alexander Nemish, functional compilers engineer
12.30 PM Break for lunch (90 mins – lunch not provided)
2.00 PM Plutus and extended UTXO .pdf .key Manuel Chakravarty, IOHK language architect
2.45 PM Plutus Playground .pdf .pptx Jann Müller & Michael Peyton-Jones, IOHK functional compiler engineers
3.30 PM R&D at IOHK Duncan Coutts, IOHK director of engineering and Haskell consultant
4.00 PM Closing remarks Rebecca Valentine, Team Plutus Manager
4.05 PM The first PlutusFest ends

Invitation-only academic stream - Room G.03, Bayes Centre

Start time Talk Speakers
10.00 AM Academic invitees can join the opening sessions for developers and financiers (it is a 6-minute walk from the Teviot Lecture Theatre to the Bayes Centre)
11.30 AM Academic keynote address .pdf .key Philip Wadler, IOHK senior research fellow
12.00 PM Recursion in System F-omega and its application to Plutus Core .pdf .pptx Roman Kireev & Michael Peyton-Jones, IOHK functional compiler engineers
12.30 PM Formalization of the meta theory of Plutus Core in Agda .pdf .key James Chapman, IOHK formal methods programmer
1.00 PM Closing remarks Aggelos Kiayias, IOHK chief scientist
1.05 PM Lunch at Bayes Centre for invited guests only
2.00 PM Academic invitees can join afternoon sessions for developers and financiers


Charles Hoskinson

CEO and co-founder at IOHK

Charles Hoskinson is an entrepreneur and mathematician who has been a founder of three cryptocurrency-related start-ups – Invictus Innovations, Ethereum and IOHK. His current projects focus on educating people about cryptocurrency, being an evangelist for decentralization and bringing cryptographic tools to the mainstream. This includes leading the research, design and development of Cardano.

Aggelos Kiayias

IOHK chief scientist

Aggelos Kiayias, IOHK chief scientist. Aggelos is the chair in cybersecurity and privacy at the University of Edinburgh. His research interests are in computer security, information security, applied cryptography, and foundations of cryptography with an emphasis on blockchain technologies and distributed systems, e-voting and secure multiparty protocols, as well as privacy and identity management. Professor Kiayias is also the director of the Blockchain Technology Laboratory at the University of Edinburgh.

Philip Wadler

Senior research fellow at IOHK

Philip Wadler, senior research fellow at IOHK. Philip is professor of theoretical computer science at the University of Edinburgh. He is a fellow of the Association for Computing Machinery and a fellow of the Royal Society of Edinburgh. Professor Wadler contributed to the designs of Haskell, Java and XQuery. He is a co-author of Introduction to Functional Programming (Prentice Hall, 1988), XQuery from the Experts (Addison-Wesley, 2004) and Java Generics and Collections (O’Reilly, 2006).

Manuel Chakravarty

Language architect at IOHK

Manuel Chakravarty, language architect at IOHK. Manuel specialises in programming languages and compilers with a focus on functional programming. He has made many contributions to the development of Haskell. Manuel holds a PhD from the Technical University of Berlin, and received an MSc from Karlsruhe Institute of Technology. He has published extensively on functional programming, compilers, and high-performance computing.

Duncan Coutts

IOHK director of engineering

Duncan Coutts, IOHK director of engineering for the Cardano project. Duncan is a computer scientist and Haskell consultant. He holds a PhD in computer science and has been using Haskell for nearly 20 years. He is a founding partner of the Well-Typed consultancy, where he has spent a decade helping customers build applications in Haskell and making improvements to the language’s programming tools.

Rebecca Valentine

Team Plutus Manager

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

Pablo Lamela

Research fellow, IOHK

Pablo Lamela is a consultant researcher in programming languages, a developer, and founder of Trasno Limited. In the past, he has worked at the school of computing at the University of Kent, where he obtained his PhD. His research interests include web services, functional languages, formal verification, program manipulation, grammar inference, and software models.

Jann Müller

IOHK functional compilers engineer

Jann Müller is a functional compiler engineer at IOHK who is interested in functional programming, modelling uncertainty, and their intersection. Jann began using Haskell in 2012 and has worked on projects in regulatory and financial risk. He has a PhD in artificial intelligence from University College London.

Michael Peyton-Jones

IOHK functional compilers engineer

Michael Peyton-Jones, IOHK functional compilers engineer. Michael got into programming language design by relentlessly gravitating towards the point of greatest abstraction until someone threw a compiler at him. He cares about making programming languages beautiful and mathematical, but also ergonomic and usable. Michael has a first-class degree in mathematics and philosophy from the University of Oxford.

Roman Kireev

IOHK functional compilers engineer

Roman Kireev is a IOHK functional compiler engineer at IOHK. He is a self-taught functional programmer and an amateur type theorist. He is an advocate of formal methods, type- and test-driven development, rich type systems and correct-by-construction models. Roman writes programs in Haskell and builds models in Agda.

Alexander Nemish

IOHK functional compilers engineer

Alexander Nemish works on Marlowe, the domain specific language for financial smart contracts. Alexander is a big fan of functional programming, constructive mathematics, homotopy type theory, formally proven programs, meta programming, compilers, Scala, Haskell, and Rust. He is the author of the JScala macros library, and works on designing and implementing the Lasca programming language. In his spare time, Alexander enjoys diving and skydiving, and gives lectures on functional programming.

Simon Thompson

Professor of logic and computation

Simon Thompson is a researcher, author and teacher, and professor of logic and computation at the University of Kent. His research into functional programming covers verification, tool-building and testing for Erlang, Haskell and OCaml. He is the author of books on type theory, Haskell and Erlang, and runs a Mooc about Erlang for FutureLearn. He works with IOHK on domain-specific languages for Cardano.

James Chapman

Senior Haskell developer (prototyping)

James Chapman has a PhD in type theory from the University of Nottingham and 10 years’ postdoctoral research experience in functional programming and formal methods. He is an expert in the machine verification of functional programming languages and is a member of the formal methods team at IOHK.