dr Mladen Nikolić

 
Home Courses (Serbian) Education Interests

Publications

Software

   
 

dr Mladen Nikolić
Assistant professor
Faculty of Mathematics
University of Belgrade

 

 

  URL: http://www.matf.bg.ac.rs/~nikolic
  Curriculum Vitae
  Google Scholar Profile
  Member of the ARGO group

 

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.