Zoran Ognjanović

Dr Zoran Ognjanović, (http://www.mi.sanu.ac.rs/~zorano) , Research Professor at the Mathematical Institute of the Serbian Academy of Sciences and Arts, received his Ph.D. degree in 1999. Project leader in a number of fundamental research and technological development projects including two digitization UNESCO projects conducted as part of its Participation Programme. From 2006 to 2010, President of the Committee for digitization of the Commission of the Republic of Serbia for UNESCO. His research interests concern: logics for uncertain reasoning, applications of mathematical logic in computer science and artificial intelligence, automated theorem proving, applications of heuristics to satisfiability problem, and digitization of cultural and scientific heritage. He received the Ministry of Science Award for research results achieved in the period 2002 – 2003 and the award of the Serbian Academy of Sciences and Arts in mathematics and related Science for 2013.