11th December 2018
|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|
|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 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 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 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 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 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 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 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 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 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 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 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 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 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.