Network of Excellence CARiMan   The Internet Portal for Computer Aided Risk Management
Home News Info Centers of Excellence Partner

 

Dr. Zoran Ognjanovic

Mathematical Institute of the Serbian Academia of Sciences and Arts
Kneza Mihaila 35

11000 Belgrade

Yugoslavia

http://www.mi.sanu.ac.yu

tel: 381-11-630-170
fax: 381-11-186-105
zorano@mi.sanu.ac.yu

 

 

Mathematical Institute of the Serbian Academia of Sciences and Arts

 

Mathematical Institute of the Serbian Academia of Sciences and Arts (http://www.mi.sanu.ac.yu/) is a research institute founded in 1946. Today, the Institute has almost 30 full-time and more than 200 part-time collaborators employed at over 30 different institutions, mostly Faculties of the Universities in Beograd, Novi Sad, Nis and Kragujevac that are involved in 12 fundamental research and 2 technological development projects funded by the Serbian Ministry of science.

 

Mathematical Institute has long experience in organizing pure and applied research and our possible contibutions to PatiMon can be in the following fields:

 

Mathematical logic group has distinguished results in the field of of theoretical and applied logic, for example in automated deduction, uncertain reasoning, classical, modal and fuzzy logics, proof and category theory, etc.

Collaborators of Mathematical Institute address certain open and interesting research topics within the framework of analysis, design and applications of cryptographic techniques.

Computation Intelligence and Information Technologies group is involved in developing tools and algorithms for non-stationary time series prediction, nonlinear system identification, classification, blind source separation and multichanel blind deconvolution. It has significant experience in the fields of Spectral analysis of digital signals using FFT and FFT like Discrete transforms, and digital image processing. Some of applications concern the domain of medical image processing, for example an automatic microscope cell image processing for Immunology analysis.

The fields of interest of Optimization group are metaheristic methods for solving NP-hard Combinatorial and Global optimization problems, more particularly, Variable Neighborhood search (VNS) metaheuristic with applications in solving Clustering and Pattern Recognition, Data Mining, Location, Transportation, Network optimization, etc.

The already achieved results of these groups, which have been reported in the leading international journals and international conferences, yield an appropriate base for the further research activities which can be parts of  CARiMan project.

3.2 Contribution to CARiMan:

 

Mathematical Institute of the Serbian Academia of Sciences and Arts’s intention is to participate in:

 

More precisly, we would like to participate in the following JPA:

·        A3:  Communication CARiManS - CARiManS for knowledge transfer

·        KM: Knowledge Management and Data Base System (here we can be JPA-Manager, if required by absence of other qualified partners – in fact we gave the final form for this JPA in the PatiMon proposal)

·        TI:  Transmission and interfaces, security of data transmission  

·        SP: Signal processing, classification, recognition and evaluation

·        D4: CARiMan Virtual magazine (Mathematical Institute developed a tool for Internet publication of  electronic journal editions which we would like to offer as our contribution to this JPA, www.komunikacija.org.yu/komunikacija/casopisi/index?stdlang=en)

·        We would also like to propose a new JPA called Hydro power and river CARiMan

 

 

CV of the partners

 

RESEARCHERS

 

Prof. Dr Dragić Banković

 

Prof. Dr Dragic Bankovic is full professor of algebra, mathematical logic and computer science at Mathematical institute at Faculty of Science, University of Kragujevac. He received his B.Sc. and M.Sc. degrees in 1970 and 1978, respectively. In 1980 he got PhD degree with a thesis Reproductive solutions of equations. He was Chair of Mathematical Institute at the Faculty of Science,University of Kragujevac in 1981-1985 and1999-2001. He was Dean of the Faculty of Science, University of Kragujevac in 2001-2002. His research interest concerns  statistical analysis in various fields of the science of medicine.

 

Prof. Dr Miodrag Rašković

 

Prof. Dr Miodrag Rašković is full professor of algebra and mathematical logic at Mathematical institute at Faculty of Science, University of Kragujevac. He received his B.Sc. and M.Sc. degrees in 1975 and 1978, respectively. In 1983 he got PhD degree with a thesis Logics with measures in Leibnitz’s universum. He was Chair of Mathematical Institute at the Faculty of Science,University of Kragujevac in 1989-1991. His research interest concerns  probabilistic logic and uncertain reasoning.  

 

Prof. Dr Nenad M. Mladenović

 

Prof. Dr Nenad M. Mladenović is a research professor and a project leader at the Mathematical Institute, Serbian Academy of Sciences and Arts, Belgrade, and visiting member of GERAD, University of Montreal. He received his B.Sc. and M.Sc. degrees in 1976 and 1982, respectively. In 1988 he got PhD degree with a thesis New nonlinear programming methods with application in location, allocation and transportation problems. He is President of Yugoslav Society of Industrial and Applied Mathematics. His research interests concern: Metaheuristic Methods (Variable Neighborhood Search, Tabu Search, Genetic Search, etc.) in Combinatorial and Global Optimization, and Numerical Algorithms and Mathematical Programming Methods. Dr Mladenovic published more than 40 monographs, chapters in handbooks and scientific papers in leading international journals. He gave several invited lectures at international conferences such as Metaheuristics international conference.

 

Dr Zoran Ognjanović

 

Dr Zoran Ognjanović is a research assistant professor and a project leader at the Mathematical Institute, Serbian Academy of Sciences and Arts, Belgrade, and visiting professor at Mathematical institute at Faculty of Science, University of Kragujevac. He received his B.Sc. and M.Sc. degrees in 1987 and 1993, respectively. In 1999 he got PhD degree with a thesis Some probabilistic logics and their application in computer sciences. His research interests concern: classical and nonclassical mathematical logic and its applications in computer science and artificial intelligence and uncertain reasoning.

 

Dr Dragan Radojević

 

Dr Dragan Radojević is a research professor and a project leader at the Mihailo Pupin Institute, Belgrade, and visiting professor at Technical faculty, University of Novi Sad. He received his B.Sc. and M.Sc. degrees in 1971 and 1978, respectively. In 1993 he got PhD degree with a thesis Subspacase modeling of linear systems. His research interest concerns: soft computing, fuzzy logic, hybrid and intelligenr systems.

 

Dr Miodrag Mihaljević

 

Dr Miodrag Mihaljević is a reseracher professor and a project leader at the Mathematical Institute, Serbian Academy of Sciences and Arts, Belgrade. He has held visiting positions at the University of Tokyo (1997-2001), and Sony Computer Science Laboratories (2001-2002), and currently he holds a visiting position at Sony Corporation, Tokyo, Japan. He received his B.S.E.E., M.Sc. and Ph.D. degrees in 1979, 1981 and 1990, respectively. His research area is the information processing including cryptology, coding theory and certain network security issues. Dr Mihaljevic published more than 50 papers in the leading international scientific publications (IEEE Trans. Inform. Theory, IEEE Trans. Comm., IEEE Comm. Lett., IEICE Trans. Fundamentals, IEICE Trans. Comm., Lect. Not. Comput. Sci., Jour. Cryptology, ZAMM) and conference proceeding. His research results have been cited more than 200 times in the leading international publications.

 

Dr Milan Marković

 

Dr Milan Marković received the B.S.E.E., M.S.E.E., and Ph.D. degrees in electrical engineering from Faculty of Electrical Engineering, University of Belgrade, Serbia, in 1989, 1992, and 2001, respectively. He is a leading researcher at the Mathematical Institute SANU, Belgrade and is currently a lecturer on Military Technical Academy for the “Secure Computer Networks” course. His research interests are in cryptographic algorithms, public key infrastructure, combined SW/HW security solutions, smart cards, robust speech analysis, coding and recognition, statistical pattern recognition, signal processing, multimedia communication, wireless communications and wearable computing. He is currently with NetSeT company, Belgrade, as a Project Manager of very sophisticated security projects, such as: PKI systems for National Bank of Serbia, PKI systems for commercial banks, as well as PKI systems for Ministries of Internal and Foreign Affaires

 

Dr Zoran Marković

 

Dr Zoran Marković received the B.A. (in 1971) and M.A. (in 1974) degrees from

Faculty of Mathematics of University of Belgrade, and Ph.D. (in 1979) from University of Pennsylvania, Philadelphia. He had visiting positions at University of California, Berkeley, University of California Davis, and University of Amsterdam (Institute for Logic, informatics and linguistics). Dr Markovic is a research associate professor at Mathematical institute Belgrade and the Director of the Institute. His research interest concerns  intuitionistic and the other modal logics and their application in intelligent reasoning.

 

Prof. Dr Dragan S. Janković

 

Dragan Janković is professor for Programming and Theory and methods of programming at Department for Computer Science at the Faculty of Electronics, University of Nis, Serbia. His PhD. these titled Optimisation of multiple-valued functions representation, was in domain of Computer Science. He was visiting researcher (1999 - 2002) at Siemens Research Centrum in Munich, Germany. He was referee of few conferences and workshops. He was supervisor of few B.Sc. theses. Currently he is project leader of project Medical Information system, supported by Ministry of Science of Republic Serbia. He is the author of a few textbooks, one monograph, some journal and conference papers.  His research interest is previously in domain of software system design for DIP (using UML and Object oriented programming). 

 

Prof. Dr Milena M. Stanković

 

Milena Stanković is professor for Programming languages and Theory of Compilers and head of Department for Computer Science at the Faculty of Electronics, University of Nis, Serbia. Her PhD. these titled Contributions to the Modular synthesis of the Logic Functions in the Spectral Domain was in domain of Computer Science. She was visiting researcher (1999 - 2002) at International Institute for Signal Processing at Tampere University of Technology, Finland. She was referee of few conferences and workshops and member of Programme committee of I Balkan Conference for Informatics, Thesaloniki (2003), and ETRAN - Yugoslavian Conference for ETRAN (2002, 2003). She was supervisor of few M.Sc. theses (7) and many B.Sc. theses. Currently she is project leader of project Virtual Web laboratories for permanent engineering education, supported by Ministry of Science of Republic Serbia. She is author of few textbooks, two monographs, few journal papers and many conference papers.  Her research interest is previously in domain of software system design for DIP (using UML, Web technologies and XML transport standards).

 

Prof. Dr Radomir S. Stanković

 

Radomir Stanković is professor for Logic design and Pattern recognition at Department for Computer Science at the faculty of Electronics, University of Nis, Serbia. His PhD. these titled "Differential operators on Groups, was in domain of Applied Mathematics". He was visiting professor (1999 - 2002) at International Institute for Signal Processing at Tampere University of Technology, Finland. He delivered as guest lectures at many universities: Kepler University,   Linz, Ausgtria (1998), Chuo University, Tokyo, Japan, (1992, 1997), Kyushu Institute of Technology, Iizuka (1997, 1995) etc. He is referee of few journals, including proc. IEE, IEEE Trans, Computers, CAD, VLSI Journal, MVL Journal, few conferences and workshops, member of Programme committee of  ACS'95, 96, 97, 89, 99, 2000, 2001, Szczecin, Poland, and reviewer for Mathematical Reviews. He was supervisor of one PhD. these, few M.Sc. theses and many B.Sc. theses. Currently he is project leader of project "Spectral techniques on Finite groups with application in signal processing and digital systems development", supported by Ministry of Science of Republic Serbia. He is the author of few books, monographs, chapter in monographs, many journal papers and conference paper.  His research interest is previously in domain of using Spectral methods based of Fourier analyses in signal processing.

 

Prof. Dr Miomir S. Stanković

 

Prof. Miomir Stanković is professor for Mathematics and Mathematical modeling at Faculty of Occupational Safety, University of Nis, Serbia. His PhD. these titled Differential operators on Groups, was in domain of Applied Mathematics. He is a member of AMS and IEEE. He was supervisor of some Ph. D. theses. Prof. Stankovic is member of Computation Intelligence and Information Technologies group. His research interest concerns Discrete transformations, Identification methods, Decision theory, Computational intelligence.

 

Dr  Jozef Kratica

 

Jozef Kratica was born in 1966 in Belgrade, Serbia, Yugoslavia. He received his B.S. degrees in mathematics (1988) and computer science (1988), M.Sc. in mathematics (1994) and Ph.D. in computer science (2000) from University of Belgrade, Faculty of Mathematics. In 2002, he joined Mathematical Institute as a researcher. His research interests include genetic algorithms (evolutionary computation), parallel and distributed computing and location problems.

 

 

DOCTORAL STUDENTS

 

Tanja Timotijević

 

Tanja Timotijević is a teaching assistant at the Mathematical institute at Faculty of Science, University of Kragujevac. She received her M.Sc. degree in 2003. Her research interest concerns automated deduction and artificial intelligence.

 

Ana Kaplarević

 

Ana Kaplarević is a teaching assistant at the Mathematical institute at Faculty of Science, University of Kragujevac. Her research interest concerns mathematical applications in computer science.

 

Višnja Babić

 

Višnja Babić is a teaching assistant at the Mathematical institute Belgrade. Her research interest concerns automated deduction and artificial intelligence.

 

Uroš Midić

 

Uroš Midić is a teaching assistant at the Mathematical institute Belgrade. His research interest concerns automated deduction and artificial intelligence.

 

Jelena Grmuša

 

Jelena Grmuša was born on Feb. 11th 1976. She graduated at Faculty of mathematics in Belgrade and continued further research in data mining, specialy in bioinformatics during postgraduated studies. She currently works as teaching assistant trainee at Faculty of mathematics in Belgrade.

 

Tatjana Davidović

 

Tatjana Davidović was born on Dec. 21st 1964. in Belgrade, Yugoslavia. She graduated at the Mathematical department of the University of Belgrade, in 1987, and obtained M.Sc. in Computer Science at the Mathematical department of the University of Belgrade, in  1992. She works as the research assistant, at the Mathematical Institute of Serbian Academy od Sciences and Arts, Belgrade. Her research interests involve Parallel Computing, Parallel Programming, Scheduling, Combinatorial Optimization, Automated Reasoning, Reliability Theory.

 

Dragan Urosević

 

Dragan Urosević graduated at the Mathematical department of the University of Belgrade, in 1987, and obtained M.Sc. in Computer Science at the Mathematical department of the University of Belgrade, in 1994. His research interests concern: Metaheuristic Methods in Combinatorial and Global Optimization, and Mathematical Programming Methods.

 

Branimir Todorović

 

Branimir Todorović received his M.Sc. in September 29, 2000 at the Faculty of Electronic Engineering. Currently hi is working on his Dissertation on on-line adaptation of recurrent neural network parameters and structure applying sequential Monte Carlo methods. His interests include sequential adaptation of neural networks parameters and structure, identification and control on nonlinear, non-stationary dynamic systems using neural networks, blind source separation and deconvolution.

 

Slavica Todorović Žarkula 

 

Slavica Todorović Žarkula  is postgraduate student at the Faculty of Electronic Engineering, University of Nis, Yugoslavia. Her interests concern: blind source separation and deconvolution, time series prediction, classification using nerual networks, Bayesian estimation aplaying extended Kalman fitler. She has been researcher and designer in the following projects: Mobile System for Intrusion Identification (responsibilities: analog modules, radio modules, seismic signal analysis) and Electronic kWh Meters (responsibilities: development and design of FIR filters using MATLAB and TI MSP430 Simulation Environment).

 

Publications 

 

MIS1. S. Zunic, D. Bankovic, G. Djordjevic-Denic, P. Cvetkovic, Possible significance of semi quantitative cytochemical analysis of alveolar macrophages in differencial diagnosis of lung diseases, The Europian respiratory journal, Vol. 8, 1996, 399.

 

MIS2. Hansen P. and Mladenović N., “Developments in Variable Neighbourhood Search”, in Esseys and Surveys in Metaheuristics Editors C. Ribeiro and P. Hanasen, pp. 415-439, Kluwer Academic Publishers, Dordrecht 2002.

 

MIS3. Zoran Ognjanovic, Jozef Kratica, Milos Milovanovic, A genetic algorithm for satisfiability problem in a probabilistic logic: A first report, 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2001, Toulouse.  Lecture notes in computer science (LNCS/LNAI), 2143, 805 -- 816, Springer-Verlag, 2001.

 

MIS4. Zoran Ognjanovic, Miodrag Raskovic, Some first order probability logics, Theoretical Computer Science, 247, 191 - 212, 2000.

 

MIS5. Dragan Radojevic, Logical measure - structure of logical formula Technologies for Constructing Intelligent Systems 2, Editors B. Bouchon-Meunier, J.G.-Rios, L. Magdalena, R. Yager, Physica-Verlag, 417-429, 2002.

 

MIS6. L. Michael, M. Mihaljevic, S. Haruyama and R. Kohno, "A framework for secure download for software defined radio", IEEE Communications Magazine, vol. 40, no. 7, pp. 88-96, July 2002.

 

MIS7. Stankovic M. Falkowski B.J. Jankovic. D. Stankovic, R. S. "Calculation of the Paired Haar transform trough shared Binary decision diagrams" Computers and Electrical Engineering, An International Journal, Vol. 29. No. 1. januar 2003, 13-24.

 

MIS8. Stankovic, R.S., Stankovic, M., "Calculation of Gibbs Derivatives on finite Abelian groups through decision Diagrams", Journal of Approximation Theory and Its Applications, Vol. 14, No. 4, 1998, 12-25.

 

MIS9. T.Unkašević, M.Marković, G.Đorđević, “Optimization of RSA algorithm implementation on TI TMS320C54x Signal Processors Based on a Modified Karatsuba-Offman’s algorithm,” ECMCS’2001, 11-13 September, 2001, Budapest.

 

MIS10. M.S. Stankovic, M.V. Vidanovic, S.B. Trickovic, Some series over the product of two trigonometric functions and series involving Bessel functions, Zeitschr fur analysis und  ihre Anwend.  20 No 1 (2001) 235-246.

 

Network of Excellence CARiMan   The Internet Portal for Computer Aided Risk Management
Home News Info Centers of Excellence Partner