Group Members
 |
Predrag Janičić Full professor Research interests: SAT problem, SAT/SMT solving, geometrical reasoning, mathematical software Personal page: http://www.matf.bg.ac.rs/~predrag.janicic |
 |
Filip Marić, PhD Full professor Research interests: formal theorem proving, SAT/SMT solving, object-oriented programming, automated reasoning Personal page: http://www.matf.bg.ac.rs/~filip.maric |
 |
Mladen Nikolić, PhD Associate 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/~mladen.nikolic |
 |
Milena Vujošević Janičić, PhD Associate professor Research interests: software verification and automated bug finding Personal page: http://www.matf.bg.ac.rs/~milena.vujosevic.janicic |
 |
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/~vesna.marinkovic |
 |
Sana Stojanović Đurđević, PhD Assistant professor Research interests: automated reasoning in geometry Personal page: http://www.matf.bg.ac.rs/~sana.stojanovic.djurdjevic |
 |
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.bankovic |
 |
Danijela Simić, PhD Assistant professor Research interests: formalization of geometry Personal page: http://www.matf.bg.ac.rs/~danijela.simic |
 |
Mirko Spasić, PhD Assistant professor Research interests: sparql, query containment problem, mathematical logic in computer science, applications of SAT/SMT solvers Personal page: http://www.matf.bg.ac.rs/~mirko.spasic |
| Former members | |
 |
Mirko Stojadinović, PhD Microsoft Research Center Serbia, Belgrade, Serbia Research interests: Constraint Satisfaction Problems (CSP), SAT encoding |
|
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 |
|
 |
Ivan Petrović Research interests: geometry reasoning Personal page: |
 |
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: |