You are not logged in |
Return to the list of employees
prof. dr hab. Andrzej Tarlecki
- Affiliation
-
profesor,
Institute of Informatics
- A.Tarlecki@mimuw.edu.pl
- Phone
- 55-44-475
- Room
- 4750
- Website
- http://www.mimuw.edu.pl/~tarlecki
- Other information
- Employee's page on USOSweb
- Consultations
piątki, 10:00-12:00
Publications
Fields of research
- Logic in Computer Science
- Mathematical Logic and Category Theory
- Semantics and Formal Methods
- Software Engineering
Grants
- Abstract specification theory and its applications
- Architectures for Mobility
- MOBIUS - Mobility, Ubiquity and Security
- Observational equivalence of programs and data structures vs bisimulation equivalence of concurrent processes (doctoral dissertation grant )
- Specification construction and software verification
- Specyfication and weryfication of software systems from theory to practice
