Watch / Formal Verification

Formal Verification

  • YouTube
  • IPFS
  • Details

Formal Verification

Duration: 00:25:50

Speaker: Phil Daian, Everett Hildenbrandt, Yoichi Hirai, Loi Luu, Reto Trinkler

Type: Panel

Expertise: Advanced

Event: Devcon 3

Date: Nov 2017

Phil Daian, Everett Hildenbrandt, Yoichi Hirai, Loi Luu, & Reto Trinkler discuss Formal Verification.
About the speakers

LL

Loi Luu

CEO & Cofounder

Loi Luu is a co-founder and CEO of Kyber Network, a decentralized liquidity network that powers decentralized applications, including but not limited to exchanges, funds, lending protocols, payments wallets. He also earned his PhD from National University of Singapore where he did research on cryptocurrencies, smart contract security and distributed consensus algorithms.Before starting Kyber, Loi developed Oyente, the first open-source security analyser for Ethereum smart contracts. He also designed the first sharding protocol for pubic blockchain which inspired Zilliqa. He continues to champion decentralisation and trustless properties of the Blockchain with Kyber Network, taking inspiration and developing value for the community.

  • Related