- Naziv projekta: Algebarske, logičke i kombinatorne metode sa primenama u teorijskom računarstvu
- Oznaka projekta: OI174018
- Institucije učesnice u projektu: PMF (Novi Sad) i Ekonomski fakultet (Subotica)
- Status u projektu: nosilac
- Rukovodilac projekta: Petar Marković
- Vrsta projekta: Osnovna istraživanja
- Period realizacije projekta: 2011.-2019.