|
|
Content
- Research Interests
- Selected publications
- Education
- Professional Experience
- Miscellaneous
- Back to the Institute Home Page
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).
Education
Sep., 1999Ph.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., 1993M. 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., 1987B.Sc. in Mathematics, Belgrade University
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
Miscellaneous
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
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
