Details
Petar Maksimovic is currently the Formal Verification Engineer and Business Development Lead at Nethermind.Previously he worked at Runtime Vеrification.
Related Figures
Patrick MacKay
Patrick MacKay previously was the co-founder and CFO of Pi Squared and formerly the COO of Runtime Verification. He is a graduate of Georgetown University and the University of Illinois at Urbana-Champaign.
Eduardo Carvalho
Eduardo Carvalho is co-founder and CTO of Valantis Labs and previously served as Director of Protocol Engineering at Nethermind. He graduated from Imperial College London and the Faculty of Science at the University of Lisbon.
Greg Vardy
Greg Vardy is the co-founder and CEO of Valantis Labs and previously served as the CTO of Nethermind. He graduated from Durham University.
Anneli Nowak
Anneli Nowak is the Head of Marketing at Nethermind.
Anett Rolikova
Anett Rolikova is currently the Creative Strategist at Subzero Labs.Previously he worked at Last Network and Hyperlane and Nethermind and Superfluid and Ethereum.
DanielC
DanielC is the Co-CTO of Nethermind.
Everett Hildenbrandt
Everett Hildenbrandt is currently the CEO at Runtime Vеrification.
Daejun Park
Daejun Park is a Senior Blockchain Security Engineer at a16z crypto, developing formal methods and tools for web3 security to help portfolio companies in particular and the web3 community in general to raise their security bar.Prior to joining a16z crypto, he was a Director of Formal Verification at Runtime Verification.Early in his career, he was a founding member of another tech startup Sparrow.Daejun received a Ph.D. in Computer Science from the University of Illinois at Urbana-Champaign, and his B.S. and M.S. degrees from Seoul National University. His work on language-parametric program verification received the Distinguished Paper Award at OOPSLA’16.
Michal Zajac
Michal Zajac is the Head of Research at Nethermind. He graduated from the University of Warsaw.
Joe Kohler
Joe Kohler is the COO and CLO of Nethermind and was previously a partner at Reed Smith LLP. He graduated from Oxford University in England.
