:::

系所公告

:::

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

非專題討論演講公告
張貼人:白師瑜公告日期: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
 
 

Abstract:

 
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.
 
 
Biography:
 
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.
 
   
最後修改時間:2018-12-03 AM 8:51

cron web_use_log