Petar Maksimovic
Formal Verification Engineer And Business Development Lead
London, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolPetar Maksimovic is a formal verification engineer and business development lead with 11 years of experience bringing program analysis and formal methods into real-world software practice. He combines deep academic pedigree—a PhD-level background in mathematics and computer science—with hands-on roles from postdoc research at Inria and Imperial College to founding his own verification consultancy and now leading verification and BD at Nethermind. Petar specializes in designing and applying program analysis tools that make measurable impact on production code, bridging the gap between research prototypes and developer workflows. He has a track record of managing academic programs and commercial engagements, which gives him a rare fluency in translating technical results into customer-facing solutions. Based in London, he pairs rigorous formal-methods expertise with startup-minded product and business acumen.
11 years of coding experience
13 years of employment as a software developer
Doctor of Philosophy (Ph.D.), Mathematics and Computer Science, 10,00 / 10,00, Doctor of Philosophy (Ph.D.), Mathematics and Computer Science, 10,00 / 10,00 at Faculty of Technical Sciences, University of Novi SadDoctor of Philosophy (Ph.D.), Mathematics and Computer Science, Doctor of Philosophy (Ph.D.), Mathematics and Computer Science at University of Nice Sophia Antipolis (INRIA Sophia Antipolis Méditerranée)Master of Science (M.Sc.), Computer Science, 10,00 / 10,00, Master of Science (M.Sc.), Computer Science, 10,00 / 10,00 at Faculty of Mathematics, University of Belgrade
Serbian, French, English
Github Skills (62)
tlaplus10
solidity10
dataflow-programming10
evm10
virtual-machine10
semantics10
eda10
hackage10
wrapping10
servant10
ethereum10
blockchain10
smart-contracts10
pegjs10
abstract-syntax-tree9
Programming languages (13)
Github contributions (5)
resource-reasoning/JavaScriptVerification
Mar 2016 - Jan 2017
Contributions:5 PRs, 371 pushes, 7 branches in 10 months
javascriptstatic-analysisvalidationverification
resource-reasoning/JS_Parser
Dec 2015 - Apr 2020
Javascript parser wrapping flow-parser to add JS Logic from the JaVerT toolchain
Contributions:91 commits, 73 pushes, 1 branch in 4 years 5 months
parsersjavascripttoolchainwrappingabstract-syntax-tree
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.