|
|
|
Home People Research Publications Notes Seminar Events Downloads
 |
Predrag Janičić Associate professor Research interests: SAT problem, SAT/SMT solving, geometrical reasoning, mathematical software Personal page: http://www.matf.bg.ac.rs/~janicic |
 |
Filip Marić, PhD Teaching Assistant Research interests: formal theorem proving, SAT/SMT solving, object-oriented programming, automated reasoning Personal page: http://www.matf.bg.ac.rs/~filip |
 |
Milan Banković PhD student (advisor: Predrag Janičić) Research interests: SAT/SMT solvers and their applications Personal page: http://www.matf.bg.ac.rs/~milan |
 |
Mladen Nikolić PhD student (advisor: Predrag Janičić) Research interests: data mining, machine learning, SAT solving, statistics, geostatistics Personal page: http://www.matf.bg.ac.rs/~nikolic |
 |
Vesna Pavlović PhD student (advisor: Predrag Janičić) Research interests: formal theorem proving, automated reasoning, geometry, mathematical logic in computer science Personal page: http://www.matf.bg.ac.rs/~vesnap |
 |
Sana Stojanović PhD student (advisor: Predrag Janičić) Research interests: automated theorem proving, computational logic Personal page: http://www.matf.bg.ac.rs/~sana |
| Associated members | |
 |
Jelena Graovac PhD student (advisor: Gordana Pavlović-Lažetić) Research interests: XML databases, information retrieval, text classification Personal page: http://www.matf.bg.ac.rs/~jgraovac |
 |
Milan Šešum PhD student (advisor: Predrag Janičić) Research interests: application of SAT/SMT Solvers Personal page: http://www.matf.bg.ac.rs/~sesum |
 |
Milena Vujošević-Janičić PhD student (advisor: Dušan Tošić) Research interests: software safety and verification Personal page: http://www.matf.bg.ac.rs/~milena |
| Former members | |
|
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: http://cs-people.bu.edu/nenad |
|
|
Dejan Jovanović PhD student at the Department of Computer Science at New York University, USA Research interests: formal methods, verification, logic, decision procedures, sat solvers Personal page: http://www.cs.nyu.edu/~dejan |
|
|
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: http://www.fmi.ch/members/andrija.tomovic |