Žiga Sajovic is Chief Scientist at XLAB with over a decade of experience applying mathematical abstractions to systems programming and production software. Based in Slovenia, he moved from Head Mathematician to his current role in 2016, blending formal reasoning with pragmatic engineering to tackle low-level system challenges. He favors rigorous, algebraic approaches to design and verification, translating theoretical insights into robust implementations. Known for a quiet, focused engineering style (“just a man” on GitHub), he brings deep academic grounding from the University of Ljubljana to industry problems. Colleagues describe him as the kind of engineer who surfaces subtle correctness issues before they hit production. His work habitually bridges research-grade models and maintainable system code.
11 years of coding experience
Bachelor's degree, Computer Science, 10.0, Bachelor's degree, Computer Science, 10.0 at Univerza v Ljubljani
Contributions:17 commits, 15 pushes, 1 branch in 4 months
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.