Predrag Janičić
full professor
Department of Computer Science, Faculty of Mathematics, University of Belgrade

redovni profesor
Katedra za računarstvo i informatiku, Matematički fakultet, Univerzitet u Beogradu

• General Information:
  • Contact Information:
    Faculty of Mathematics
    Studentski trg 16
    11000 Belgrade
    Serbia
    url: http://www.matf.bg.ac.rs/~predrag.janicic
    email:
    
  • Information for Visitors: Office in Simina 2 at the Faculty of Mathematics, Studentski trg 16.
  • Education: BSc (1993; gpa 10 out of 10), MSc (1996) and PhD (2001) in Computer Science from Faculty of Mathematics, University of Belgrade
  • Selected Awards: First-placed at Yugoslav federal competition in mathematics (1987), Best student award of University of Belgrade (1993), City of Belgrade Award (2004)
  • Curriculum Vitae: English Serbian
• Research:
  • Research Field: Artificial intelligence, Automated reasoning: SAT and SMT, automated theorem proving in coherent logic, geometry reasoning, intelligent mathematical software
  • Research Group: Automated Reasoning GrOup (ARGO)
  • Research Projects, Fellowships, Grants: British Scholarship Trust (UK), EPSRC (UK), Coimbra Group Hospitality Scheme (Portugal), DAAD (Germany), OAD (Austria), Egide/Pavle Savic (France/Serbia), COST IC0901 (MC member) (EU), SCOPES (Switzerland), Ministry of Science of Serbia (grant holder of the research projects 144030 (2006-2010) and 174021 (2011-2019) "Automated Reasoning and Data Mining")
  • Research Visits: U Edinburgh, U Birmingham, U Heriot-Watt (Edinburgh), U Cambridge, TU Berlin, U Genova, U Coimbra, U Linz, U Graz, U Rome "La Sapienza", EPFL (Lausanne), U Strasbourg, U Milano, FU Moscow
  • Former PhD students: Filip Marić (2009), Mladen Nikolić (2013), Vesna Marinković (b. Pavlović) (2015) Sana Stojanović Đurđević (2016)
• Publications:
  • Books:

    Filip Marić, Predrag Janičić: Programiranje 1 - osnove programiranja kroz programski jezik C, ("Programming 1 -- fundamentals of programming through language C"), format A4 Matematički fakultet, Beograd, 2015/2024. (seventh edition); in Serbian only	Predrag Janičić, Filip Marić: Programiranje 2 - osnove programiranja kroz programski jezik C, ("Programming 2 -- fundamentals of programming through language C"), format A4 Matematički fakultet, Beograd, 2022/2024. (fourth edition); in Serbian only	Predrag Janičić, Mladen Nikolić: Veštačka inteligencija ("Artificial Intelligence"), format A4 Matematički fakultet, Beograd, 2024. (fourth edition); in Serbian only
    Predrag Janičić: Zbirka zadataka iz geometrije, ("Collection of problems in geometry"), Matematički fakultet, Beograd, 1997. (7th, electronic edition 2007); in Serbian only	Irena Spasić, Predrag Janičić: Teorija algoritama, jezika i automata - zbirka zadataka, ("Theory of algorithms, languages and automata - collection of problems") Matematički fakultet, Beograd, 2000; In Serbian only.	Predrag Janičić: Matematička logika u računarstvu, ("Mathematical Logic for Computer Science"), Matematički fakultet, Beograd, 2005. (5th edition 2009); in Serbian only
    Ben Goertzel, Nil Geisweiller, Lucio Coelho, Predrag Janičić, Cassio Pennachin: Real-World Reasoning: Toward Scalable, Uncertain Spatiotemporal, Contextual and Causal Inference, Atlantis Press, 2011.	Predrag Janičić, Goran Nenadić: Osnovi LaTeX-a ("Fundamentals of LaTeX"); VEDES, Beograd, 1995; in Serbian only.	Goran Nenadić, Predrag Janičić, Aleksandar Samardžić: LaTeX 2e za autore ("LaTeX for authors"), Kompjuter biblioteka, Beograd, 2003. in Serbian only; Elektronska verzija knjige i primeri iz knjige

  • Books chapters:

    Julien Narboux, Predrag Janičić, Jacques Fleuriot: Computer-Assisted Theorem Proving in Synthetic Geometry chapter in Handbook of Geometric Constraint Systems Principles, CRC Press/Taylor & Francis Group, 2018.

  • Papers: ~60 peer-reviewed papers in journals and conference proceedings; DBLP profile / Google Scholar profile / MAS profile / ORCID profile / Links to full papers within CV
  • Talks and Conferences: >80 talks at seminars, workshops and conferences (IJCAR, CADE, FroCoS, Calculemus, ADG,...)
  • Invited Lectures: CECiiS 2011 (Varazdin, Croatia), SuRI 2011 (Lausanne, Switzerland), CADGME 2014 (Halle, Germany), ADG 2016 (Strasbourg, France), LAP 2018 (Dubrovnik, Croatia), FORUM 2019 (Moscow, Russia)
• Selected Software:

  Intelligent geometry tool GCLC (since 1995)

  System for uniform reduction to SAT URSA (since 2012)

  Theorem prover Larus (since 2019)



• Professional Activities:
  • General Chair: ADG 2023 (Automated Deduction in Geometry), Belgrade, Serbia, September 20-22, 2023.
  • Program Committee Chair: ADG 2021 (Automated Deduction in Geometry), RISC, Hagenberg, Austria, September 15-17, 2021.
  • Program Committee member: ADG 2010, ADG 2012, ADG 2014, ADG 2018, ADG 2025, AISC 2018, CADE-24 (2013), CADGME 2009 (ConvMathAssist), CADGME 2010 (ConvMathAssist), CICM 2013, CICM 2014, CICM 2015, ECAI 2025, FM 2009, GCR 2010, GCR 2011, GCR 2012, IJCAI 2021, IJCAI 2022, IJCAI 2023, IJCAI 2024, IJCAI 2025, LPAR 2023, PDPAR 2003, PDPAR 2005, PLMMS 2009, PxTP 2021, SCDG 2011, THedu 2011, VI 2023
  • Workshop Organization: FATPA 2008, FATPA 2009, FATPA 2010, FATPA 2011, FATPA 2012, PDP 2013, SAIM 2020
  • Refereeing: journals Journal of Automated Reasoning, Theoretical Computer Science, Information and Computation ... and conferences IJCAR, FM, ADG, FroCoS, ...
  • Professional Societies: Association for Automated Reasoning
• Teaching and Course Materials (in Serbian only):

  Uvod u programiranje (1 godina/I smer) (ovo su RADNE verzije materijala i biće menjane tokom semestra): strana kursa skripta (29.01.2026) zbirka (30.12.2024) rezultati testova i ispita UP i P1 (2024/2025) rezultati testova i ispita UP i P1 (2025/2026)	Uvod u algoritme (1 godina/I smer): strana kursa moodle kurs skripta, radna verzija (15.07.2025) rezultati testova i ispita UA i P2 (2024/2025)	Veštačka inteligencija (3. godina/I smer): knjiga (četvrto izdanje, februar 2024, format B5) knjiga u formatu A4 Errata za prvo izdanje(17.05.2021) Pitanja za proveru znanja (24.03.2021) rezultati ispita (2024/25)
  Geometrijski algoritmi (izborni predmet, master studije, I smer/R smer): skripta rezultati (2024/25)	Problem SAT i svođenje na SAT (4. godina/I smer, deo predmeta Specijalni kurs): skripta



• Other:
  • Consultancy: Consultancy for a number of companies, including ANOX, Novamente, Microsoft.
  • Other Interests: I love arts
  • Announcements:
    • IJCAI 2025 (International Joint Conference on Artificial Intelligence, Montreal, Canada, August 16-22, 2025.
    • ECAI 2025, ECAI 2025 (28th European Conference on Artificial Intelligence), Bologna, Italy, October, 25-30, 2025.

This page is always under construction, but is never up-to-date.