• General Information:
  • Contact Information:
    Faculty of Mathematics
    Studentski trg 16
    11000 Belgrade
    Serbia
    url: http://www.matf.bg.ac.rs/~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: Automated reasoning: SAT and SMT, automated theorem proving in coherent logic, geometry reasoning, intelligent geometry 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-2015) "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
  • PhD students: Vesna Marinković (b. Pavlović), Mladen Nikolić, Ivan Petrović, Sana Stojanović (former: Filip Marić (2009))
• Publications:
  • Books:
    • 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ć: Matematička logika u računarstvu, Beograd ("Mathematical Logic for Computer Science"), 2005. (5th edition 2009); in Serbian only
    • Goran Nenadić, Predrag Janičić, Aleksandar Samardžić: LaTeX za autore, Beograd, Kompjuter biblioteka, 2003. ("LaTeX for authors"); in Serbian only; primeri iz knjige
    • Irena Spasić, Predrag Janičić: Teorija algoritama, jezika i automata - zbirka zadataka, Matematicki fakultet, Beograd ("Theory of algorithms, languages and automata - collection of problems"), 2000; In Serbian only.
    • Predrag Janičić: Zbirka zadataka iz geometrije, ("Collection of problems in geometry"), Skripta internacional, Beograd, 1997. (7th, electronic edition 2007); in Serbian only
    • Predrag Janičić, Goran Nenadić: Osnovi LaTeX-a, VEDES, Beograd, 1995. ("Fundamentals of LaTeX"); in Serbian only.
  • Papers: >40 peer-reviewed papers in journals and conference proceedings; DBLP profile / Google Scholar profile / MAS profile / Links to full papers within CV
  • Selected Software: Pentomino (1993), Intelligent geometry tool GCLC (1996-2012), A system for uniform reduction to SAT URSA (2012)
  • Talks and Conferences: >70 talks at seminars, workshops and conferences (IJCAR, CADE, FroCoS, Calculemus, ADG,...)
• Professional Activities:
  • Program Committee member: ADG 2010, ADG 2012, CADE-24 (2013), CADGME 2009 (ConvMathAssist), CADGME 2010 (ConvMathAssist), CICM 2013, FM 2009, GCR 2010, GCR 2011, GCR 2012, SCDG 2011, THedu 2011, PDPAR 2003, PDPAR 2005, PLMMS 2009
  • Workshop Organization: FATPA 2008, FATPA 2009, FATPA 2010, FATPA 2011, FATPA 2012, PDP 2013
  • 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)
  • Programiranje 1 (1 godina/I smer): skripta, rezultati testova i ispita (2012/2013)
  • Programiranje 2 (1 godina/I smer): skripta, rezultati testova i ispita (2012/2013)
  • Računarska grafika (3. godina/I smer): skripta, rezultati testova i ispita (2012/13)
  • Veštačka inteligencija (3. godina/I smer): skripta, rezultati testova i ispita (2012/13)


• Other Interests: I enjoy arts
• Announcements:
  • PDP 2013, Workshop Progress in Decision Procedures: From Formalizations to Applications, Belgrade, Serbia, March 30, 2013.
  • CADE-24, Conference on Automated Deduction, Lake Placid, New York, USA, June 9-14, 2013.
  • CICM 2013, Conferences on Intelligent Computer Mathematics, Bath, UK, July 8-12, 2013.

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