Formal Reasoning about Financial Systems Workshop — September 1, 2022
This workshop follows The Science of Blockchain Conference 2022
Formal methods is a mature field in computer science with excellent tools including static program analyzers, fuzzers, formal verification tools, Satisfiability Modulo Theories checkers, and more.
Recently, these techniques have been integrated into the industry by companies including Amazon, Certora, Consensys, Facebook, Imandra, Runtime Verification, and Trails of Bits.
This one-day workshop brings together researchers developing tools for reasoning about financial systems and smart contracts. We are particularly interested in DeFi, an emerging suite of applications for decentralized asset management over blockchain technology.
- Leo Alt, Ethereum Foundation
- Dimitar Bounov, Security Researcher, ConsenSys
- Nikolaj Bjørner, Senior Principal Researcher, Z3
- Sam Blackshear, Mysten Labs
- David L. Dill, Computer Scientist and Academic
- Marco Eilers, ETH Zürich
- Yu Feng, Assistant Professor, UC Santa Barbara
- Neville Grech, Program Analysis, University of Malta
- Grigore Rosu, President & CEO, Runtime Verification
- John Toman, Formal Verification Expert, Certora
Find Hotels Stanford Formal Reasoning about Financial Systems Workshop