- Federico Kunze Küllmer
-Evmos
+
+ Eniko
+EVMSummit
Founder of Evmos, CEO at Altiplanic. Previously IBC & Cosmos Core Engineer
+EVM Summit organizing team member
@@ -402,319 +402,336 @@Evmos
+ Federico Kunze Küllmer
+Evmos
+ +-
+
- Read Bio +
Founder of Evmos, CEO at Altiplanic. Previously IBC & Cosmos Core Engineer
+-
+
- Hide Bio +
Greg Colvin
Haichen Shen
Scroll
-
Harikrishnan Mulackal
Jacek Glen
Gas Cost Estimator - Imapp
-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.
John Toman
Certora Inc.
-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.
Jordi Baylina
Polygon
José Pedro Sousa
Aztec Labs
-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".
Leonardo Alt
powdr
-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.
Lightclient
Geth - Ethereum Foundation
Mamy André-Ratsimbazafy
Taiko
-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 van der Wijden
Geth - Ethereum Foundation
-Marius is a developer at the Ethereum Foundation as a member of the Geth client team.
Morgan Weaver
OpenZeppelin
-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.
Neville Grech
Dedaub
-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.
Niklas Kunkel
Chronicle Labs - Chronicle Protocol - MakerDAO
-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.
Paweł Bylica
Ipsilon - Ethereum Foundation
Radosław Zagórowicz
Ipsilon - Ethereum Foundation
Rami Khalil
Zeth (RISC Zero)
Raul Jordan
Offchain Labs
-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.
Remco
Nomic Foundation
-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.
Raoul Schaffranek
Runtime Verification
-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.
Smriti Verma
OpenZeppelin
-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.
Tim Beiko
Ethereum Foundation
-
Ujval Misra
UC Berkeley; Specular
-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.
Ulaş Erdoğan
Clave
-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.