Petar Maksimovic
Petar Maksimovic is a researcher and engineer specializing in formal verification. His work at Nethermind included verifying zero-knowledge infrastructure and formalizing the FRI protocol in Lean, connecting mathematical specifications with the correctness and security of software implementations.