You are not logged in |
Return to the list of employees
prof. dr hab. Andrzej Tarlecki
- Affiliation
-
Institute of Informatics
- A.Tarlecki@mimuw.edu.pl
- Phone
- 55-44-475
- Room
- 4750
- Website
- http://www.mimuw.edu.pl/~tarlecki
- Consultations
- Piątki, 10.15-12.15 konsultacje obowiązują w czasie trwania zajęć dydaktycznych
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
