[2018-12-03] Mr. Diego Olivier Fernandez Pons, Tezos Southeast Asia, "Tezos blockchain"

Poster:Post date:2018-12-03
Title: Tezos blockchain
Date: 2018-12-03 6:30pm-7:30pm
Location: R104, CSIE
Speaker: Mr. Diego Olivier Fernandez Pons, Tezos Southeast Asia
Hosted by: Prof. Shih-wei Liao


We will review the principles of blockchains and how Tezos in particular works. Then we will see the technical challenges blockchains have to overcome and the solutions that are being explored to solve them, in particular in the domain of formal verification.
Diego Olivier Fernandez Pons started his career in mathematical optimization applying linear and constraint programming to industrial problems. He worked for ILOG and IBM in supply chain optimization solutions. He has advised Tezos in functional programming and formal verification since its inception. He was a founding board member of the Tezos Foundation. He is today scientific advisor of Tezos Southeast Asia.
Last modification time:2018-12-03 AM 8:51

cron web_use_log