Predrag Janičić

Predrag Janičić is a full professor at the Department for Computer Science, Faculty of Mathematics, University of Belgrade. He has been actively contributing to the fields of artificial intelligence, automated reasoning, and mathematical software development for over two decades. His work bridges theoretical computer science with practical applications in education and research.

His educational background includes a BSc (1993, GPA 10 out of 10), MSc (1996), and PhD (2001), all in Computer Science from the Faculty of Mathematics, University of Belgrade. His academic journey began with excellence, having won the First-placed at Yugoslav federal competition in mathematics (1987) and the Best student award of University of Belgrade (1993).

Professor Janičić's research spans multiple interconnected domains within computer science and mathematics. His primary focus is on automated reasoning systems, particularly in synthetic geometry, where he has developed innovative approaches that combine constraint solving with coherent logic. He has made significant contributions to the field of theorem proving, creating systems capable of generating both formal and human-readable proofs. His work on geometry constructions has led to practical tools used worldwide for mathematical visualization and education. The integration of artificial intelligence techniques with mathematical reasoning forms another important thread in his research portfolio, demonstrating how computational methods can enhance mathematical discovery and education.

His recent publications show a consistent focus on advancing automated reasoning in geometry, with particular emphasis on making theorem proving more accessible through visualization and constraint-based approaches. The trend in his work demonstrates a progression from theoretical foundations to practical implementations, with an increasing focus on making complex mathematical reasoning understandable and usable for broader audiences. His research has evolved to incorporate modern computational techniques while maintaining strong connections to classical mathematical problems.

• First-placed at Yugoslav federal competition in mathematics (1987)
• Best student award of University of Belgrade (1993)
• City of Belgrade Award (2004)

Professor Janičić has successfully advised four PhD students to completion, with the most recent graduation in 2016. His research has been supported by numerous prestigious grants including those from British Scholarship Trust (UK), EPSRC (UK), Coimbra Group Hospitality Scheme (Portugal), DAAD (Germany), OAD (Austria), Egide/Pavle Savic (France/Serbia), COST IC0901 (EU), SCOPES (Switzerland), and as grant holder for Serbian Ministry of Science projects 144030 (2006-2010) and 174021 (2011-2019) titled 'Automated Reasoning and Data Mining'.

He leads the Automated Reasoning GrOup (ARGO) which has produced significant work in automated theorem proving, geometric reasoning, and SAT/SMT solving. The group's flagship project, GCLC (Geometry Constructions -> LaTeX Converter), has evolved from a simple LaTeX figure generator to a comprehensive mathematical visualization and theorem proving platform with thousands of users worldwide. The group maintains active collaborations with institutions across Europe and has contributed to numerous international conferences and research projects in automated reasoning.