Automated reasoning group

Group Members

Predrag Janicic Predrag Janičić
Full professor

Research interests: SAT problem, SAT/SMT solving, geometrical reasoning, mathematical software

Personal page:
Filip Maric Filip Marić, PhD
Associate professor

Research interests: formal theorem proving, SAT/SMT solving, object-oriented programming, automated reasoning

Personal page:
Mladen Nikolic Mladen Nikolić, PhD
Assistant professor

Research interests: Coherent logic, SAT solving, data mining, machine learning, social network analysis, spatial data analysis

Personal page:
Milena Vujosevic Janicic Milena Vujošević Janičić, PhD
Assistant professor

Research interests: software verification and automated bug finding

Personal page:
Vesna Pavlovic Vesna Marinković, PhD

Research interests: automated and formal theorem proving, reasoning in geometry, mathematical logic in computer science

Personal page:
Sana Stojanovic Djurdjevic Sana Stojanović Đurđević, PhD

Research interests: automated reasoning in geometry

Personal page:
Milan Bankovic Milan Banković, PhD

Research interests: SAT/SMT solvers and their applications, mathematical logic in computer science, constraint programming.

Personal page:
Danijela Petrovic Danijela Petrović
PhD student (advisor: Filip Marić)

Research interests: formalization of geometry

Personal page:
Former members
Mirko Stojadinovic Mirko Stojadinović, PhD
Microsoft Research Center Serbia, Belgrade, Serbia

Research interests: Constraint Satisfaction Problems (CSP), SAT encoding

Personal page:
Nenad Dedić, PhD
(PhD from the Computer Science Department at Boston University, USA)
now at Google, USA

Research interests: cryptography, complexity theory, theoretical computer science

Personal page:
Dejan Jovanović, PhD
(PhD from the Department of Computer Science at New York University, USA),
now at SRI International, USA

Research interests: formal methods, verification, logic, decision procedures, sat solvers

Personal page:
Ivan Petrovic Ivan Petrović

Research interests: geometry reasoning

Personal page:
Milan Sesum Milan Šešum
Microsoft Research Center Serbia, Belgrade, Serbia

Research interests: application of SAT/SMT Solvers

Personal page:
Andrija Tomović, PhD
(PhD from Friedrich Miescher Institute for Biomedical Research, Basel, Switzerland)
now at Novartis, Basel, Switzerland

Research interests: bio-informatics, data mining

Personal page: