+ Co-founder of Scroll
+
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.
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.
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".
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.
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.
-
- Marius is a developer at the Ethereum Foundation as a member of the Geth client team.
+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.
@@ -522,15 +522,15 @@
-
+ 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.
+Marius is a developer at the Ethereum Foundation as a member of the Geth client team.
@@ -538,15 +538,15 @@
-
+ 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.
+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.
@@ -554,15 +554,15 @@
-
+ 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.
+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.
@@ -570,15 +570,15 @@
-
+ Old-school computer scientist and founder-CTO. Now working on scaling blockchains using ZK.
+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.