prof. dr hab. Andrzej Tarlecki

Afiliacja

profesor, Instytut Informatyki

Mail

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

• Publikacje (62)

Dziedziny badań

• Inżynieria oprogramowania
  Matematyczne podstawy inżynierii oprogramowania
• Logika matematyczna i teoria kategorii
  Logika, teoria instytucji, teoria kategorii w podstawach informatyki
• Logika w informatyce
  Logika, algebra uniwersalna, teoria kategorii w informatyce
• Semantyka i metody formalne
  Specyfikacja, projektowanie i rozwijanie oprogramowania, semantyka, język specyfikacji CASL

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