Researcher at Ethereum Foundation

• Hide Bio

Alex Gluchowski is the Co-founder and CEO of Matter Labs, creators of zkSync.

As the world's most Ethereum-aligned Layer-2 solution, zkSync is on a mission to accelerate the mass adoption of crypto for personal sovereignty.

Alex is a highly experienced software architect and 3x founder with 15+ years of startup and engineering experience.

Prior to founding Matter Labs, he was the founding CTO of PaulCamper, the largest online camper-sharing platform in Europe.

• Hide Bio

Ayman is a 24 years old software engineer from Morocco, joined Nethermind last year as part of the core team, and mostly focus on EVM related topics (since Ayman likes VMs), and now Ayman works on small EIPs that touchs the EVM for Shanghai and Cancun forks as well as working on the full EOF update for the EVM.

• Hide Bio

Ben is the VP of Research at Matter Labs and an associate professor at Imperial College London.

Ben is a computer scientist with a Ph.D. in computer science from Stanford University, with an h-index of 57 and over 10,000 citations to his papers. He is an inventor skilled at translating academic research into industrial practice, a research manager leading high-performance applied research teams, and a professor. Most of his work has direct industrial applications.

Currently, he serves as the VP of Research at Matter Labs. Previously, he led teams as the CEO of Zilliqa Research, a layer-1 blockchain, and as the Chief Scientist at Brave Software, leading innovative development across cryptography, machine learning, performance, security, privacy, and other domains. For many years, he worked as a researcher at Microsoft Research in Seattle.

He has also taught at UW, MIT, and Imperial College London. He has also filed dozens of patents based on his inventions.

• Hide Bio

Protocol blockchain engineer focused on L2 solutions.

Started working on Iden3 and then switch to develop the PoC of a rollup back in 2019.

Then Carlos started on Hermez network as a protocol engineer which became polygon zkEVM

• Hide Bio

Working at PSE for 3+years. One of the main contributors of the ZKEVM and Halo2-PSE & halo2curves mantainer (among others).

Currently working on folding among any other random things that pickup my interest.

• Hide Bio

SUAVE Protocol R&D

• Hide Bio

David is a research engineer in the Trustworthy Smart Contracts Team at ConsenSys.

David's current focus is on the application of formal methods to smart contracts.

Before that, David was an Associate Professor in the School of Engineering and Computer Science at Victoria University of Wellington, NZ.

David graduated from the Department of Computing at Imperial College London, and moved to New Zealand in 2004.

David's research interests are in programming languages, compilers, static analysis and formal verification. David is the author of the Whiley programming language which (like Dafny) supports formal verification of functional specifications (i.e. preconditions / postconditions).

• Hide Bio

Head of DevRel @ Taiko Labs

• Hide Bio

Danno is Principal Software Engineer at Hedera Hashgraph, where he integrates the EVM into the Hedera network.

Previously he was Lead Protocol Engineer at ConsenSys Software Inc on their Ethereum Mainnet team, where he chose to go "full crypto" after leaving Google.

Danno also worked at McDonalds as a crew member in his youth, so he is fully hedged against any DeFi downturn.

Danno is a maintainer for the Hyperledger Besu project.

• Hide Bio

Reth core dev, revm author.

• Hide Bio

Learned zk in iden3 (now Polygon Hermez) while developing a decentralized identity protocol, and later a zkRollup.

Now working on the zkEVM CE project in PSE (EF) for nearly 2 years

• Hide Bio

EVM Summit organizing team member

• Hide Bio

Founder of Evmos, CEO at Altiplanic. Previously IBC & Cosmos Core Engineer

• Hide Bio

Co-founder of Scroll

• Hide Bio

Jacek have almost 20 years of experience developing and designing systems in industries spanning from banking to finance to big data to insurance.

In recent years, Jacek have focused on all aspects of blockchain technologies. Jacek is involved in developing Ethereum clients, smart contracts and web3 apps.

• Hide Bio

Dr. John Toman is the VP of R&D at Certora Inc.

He leads the development of the Certora Prover and specializes in static analysis.

He received his PhD in 2019 from the University of Washington.

Dr. Toman’s research focuses on bringing the power of automated verification to real-world, industrial settings. His award-winning, impact-focused research has been published at several top conferences in the field.

• Hide Bio

A musician and teacher became Developer Relations Engineer at Aztec.

Previously at Polygon and Mindera, this fellow geek loves web3 and its private solutions, and is a serious candidate for "jack of all trades, master of none".

• Hide Bio

Leo currently works on powdr building zkVM tooling.

Before that he worked on Formal Verification and Solidity at the Ethereum Foundation for many years, mostly doing research and building tools for formal verification of smart contracts and zk circuits.

Leo also holds a PhD in Computer Science, focused on SMT solving and software verification.

• Hide Bio

Mamy has been an Ethereum core dev for 5 years, developing the Nimbus consensus client. After the success of The Merge, he now focuses on scaling Ethereum, by leading the ZK engineering team at Taiko.

• Hide Bio

Marius is a developer at the Ethereum Foundation as a member of the Geth client team.

• Hide Bio

Morgan came to Web3 in early 2022, from the fields of deep learning, DevOps, and distributed systems within the Web2 landscape.

Throughout this transition, Morgan has enjoyed building knowledge in Solidity, smart contract auditing, and systems-level Web3 security.

While their work at OpenZeppelin has heavily focused on onchain monitoring and automation as well as proof of concept work, it has also included contributions to security standards with the Ethereum Enterprise Alliance, and participation in many hackathons, communities and events.

Morgan lives and works in Lisbon, and intends to help Web3 make a positive disruption is the existing social, financial, and operational structures of Web2.

• Hide Bio

Neville is the Director and co-founder of Dedaub. Neville expertise is focused on program analysis, mostly applied to security applications.

Before Dedaub Neville had a mostly academic career. Have authored the first work that applies static analysis to the security of smart contracts, this work was subsequently highlighted by ACM SIGPLAN and Communications of the ACM.

Throughout Naville's career also developed novel techniques and tools in the areas of energy efficient software development, smart contracts, semantics and generative programming.

Some popular tools Naville have codeveloped include decompilers and security analyzers for the Ethereum platform (MadMax and Gigahorse) and Java pointer and taint analysis frameworks (Doop, P/Taint and HeapDL).

Previously, Naville was Reach High Fellow at the University of Athens, a Senior Research Associate at the University of Bristol, and have worked in industry as a Data Scientist and Software Engineer.

Naville hold a PhD from the University of Southampton.

• Hide Bio

Founder of Chronicle Labs, the developers of Chronicle Protocol.

Nik began his crypto journey at IBM Research, where he worked on the Hyperledger blockchain and early supply chain finance applications.

In 2017 he joined MakerDAO to create Dai, the first decentralized stablecoin on Ethereum.

Nik is responsible for creating DSProxy. An industry-standard account abstraction primitive, OasisDEX, the first decentralized exchange on Ethereum with an order matching engine, as well as Chronicle Oracle Protocol, which secures over $10B of assets locked in MakerDAO.

• Hide Bio

Raul Jordan is a senior software engineer at Offchain Labs and a maintainer of the Prysm Ethereum consensus client.

Hes an avid fan of programming languages and onboarding a lot more developers outside of blockchain into the exciting world of Ethereum technology.

• Hide Bio

Remco is the tech lead on Nomic Foundation's EDR team, where he works on the open-source building blocks that empower developers to create new dev tools for the Ethereum ecosystem.

• Hide Bio

Raoul Schaffranek studied Computer Science at RWTH Aachen University, Germany, where he obtained B.Sc. and M.Sc. degrees.

He wrote his master thesis about compositional modeling and fully automated verification of distributed systems and formalized his findings with the Isabelle proof assistant.

Before joining RV, Raoul worked for more than eight years as a software engineer for the German software company graphodata AG.

Raoul considers programming a human-centric rather than machine-centric activity, and he firmly believes that we should build modern programming languages and verification tools upon this perspective.

• Hide Bio

Smriti has been working at OpenZeppelin as a Blockchain Security Engineer, since 2020.

Prior to transition into web3 security, she was working as a blockchain solutions engineer. She comes from a software development background, and has a masters in Data Analytics.

• Hide Bio

Tim runs the AllCoreDevs call for Ethereum

• Hide Bio

Ujval is a CS PhD student at UC Berkeley, advised by Dawn Song.

His research interests broadly lie in security and privacy—particularly in the context of decentralized trust.

His recent focus has been on decentralization problems in Ethereum-based L2 systems.

• Hide Bio

Ulaş is a Blockchain developer based in Istanbul. Currently a member of the Clave team which is building an AA-based wallet solution utilizing secure elements for signature abstraction in the mobile devices. Ulaş is also Head of Development in the Ethylene Studio and ex-president of ITU Blockchain, which is the first and biggest university blockchain society in Turkey.

• Hide Bio