[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

Content

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.

Education

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.

Professional Experience

Jun., 1989 - present
Mathematical Institute, Belgrade
2005 - 2006, 2007 - 2008
Faculty of Mathematics, University of Belgrade, teaching a course on computability and formal languages
2009 - 2010
Faculty of Mathematics, University of Belgrade, teaching a course on computability
2010 - 2012
Faculty of Mathematics, University of Belgrade, teaching a course on discrete mathematics
2012 - 2013
Faculty of Mathematics, University of Belgrade, teaching a course on computability
2013 - 2014
Faculty of Mathematics, University of Belgrade, teaching a course on computability
1999 - 2010
Faculty of Science, University of Kragujevac, teaching a course on logic in computer science
1989 - 1995
Mathematical Secondary School, Belgrade
Nov., 1987 - May, 1989.
Mihailo Pupin Institute, Belgrade, Department of Robotics
Back to the content.

Miscellaneous

Addresses

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