The Mathematics Genealogy Project

Current students

Simona Kašterović, since 2017
Tamara Stefanović, since 2019

Master students

Graduated PhD students

Aleksandar Pejović, "Parallel software system for counting finite models" [pdf] 2020
Veljko Petrović, "Namenski jezik za vizuelizaciju evaluiranu statističkom analizom malih skupova podataka" (Domain specific language for visualization evaluated by the statistical analysis of small data sets) [pdf] 2018
Jelena Ivetić, “Intersection types and resource control in the intuitionistic sequent lambda calculus”, [pdf] 2013
Petar Maksimović, “Development and Verification of Probability Logics and Logical Frameworks” (co-tutelle with University Nice), co-supervision with Zoran Ognjanovic and Luigi Liquori, en-cotutelle with University of Nice, [pdf] 2013.

Graduated Master students

Dunja Jankov, "SAT problem i verifikacija DPLL procedure u dokazivaču COQ", septembar 2021
Alen Arslanagić, "Tipski sistem sa restrikcijama za određivanje tipova ML jezika sa implementacijom u Haskell-u", [pdf] oktobar 2017
Aleksandar Kršić, "Linearna logika sa primenama u Petri mrežama", [pdf] septembar 2017
Simona Kašterović, Kripkeove semantike za intuicionističku logiku i lambda račun, [pdf] juli 2017
Marko Stupar, "Modalna logika i primena u zastiti informacionih sistema" (Modal logic and application in information system security), [pdf] septembar 2016. Employment Swiss Re Bratislava.
Jelena Ivetić, “O nekim prosirenjima lambda racuna”, [pdf] 2008
Jelena Ivetić, "Formalni računi za intuicionističku logiku", magistarski rad, 2008
Silvia Likavec, “Reducibility method for lambda calculus with intersection types”, magistarski rad, 2005

Former students

Silvia Likavec, PhD UNITO, ENS-Lyon, 2005
Viktor Kuncak, PhD MIT, 2007
Dragisa Zunic, PhD ENS-Lyon, 2008
Jovana Obradović, PhD Universite Paris Diderot, Paris 7, 2017
Nenad Savić, PhD University of Bern, 2020
Alen Arslanagić, PhD student at University of Groningen

Doctoral thesis committee member

  • Marko Popovic, "Formalno verifikovana distribuirana softverska transakciona memorija otporna na otkaze", (thesis director Ilija Basicević) UNS, April 2021
  • Mirko Spasic,„Modelovanje upitnih jezika sa primenama u refaktorisanju i optimizaciji koda", (thesis director Milena Vujosevic-Janicic) University of Belgrade, March 2021
  • Marina Milićević, "Formal systems for proving incidence results"(thesis directors Z. Petrić, Dj. Baralić), president of the jury, UNS, October 2020
  • Nenad Savić, "Non-classical Reasoning and Justifications" (thesis director T. Studer) University of Bern, Jun 2020
  • Ivan Prokić, "Formal modeling and analysis of resource usage and sharing in distributed software systems" (thesis director J. Pantović) UNS, January 2020
  • Dragan Stanimirović, (thesis director V. Bogdanović), UNS, January 2020
  • Nikola Luburić, "Integration of Software Security Design Analysis to the Agile Development Process" (thesis director G. Sladić), UNS, January, 2020
  • Claude Stolze, "Types union, intersection, et dépendants dans le lambda-calcul explicitement typé" (Union, intersection and dependent types in an explicitely typed lambda-calculus), (thesis director L. Liquori), INRIA Sophia Antipolis - University of Nice, December 2019
  • Vladimir Ilić, "Application of New Shape Descriptors and Theory of Uncertainty in Image Processing", president of the jury, (thesis director N. Ralević), UNS, 2019
  • Branislav Kordić, (thesis director M. Popović), UNS, 2019
  • Marko Marković, "Interaktivno sastavljanje mašinski čitljivih i razumljuvih sudskih pismena bazirano na znanju",(Knowledge-based Interactive Assembly of Machine-readable and Machine-understandable Judicial Documents) (thesis director S. Gostojić), UNS, 2018
  • Vladimir Ivančević, "Poredjenje skupova podataka pomoću grafova", (thesis director I. Luković), UNS, 2017
  • Svetlana Jakšić, "Types for Access and Memory Control", (thesis director J. Pantović), president of the jury, UNS, 2016
  • Nikola Obrenović, "Prilog projektovanju, konsolidaciji i transformaciji ograničenja torke sheme baze podataka, zasnovan na platformski nezavisnim modelima" (thesis director I. Luković), UNS, 2015
  • Bojan Marinković, "Interconnection of Heterogeneous Overlay Networks: Definition, Formalization and Applications", (thesis director Z. Ognjanović), president of the jury, UNS, 2014
  • Fabien Renaud, "Explicit resources from the point of view of the rewriting theory", (thesis director D. Kesner), Universite Paris Diderot – Paris 7, 2011
  • Tibor Lukić, "Regularized Problems in Image Processing", UNS, (thesis director N. Sladoje, J. Lindblad), president of the jury, UNS 2011
  • Yoko Motohama, thesis reviewer,(thesis director M. Dezani, F. Honsell), University of Udine, 2003
  • Stefania Lusin, thesis reviewer, (thesis director M. Dezani, A. Salibra), University of Venice, 2002

Master's thesis committee member

Aleksandr Jeremić, Realizacija upita iskazanih putem OBDA sistema sa relacionim izvorima podataka, UNS, (mentor I. Luković), October 2020
Nebojša Horvat, Razvoj i uporedna analiza prorgamskih jezika za pametne ugovore na blokčejnu, UNS, (mentor D. Gajić), avgust 2019
Aleksa Mirković, "Blockchain distribuirani sistemi i njihova primena u farmaceutskoj industriji", UNS, (mentor D. Gajić), oktobar 2017
Marina Nenić, "Blockchain distribuirani sistemi i njihova primena u industriji video igara", UNS, (mentor D. Gajić), oktobar 2017
Vukan Turkulov, "Modifikacija PBRC algoritama sa primenama u problemima adaptivne regresije" UNS, (mentor M. Rapajić), septembar 2017
Jovana Vajagić, "Kriptografija zasnovana na rešetkama" (mentor V. Šenk), decembar 2016
Tijana Sekulić, "Kodiranje viševrednosnih razdvajajućih funkcija" (mentor J. Pantović), oktobar 2016
Milenko Maričić, "Rešavanje NP-teških optimizacionih problema korišćenjem simboličke provere modela i PSL jezika" (mentor S. Dautović), februar 2016
Svetlana Jakšić, (mentor J.Pantović), 2008.

Qualifying exam committee member

Vladimir Mandić, oktobar 2018
Marina Marčeta, oktobar 2018
Luka Mejić, oktobar 2018
Marina Milićević, septembar 2018
Alen Suljkanović, jul 2018
Sanja Ožvat, mart 2018

2017 2016 2015 2014 2013 2012 2011 2010