prof. dr hab. Andrzej Tarlecki

Afiliacja

profesor, Instytut Informatyki

Konsultacje

Piątki, 10.15-12.15 konsultacje obowiązują w czasie trwania zajęć dydaktycznych

Telefon

55-44-475

Publikacje

• Publikacje (60)

Dziedziny badań

• Inżynieria oprogramowania
• Logika matematyczna i teoria kategorii
• Logika w informatyce
• Semantyka i metody formalne

Granty

• Abstrakcyjna teoria specyfikacji i jej zastosowania
• Architectures for Mobility
• Konstruowanie specyfikacji i weryfikacja oprogramowania
• MOBIUS - Mobility, Ubiquity and Security
• Obserwacyjna równoważność programów i struktur danych a bisymulacja procesów współbieżnych (promotorski)
• Specyfikacja i weryfikacja systemów oprogramowania – od teorii do praktyki