Return to the list of employees
prof. dr hab. Andrzej Tarlecki
- Affiliation
-
Institute of Informatics
- Consultations
- Piątki, 10.15-12.15 konsultacje obowiązują w czasie trwania zajęć dydaktycznych
- Phone
- 55-44-475
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