![]() ![]() ![]() Research Group: Automated Reasoning GrOup (ARGO).Research Field: Artificial intelligence, Automated reasoning: SAT and SMT, automated theorem proving inĬoherent logic, geometry reasoning, intelligent mathematical software.(1987), Best student award of University of Belgrade (1993), City of Belgrade Award (2004) Selected Awards: First-placed at Yugoslav federal competition in mathematics.Office in Simina 2 at the Faculty of Mathematics, Studentski trg 16.īSc (1993 gpa 10 out of 10), MSc (1996) and PhD (2001) in Computer Science from Faculty of Redovni profesor Katedra za računarstvo i informatiku,
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |