Research

My research interests broadly include programming language theory, formal methods, and compilers. Some of my projects can be found on my GitHub account.

Publications

1. Elliot Bobrow, Bryan Ford, and Stefan Milenković. Have a thing? Reasoning around recursion with dynamic typing in grounded arithmetic. arXiv preprint arXiv:2510.25369, 2025

Talks

1. Stefan Milenković, Milan Čugurović, and Milena Vujošević Janičić. Improving ML-Based Static Profiling Using Method Names. XV Symposium “Mathematics and Applications”, Belgrade, Serbia, 2025

2. Stefan Milenković and Antonije Subotić, Method of Analytic Tableaux in Propositional Logic. Student Seminar, MISANU, Belgrade, Serbia, 2021 (in Serbian)