Mladen Nikolić

 
Home Courses (Serbian) Education Interests

Publications

Software

   
 

PhD: May 2013.

2009–2013. PhD degree from Department of Computer Science, Faculty of Mathematics, University of Belgrade. Thesis "Guiding Search in Automated Theorem Proving", advisor: prof. Predrag Janičić.
Thesis (Serbian)

MSc: December 2008.

2005–2008. Master of Science degree from Department of Computer Science, Faculty of Mathematics, University of Belgrade. GPA 10.00. Thesis "A Methodology of Selecting Suitable Parameter Values for SAT Solvers", advisor: prof. Predrag Janičić.
Thesis (Serbian)

BSc: July 2005.

2000–2005. Department of Computer Science, Faculty of Mathematics, University of Belgrade. Graduated in July 2005. with GPA 9.31 (out of 10).