Novak Novakovic
Engineering Manager at Goodnotes
Serbia
Summary
👤
Senior🎓
Top SchoolNovak Novakovic is an engineering manager with a PhD in mathematics and computer science and eight years of industry experience bridging deep research and product engineering. Currently leading Math AI at Goodnotes, he focuses on teaching machines to reason about mathematics so they can better teach humans. His background spans a decade at Microsoft and research positions across INRIA, Ecole Polytechnique and the Serbian Academy of Sciences, blending proof theory, category theory and computational logic into practical ML systems. Novak is equally comfortable mentoring teams and rolling up his sleeves on algorithmic and statistical challenges rooted in rigorous formal methods. Based in Serbia, he brings a rare combination of academic depth and production-grade software delivery, often turning abstract mathematical ideas into usable AI features. A less obvious strength is his long-standing experience in interdisciplinary teaching and consultancy, which informs his ability to translate complex theory into clear product requirements.
8 years of coding experience
22 years of employment as a software developer
Ph.D., Mathematics, Computer Science, Ph.D., Mathematics, Computer Science at Université de LorraineVienna University of TechnologyMSc, Computational Logic, MSc, Computational Logic at Technische Universität DresdenBSc, Mathematics and Computer Science, BSc, Mathematics and Computer Science at University of BelgradeProgramming languages (1)
Github contributions (2)
novaknovakovic/PSIML
Jul 2017 - Jul 2017
Contributions:2 pushes, 1 branch in 1 day
Petlja/PSIML
Jul 2018 - Jul 2019
PSIML main repository
Contributions:12 commits, 5 pushes in 1 year
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.