Project 174026

Representations of logical structures and formal languages and their application in computing

Leader: Professor Silvia Ghilezan


Mathematical logic comprises both the mathematical study of logical systems and the applications of formal logic to other areas of mathematics. Apart from its fundamental role in the development of mathematics, in the last few decades mathematical logic has become the foundation of computer science and artificial intelligence. The research in this project will be directed towards fundamental research and related relevant applications in computer science. The basic research directions will be:

The main research topics will be:

The comprehensive research team has recognised expertise and well-established international collaboration. The researchers take part in European projects, which will ensure that the project results will follow the state-of-the-art of international research.

Project Description

The research will include all of the basic areas of mathematical logic: proof theory, model theory, set theory, type theory, as well as relevant applications of logic in computer science and logical design. The project research and activities will be divided across three subprojects:

The basic research directions of the subprojects are:

The fundamental research in subproject (a) will be coordinated with more practically oriented research in subprojects (b) and (c), which will, in turn, motivate new fundamental research. The research will be conducted using the equipment purchased in the III 044006 project of the Mathematical Institute.

Expected key results

The research in this project will be directed towards fundamental research in all basic areas of mathematical logic and related relevant applications in computer science. The expected results are:

Research Relevance

The addressed topics encompass a wide range of fundamental research in mathematical logic in all of its basic areas: proof theory, model theory, set theory, type theory. The relevance of this research lies is its implementation in the foundations of computer science, programming languages, artificial intelligence, software verification, and logical design, as well as the development of new concepts in computer science, such as concurrency. The interaction between the theoretical results and the demands of the practice will be both a driving force and an important positive result of the proposed research. Active, on-going international research within all these fields illustrates the actuality of the proposed Project. The comprehensive project team, consisting of over 40 researchers, gathers together researchers from the Mathematical Institute of the Serbian Academy of Sciences and all of the four state universities in Serbia: the University of Belgrade, the University of Novi Sad, the University of Nis and the University of Kragujevac. The team has recognized expertise and well-established international collaboration. The number of early stage researchers and PhD students is significant, over 20%. Great many of the researchers in question have already taken part in many past, are involved in many current, and will be further involved in future European scientific projects, such as FP, COST, and bilateral projects, thus ensuring that the results of the project will closely follow state-of-the-art international research. The project involves three experienced external experts: S. Krstić (Intel, USA), I. Farah (University of Toronto, Canada), and V. Kuncak (EPFL, Switzerland), all of whom have begun their scientific careers in Belgrade and Novi Sad. One final important issue is the continuation and further development of international collaboration (joint research activities) with leading experts from Universite Paris 7, EPFL Laussane, the University of Toronto, the University of Torino, the University of Florence, ENS Lion, Ecole Polytechnique Paris, the McGill University Montreal, the University of Tampere, as well as with leading research institutions, such as INRIA-Sophia Antipolis, France, and companies, such as Intel, USA.