Petar Vukmirovic
Senior Software Developer at Mendix
Leidschendam, South Holland, Netherlands
Summary
👤
Senior🎓
Top SchoolPetar Vukmirovic is a Senior Software Developer based in the Netherlands with 11 years of experience blending academic rigor and production engineering. He holds a PhD track in Computer Science from VU Amsterdam and has moved from teaching and research into applied roles at De Nederlandsche Bank and now Mendix, bringing strong foundations in algorithms, systems and software testing to enterprise-grade products. His background includes hands-on development since early career roles in Serbia and a stint as a PhD candidate that sharpened his problem-solving and experimental design skills. Colleagues benefit from his ability to translate complex technical concepts into reliable, maintainable systems and from his experience teaching and mentoring across universities and industry.
11 years of coding experience
4 years of employment as a software developer
Doctor's Degree Computer Science, Doctor's Degree Computer Science at Vrije Universiteit Amsterdam (VU Amsterdam)Natural Sciences, Natural Sciences at XIII Belgrade Grammar SchoolMaster of Science (MSc) Computer Science, Master of Science (MSc) Computer Science at VU University AmsterdamBachelor of Science (B.Sc.) Informatics, Bachelor of Science (B.Sc.) Informatics at University of Belgrade, Faculty of Mathematics
Serbian, English, dutch -- staatsexamen ii (european b2 level)
Stackoverflow
11reputation
497reached
0answers
1question
Github Skills (40)
symbolic-computation10
cnf10
agda10
rewriting10
ssreflect10
polymorphism10
datatypes10
ocaml10
sat-solver10
theorem10
formulas10
equality10
reasoning10
induction10
logic10
Programming languages (4)
Github contributions (5)
eprover/eprover
Oct 2017 - Apr 2022
Contributions:1473 commits, 4 PRs, 496 pushes in 4 years 6 months
atpprover
petarvukmirovic/FPInterpreter
Jan 2016 - Jan 2016
Contributions:24 commits, 21 pushes, 1 branch in 17 days
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.