Zoe P

The Argot Collective (argot.org) is a new non-profit organization maintaining Ethereum's core infrastructure formed by 25 former EF employees. 
Operating democratically and transparently, we aim to provide stable, long-term support for crucial projects, free from commercial pressures.

It's the new home for the projects:
- Act
- EthDebug
- Fe
- Hevm
- Solidity
- Sourcify 

This talk will be the first introduction of this new organization to the ecosystem

Stage 2

Software engineer at sourcify.dev. Member of argot.org, also part of the Department of Decantralization, organizers of ETHBerlin and Protocol Berg.

Kaan Uzdogan

Grant

Announcing the Argot Collective

Vitalik believes "ethereum's biggest technical risk probably is bugs in code, and anything that could significantly change the game on that would be amazing".  Formal verification is a key technology which many believe could significantly help.  However, it has yet to see wide adoption for a variety of reasons.  This panel will bring together formal verification experts working in blockchain to discuss the challenges faced in increasing the use of formal verification within the community.

Classroom A

I’m a research engineer in the Automated Reasoning Team at ConsenSys. My current focus is on the practical application of formal methods to software correctness, such as for zkEVMs. Previously, I was an Associate Professor at Victoria University of Wellington, NZ. My research interests are in programming languages, compilers, static analysis and formal verification

David Pearce

Igor Konnov is an independent security & formal methods researcher, working on the project "Exploring Automatic Model-Checking of the Ethereum specification" supported by Ethereum Foundation. He has experience of integrating formal methods in the blockchain development process since 2019. Igor was the principal investigator in the projects Quint and Apalache. Before joining the blockchain industry, he worked as a formal methods researcher at Inria Nancy, TU Wien, and Lomonosov Moscow State Univ.

Igor Konnov

Julian leads the formal verification team at Nethermind, developing hard formal methods-based solutions to formally verifying the web3 ecosystem. Previously he completed his PhD at Imperial College on "Compositional termination verification for fine-grained concurrency" using separation logic.