[Picture of Z.Ognjanovic] Zoran Ognjanović
Research Professor
Mathematical Institute SANU
Kneza Mihaila 36, 11000 Belgrade
Serbia (ex: Serbia and Montenegro, Yugoslavia)
Tel: (381-11) 2630-170; (381-11) 2180-591
Fax: (381-11) 2186-105
E-mail: zorano@mi.sanu.ac.rs


Research Interests

My main research focuses on: applications of (nonclassical) mathematical logic in computer sciences and artificial intelligence, theorem proving, reasoning about uncertainty, parallel programming ...
My additional research interests: digitization of cultural heritage (see: National Center for Digitization).

Back to the content.


Sep., 1999
Ph.D. in Mathematics, University of Kragujevac
Thesis: Neke verovatnosne logike i njihove primene u racunarstvu
( Some probability logics and their applications in computer sciences )
Advisor: Miodrag Rašković
Jan., 1993
M. Sc. in Mathematics, Belgrade University
Thesis: Dokazivac teorema u modalnom racunu S4 zasnovan na metodi dualnih tabloa
(A theorem prover for modal logic S4 based on the dual tableau method )
Advisor:Aleksandar Krapež
Oct., 1987
B.Sc. in Mathematics, Belgrade University

Back to the content.



ACM Computing Classification System

AMS 2000 Mathematics Subject Classification

Institute for Scientific Information (ISI) Journal list (August, 2000)
Classification of journals from the SCI-list

Academic Press, free access

Mathematical Reviews, MatSciNet

Back to the content.

Created, July 20, 1999 - Zoran Ognjanović

"The good Christian should beware the mathematician and all those who make empty prophecies. The danger already exists that the mathematicians have made a covenant with the devil to darken the spirit and to confine man in the bonds of hell."
Augustine of Hippo (Aurelius Augustinus Hipponensis, November 13, 354 - August 28, 430, Bishop of Hippo Regius, also known as St. Augustine)

"Computer science is no more about computers than astronomy is about telescopes."
Edsger Dijkstra (1930 - 2002, Dutch computer scientist, received the 1972 Turing Award for fundamental contributions to developing programming languages)

"Whenever you find yourself on the side of the majority, it is time to reform (or pause and reflect)."
Mark Twain, 1904.

"Perfect behavior is born of complete indifference."
Franis de La Rochefoucauld

"We mathematicians are true poets with a calling. But we still must prove our poetry!"
Leopold Kronecker

"Poetry is as precise a thing as geometry."
Gustave Flaubert