dr Mladen Nikolić

 
Home Courses (Serbian) Education Interests

Publications

Software

   
 

dr Mladen Nikolić
Faculty of Mathematics
University of Belgrade
Studentski trg 16, Belgrade, Serbia

 

 

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

 

I do teaching and research 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.