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
- Selected publications
- Education
- Professional Experience
- Miscellaneous
- Back to the Institute Home Page

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.

- 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

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

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