Matko Botincan
Quantitative Research
Chicago, Illinois, United States
Summary
👤
Senior🎓
Top SchoolMatko Botincan is a quantitative researcher with 15 years of experience applying statistical modelling, numerical linear algebra, and machine learning to large-scale data problems, currently driving quantitative research at Radix Trading in Chicago. He holds a PhD in Computer Science from the University of Cambridge (Gates Scholar) and has blended academic depth with industry impact through roles at Microsoft Research and visiting positions at Berkeley and RWTH Aachen. Fluent in C++, Python and OCaml, he builds production-ready solutions for time series, signal processing and predictive modeling that bridge rigorous theory and practical trading systems. His background in mathematics and long tenure in high-frequency research environments give him a knack for turning subtle numerical issues into robust, performant implementations.
15 years of coding experience
10 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at University of CambridgeM.Sc., Mathematics, M.Sc., Mathematics at University of Zagreb, Faculty of Natural Sciences and Mathematics
Github Skills (4)
logic6
symbolic-execution-engine5
verification5
symbolic-execution4
Github contributions (2)
seplogic/jstar
Sep 2010 - May 2011
Contributions:72 commits in 8 months
seplogic/corestar
Aug 2010 - May 2011
Contributions:46 commits in 8 months
symbolic-executionsymbolic-execution-engineexecution-engineseparation-logicverification
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.