Powrót do listy pracowników
prof. dr hab. Andrzej Tarlecki
- Afiliacja
-
profesor,
Instytut Informatyki
- A.Tarlecki@mimuw.edu.pl
- Telefon
- 55-44-475
- Pokój
- 4750
- Strona internetowa
- http://www.mimuw.edu.pl/~tarlecki
- Inne informacje
- Strona pracownika w USOSweb
- Terminy konsultacji dla studentów
piątki, 10:00-12:00
Publikacje
Dziedziny badań
- Inżynieria oprogramowania
- Logika matematyczna i teoria kategorii
- Logika w informatyce
- Semantyka i metody formalne
Granty
-
Konstruowanie specyfikacji i weryfikacja oprogramowania
Finansowany przez: Narodowe Centrum Nauki
-
Specyfikacja i weryfikacja systemów oprogramowania – od teorii do praktyki
Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
-
MOBIUS - Mobility, Ubiquity and Security
Finansowany przez: European Community 6th Framework Programme
-
Architectures for Mobility
Finansowany przez: Komisja Europejska
-
Abstrakcyjna teoria specyfikacji i jej zastosowania
Finansowany przez: Komitet Badań Naukowych
-
Obserwacyjna równoważność programów i struktur danych a bisymulacja procesów współbieżnych (promotorski)
Finansowany przez: Komitet Badań Naukowych