General Info   Events   Staff   Research   Scientific Council   Conferences   Seminars   Recent Publications   Library   Publishing Centre   Staff Services   Links 
General Information \ Department of T. F. of C. S. \ Mathematical Methods of Programming Site Map  

Theory of
Distributed Systems

Mathematical
Methods
of Programming

Computer
Architecture

Databases
and Distributed
Systems

Computing Systems
Theory

 

Department of
Artificial Intelligence

Department of
Theoretical
Foundations of
Computer Science

 

General Information

Home

 
MATHEMATICAL
METHODS OF PROGRAMMING

Group Members
Marek Bednarczyk, Ph.D.
Wiesław Pawłowski, Ph.D.


Additional Info Address of the Group:
IPI PAN
ul. Abrahama 18
81-825 Sopot

For more information see:
Gdansk Branch of IPI PAN

Research Domain
The Group is mostly interested in the foundational research in theoretical computer science. In particular, it is active in: type theory, category theory, theory of institutions, and formal methods.

The Group is interested in practical applications of the above theories and methods to:
various technics of program specification and their realization
correctness and verification of programs
use of theorem provers to assist program development.

All members of the Group are involved in the following projects (see Mathematical Foundation of Software Engineering Group):
Formal Methods of Software Development,
MEDICIS,
COMPASS.



Go to previous problem group.  Previous Problem Group Department Info  Go to Department's Information. Next Problem Group  Go to next problem group.
  webmaster@IPIPAN.Waw.PL Copyright by ICS PAS - 2003