

Home  Courses (Serbian)  Education  Interests 
dr Mladen Nikolić

URL: http://www.matf.bg.ac.rs/~nikolic

I am an assistant professor at the Faculty of Mathematics, University of Belgrade. In 2005. I graduated from the Faculty of Mathematics. In 2008. I defended my master thesis "A methodology for selecting suitable parameter values for SAT solvers". In 2013. I defended my PhD thesis "Guiding search in automated theorem proving". My main research fields fields are automated reasoning and data mining. I am a member of the Automated Reasoning GrOup (ARGO) at the Faculty of Mathematics. 