UNIVERSITY OF BELGRADE
DEPARTMENT FOR COMPUTER SCIENCE

ARGO

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: http://www.matf.bg.ac.rs/~janicic
Filip Maric Filip Marić, PhD
Associate professor

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

Personal page: http://www.matf.bg.ac.rs/~filip
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: http://www.matf.bg.ac.rs/~nikolic
Milena Vujosevic Janicic Milena Vujošević Janičić, PhD
Assistant professor


Research interests: software verification and automated bug finding

Personal page: http://www.matf.bg.ac.rs/~milena
Vesna Pavlovic Vesna Marinković, PhD
Assistant professor

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

Personal page: http://www.matf.bg.ac.rs/~vesnap
Sana Stojanovic Djurdjevic Sana Stojanović Đurđević, PhD

Research interests: automated reasoning in geometry

Personal page: http://www.matf.bg.ac.rs/~sana
Milan Bankovic Milan Banković, PhD
Assistant professor

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

Personal page: http://www.matf.bg.ac.rs/~milan
Danijela Petrovic Danijela Petrović
PhD student (advisor: Filip Marić)

Research interests: formalization of geometry

Personal page: http://www.matf.bg.ac.rs/~danijela
Former members
Mirko Stojadinovic Mirko Stojadinović, PhD
Microsoft Research Center Serbia, Belgrade, Serbia

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

Personal page: http://www.matf.bg.ac.rs/~mirkos
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: http://www.cs.nyu.edu/~dejan
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: