|
|||||||||||
Home | Courses (Serbian) | Education | Interests |
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ć. 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ć. 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).
|