Tezos, a blockchain by scientists: principles and applications

Diego Pons,
–
Abstract:
Tezos is a blockchain done by computer scientists most of them related to the INRIA. As a result, Tezos is written in OCaml, advocates solid algorithms, domain specific languages for smart contracts and formal verification. We will expose some of the principles that guided the creation of Tezos, explain the challenges ahead and discuss potential applications.
Bio
Diego Olivier Fernandez Pons was a funding board member of the Tezos foundation during its first year. His specialty is mixed integer linear programming and combinatorial optimization applied to industrial problems. He worked for ILOG for many years. He now acts as an advisor in languages and formal verification for Tezos Southeast Asia
Date: 2019-Jan-14 Time: 15:00:00 Room: 020
For more information:
Upcoming Events
INESC-ID ESR Talks – February 2023

If you are a masters/PhD student or a postdoctoral fellow, come and present your work in an informal and friendly environment – and savour some tasty snacks!
Individual talks will be 10-15 minutes plus time for feedback. Enroll on your selected date by emailing pedro.ferreira[at]inesc-id.pt.
Happening on the second Wednesday of every month (4pm-5pm):
- 15 February (Alves Redol, Room 9)
- 15 March (Alves Redol, Room 9)
- 12 April (Alves Redol, Room 9)
- 10 May (Alves Redol, Room 9)
- 14 June (Alves Redol, Room 9)
- 12 July (Alves Redol, Room 9)
We hope to see you there!