The Institute of Informatics of Warsaw University is one of three institutes within the Faculty of Mathematics, Informatics and Mechanics. It currently has about 40 faculty positions (including 15 professors), a number of auxiliary positions for academic staff with M.Sci. degrees, about 25 PhD students enrolled for its PhD programme, and a few technical and administrative support positions. The Institute is responsible for various forms of studies in Computer Science at the Faculty, including its 5-year MSc curriculum with annual enrolment of about 130 students selected in a highly competitive procedure, widely recognized by independent rankings as the best studies in Computer Sciences in Poland. The research carried out at the Institute covers many diverse areas of Computer Science. This includes work on software specification and development, functional programming and type theory, software engineering, data bases, algorithmics and complexity theory, artificial intelligence, applications of logic and universal algebra in foundations of computer science, etc. The Institute has been involved in a considerable number of research projects, within both national and international (mainly European) research programmes.
The group involved in this project proposal includes prof. A. Tarlecki and dr. S. Lasota as key researchers and a number of younger members (PhD students). Although administratively placed at Institute of Informatics of Warsaw University, researchers from the Institute of Computer Science of the Polish Academy of Sciences will also be involved , and the team will benefit from the broad scientific expertise provided by ICS PAS as well. In particular, some participation in the project by the members of the ICS PAS group in Gdansk is expected, including dr. M. Bednarczyk, dr. W. Pawlowski and dr. A. Borzyszkowski.
The group has an extensive expertise and successful research record in the theory of software specification and development, foundations and practice of functional programming, algebraic specification, foundations of concurrency and type theory, denotational semantics, various aspects of logic and in particular model-theory and universal algebra, general logical frameworks and the theory of institutions. This expertise will provide an important contribution to the research effort within the project.