Milan Banković
Assistant Professor at Faculty of Mathematics, University of Belgrade
Belgrade, Central Serbia
Summary
👤
Senior🎓
Top SchoolMilan Banković is an assistant professor and computer scientist specializing in automated reasoning and constraint programming, with a PhD from the University of Belgrade. He has over a decade of academic experience at the Faculty of Mathematics, progressing from teaching assistant to faculty since 2007 and focusing on development and application of SAT, SMT, and constraint solvers. Comfortable in C/C++ and Haskell, he blends high-level functional programming with low-level systems and assembly work, and is a passionate Linux user. His profile reflects both rigorous mathematical foundations and practical tool-building for formal methods, making him equally at home in research, teaching, and hands-on solver implementation.
8 years of coding experience
Doctor of Philosophy (PhD), Computer Science, Doctor of Philosophy (PhD), Computer Science at University of Belgrade, Faculty of MathematicsBachelor's degree, Computer science, Bachelor's degree, Computer science at Faculty of Mathematics, University of Belgrade
Stackoverflow
41reputation
2kreached
3answers
0questions
Github Skills (6)
hashtable6
unordered-set6
lifetime6
data-structures6
hash6
scopes6
Github contributions (5)
milanbankovic/argosmt
Aug 2017 - Feb 2025
Contributions:22 pushes, 3 branches, 5 tags in 7 years 7 months
milanbankovic/isocert
Dec 2021 - Jan 2023
Contributions:18 commits, 12 pushes, 1 branch 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.