Ognjen Maric
Senior Researcher at DFINITY
Zurich, Zurich, Switzerland
Summary
🤩
Rockstar🎓
Top SchoolOgnjen Maric is a Senior Researcher based in Zurich with four years of professional experience at the intersection of formal methods and distributed systems. He currently works at DFINITY after four years as a Formal Methods Engineer at Digital Asset, bringing practical expertise in applying rigorous verification techniques to blockchain and financial infrastructure. Trained at ETH Zürich, he blends academic grounding with hands-on research to help move provable, high-assurance designs toward production. Colleagues know him for translating complex formal specifications into implementable system-level insights, a skill that helps bridge research and engineering teams. Although his public GitHub footprint is minimal, his career path indicates deep domain focus in formal verification and decentralized systems.
4 years of coding experience
4 years of employment as a software developer
ETH Zürich
Github Skills (23)
docker10
altium-designer10
internet-computer10
web-application10
internet10
sdk10
blockchain10
portal10
nodes10
dfinity10
development-kit9
rust9
microservices9
specification8
javascript7
Programming languages (7)
Github contributions (5)
oggy-dfin/fm-catalogue
Sep 2021 - May 2022
Contributions:4 reviews, 13 commits, 2 PRs in 8 months
oggy-dfin/interface-spec
Jul 2022 - Oct 2024
IC Interface Specification
Contributions:48 pushes, 9 branches in 2 years 3 months
specificationstandards
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.