Dragutin Ostojic received his Master’s degree in Computer Science from the Faculty of Science, University of Kragujevac, Serbia. He is now pursuing a PhD in Computer Science while working as a Teaching Assistant at the same institution. He was awarded the Best Master's Thesis in Serbia in 2020. Since 2021, he has been conducting research at the Mathematical Institute of the Serbian Academy of Sciences and Arts. His research focuses on scheduling, combinatorial optimization, algorithm design, and machine learning.
Andrija Urošević received his Masters' in Computer Science from the University of Belgrade, Faculty of Mathematics in 2024, and is now pursuing PhD in Computer Science. He worked as Teaching Associate at Faculty of Mathematics (2022–2024). In 2024, he was promoted to Teaching Assistant. His research topics mainly include: type theory, interactive theorem proving, and optimization.
