Prof. dr Zoran Ognjanović

Zoran Ognjanović rođen je 27.02.1964. godine u Beogradu, od oca Dragoslava i majke Marije, devojačko Kalogjera. Osnovnu i srednju školu je završio u Beogradu. Studirao je na Matematičkom fakultetu Beogradskog od 1983. do 1987. godine, sa prosečnom ocenom 9,28. Po završetku redovnih studija upisao je magistarske studije je na istom fakultetu. Magistarski rad pod nazivom „Dokazivač teorema u modalnom računu S4 zasnovan na metodi dualnih tabloa“ odbranio je 1993. Doktorske studije upisao je 1995. na Univerzitetu u Kragujevcu gde je odbranio doktorsku disertaciju pod nazivom „Neka verovatnosne logike i njihove primene u računarstvu“. Mentor njegove doktorske disertacije bio je profesor dr Miodrag Rašković. Odmah po odbrani doktorske disertacije izabran je za naučnog saradnika. Za višeg naučnog saradnika izabran je 2003. godine, a za naučnog savetnika 2008. godine. U Institutu Mihailo Pupin je radio od 1988. do 1989. godine, nakon čega se zaposlio u Matematičkom institutu SANU, gde radi i danas. Od 2015. godine direktor je Matematičkog instituta SANU.

Na Matematičkom fakultetu biran je najpre za docenta, potom za vanrednog profesora. Tamo je predavao predmete iz matematičke logike i diskretne matematike duži niz godina. Predavao je od 1999. do 2008. na Prirodno-matematičkom fakultetu u Kragujevcu predmet Algebra i logika u računarstvu. Predavač je na doktorskim studijama na Fakultetu tehničkih nauka u Novom Sadu i na Ekonomskom fakultetu u Beogradu.

Glavna oblast naučnog rada dr Zorana Ognjanovića je matematička logika i njene primene. Ima veći broj radova iz verovatnosne logike gde se posebno zanima za teoreme potpunosti i odlučivosti raznih varijanti ovih logika. Radovi su mu objavljeni u vodećim međunarodnim časopisima. Do sada je autor i/ili koautor sledeće objavljene publikacije: Jedna monografija na engleskom jeziku (Springer), dve monografije na srpskom jeziku, devet poglavlja u međunarodnim monografijama, 56 radova u međunarodnim časopisima (na SCI listi), 71 radova publikovanih u zbornicima međunarodnih konferencija. Među najznačajnije publikacije spaadju: Zoran Ognjanović, Miodrag Rašković, Some first order probability logics, Theoretical Computer Science, 247, 191 – 212, 2000; Zoran Ognjanović, Discrete Linear-time Probabilistic Logics: Completeness, Decidability and Complexity, Journal of Logic Computation, Vol. 16, No. 2, 257-285, 2006; Zoran Marković, Miodrag Rašković, Zoran Ognjanović, A Logic with Approximate Conditional Probabilities that can Model Default Reasoning, International Journal of Approximate Reasoning Volume 49, Issue 1, 52-66, 2008; Zoran Ognjanović, Miodrag Rašković, Zoran Marković, Probability Logics: Probability-Based Formalization of Uncertain Reasoning, Springer, 2016.

Takođe se zanima za digitalizaciju kulturno-naučnog nasleđa. Zaslužan je za uvođenje standarda u ovoj oblasti u našoj zemlji i povezivanje vodećih ustanova iz oblasti nauke i kulture: SANU, Narodna bibloteka u Beogradu, Narodni muzej, Matematički institut SANU i druge.

Dobitnik je sledećih nagrada: 1. Nagrada Srpske akademije nauka i umetnosti iz oblasti matematike i srodnih nauka za 2013. 2. Godišnja nagrada Ministarstva za nauku Republike Srbije za 2004. godinu za postignute rezultate u osnovnim istraživanjima. 3. Godišnja nagrada Narodne tehnike za 1994. godinu. 4. Nagrada za najbolji rad u Sekciji za robotiku, Jugoslovenska konferencija ETAN-a, Sarajevo, 1988.

Član je Južnoslovenske akademija nelinearnih nauka, JANN. American Mathematical Society, AMS, i Association for Computing Machinery, ACM.

Do sada je bio mentor sledećih doktorskih disertacija: 1. Dragan Doder u izradi doktorske disertacije „Primene infinitarnih logika u verovatnosno-temporalnom rezonovanju i teoriji modela“, Matematički fakultet, Univerzitet u Beogradu, odbranjena 2011. godine. 2. Angeline Ilić Stepić u izradi doktorske disertacije „O formalizaciji p-adskih, kvalitativnih i uslovnih verovatnoća“, Matematički fakultet, Univerzitet u Beogradu, odbranjena 2012. 3. Bojana Marinkovića u izradi doktorske disertacije „Interconnection of Heterogeneous Overlay Networks: Definition, Formalization and Applications“, Fakultet tehničkih nauka, Univerzitet u Novom Sadu, odbranjena 2014. 4. Tatjane Stojanović u izradi doktorske disertacije „Razvoj i analiza metaheurističkih metoda za ispitivanje zadovoljivosti“, Prirodnomatematički fakultet, Univerzitet u Kragujevcu, odbranjena 2016. 5. Ko-mentor (sa prof. Gordanom Odalović) Dejana Maslikovića u izradi doktorske disertacije „Kapacitet digitalne tehnologije za razvoj inkluzivnog društva“, Univerzitet u Beogradu, odbranjena 2016. godine.

Rukovodio je sledećim nacionalnim naučnim projektima: 2002. – 2005. Projekat osnovnih istraživanja 1379 (Metode matematičke logike u podršci zaključivanju u realnim situacijama). 2006. – 2010. Projekat osnovnih istraživanja 144013 (Reprezentacije logičkih struktura i primene u računarstvu). 2011 – 2018. Projekat integralnih ii nterdisciplinarnih istraživanja III 44006, Razvoj novih informaciono-komunikacionih tehnologija, korišćenjem naprednih matematičkih metoda, sa primenama u medicini, telekomunikacijama, energetici, zaštiti nacionalne baštine i obrazovanju

Učestvovao je sledećim u projektima međunarodne saradnje: 2004. – 2007. DAAD project Multimedia Technology for Mathematics and Computer Science Education. 2004 – 2007, Digitization and Electronic Presentation of Medieval Serbian Monasteries, UNESCO Participation Programme. 2006. – 2007. ADHOCSYS, Wireless Ad-Hoc Broadband Monitoring System, Sixth Framework Programme Priority FP6-2004-IST-4, Contract no.: 026548. 2007. – 2009. SWEB, Secure, interoperable, cross border m-services contributing towards a trustful European cooperation with the non-EU member Western Balkan countries, Sixth Framework Programme FP6-2005-IST-6, Information Society Technologies Contract no.: 044979. 2007. – 2009. DEUKS, Doctoral School towards European Knowledge Society, Tempus Project JEP – 41099 – 2006. 2012. – 2016. Collaborative EuropeaN Digital/Archival Infrastructure (CENDARI), FP7-INFRA-2011-1.1.3. 2012. – 2014 Visuality & Mathematics: Experiential Education of Mathematics through Visual Arts, Sciences and Playful Activities , Tempus Project 530394-TEMPUS-1-2012-1-HU-TEMPUS-JPHES. 2013. – 2015. Medieval Europe – Medieval Cultures and Technological Resources, ISCH COST Action IS1005. 2013. – 2016. Colour and Space in Cultural Heritage (COSCH) MPNS COST Action TD1201.