|
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
|
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.
- 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.
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