To jest stara, nieaktualizowana już wersja portalu wydziałowego. Zapraszamy na www.mimuw.edu.pl.
Wydział MIM Uniwersytet WarszawskiFaculty of MIM University of Warsaw

Wyszukiwarka

Pomiń menu

Logika w informatyce

Teoria typów w odniesieniu do programowania funkcyjnego, przepisywanie termów, automatyczne wspomaganie dowodzenia. Logiczne podstawy weryfikacji: logika temporalna, logika programów, logika monadyczna i jej związek z automatami i grami. Tematy badawcze dotyczą między innymi siły wyrazu rozmaitych rachunków logicznych, rozstrzygalności, oraz efektywności weryfikacji modelowej.

Pracownicy
  • Linh Anh Nguyen
    Logiki modalne, logiki dla baz danych
  • Marcin Benke
    Rachunek lambda, teoria typów
  • Mikołaj Bojańczyk
    Logiki dla weryfikacji, teoria automatów
  • Jacek Chrząszcz
    Rachunek lambda, przepisywanie termów, systemy wspomagania dowodzenia
  • Patryk Czarnik
    Formalne metody specyfikacji i weryfikacji oprogramowania, komputerowo wspomagane dowodzenie twierdzeń, XML i związane z nim standardy
  • Piotr Hoffman
    Teoria kategorii, półgrupy
  • Sławomir Lasota
    Weryfikacja, sprawdzanie równoważności, teoria automatów
  • Damian Niwiński
    Logiki dla weryfikacji, teoria automatów, gry nieskończone, złożoność obliczeniowa
  • Grzegorz Marczyński
    Logika i teoria kategorii w informatyce
  • Aleksy Schubert
    Rachunek lambda, teoria typów, złożoność systemów logicznych
  • Andrzej Szałas
    Logiki nieklasyczne, wnioskowanie aproksymacyjne, logiki wielowartościowe, automatyczne wnioskowanie, logiki programów, formalna specyfikacja i weryfikacja
  • Andrzej Tarlecki
    Logika, algebra uniwersalna, teoria kategorii w informatyce
  • Jerzy Tiuryn
    Logika programów, rachunek lambda, teoria typów
  • Jerzy Tyszkiewicz
    Logika dla baz danych, teoria modeli skończonych, złożoność Kołmogorowa
  • Paweł Urzyczyn
    Rachunek lambda, teoria typów, logiki dla weryfikacji
  • Daria Walukiewicz-Chrząszcz
    Rachunek lambda, przepisywanie termów
  • Artur Zawłocki
    Logiki temporalne do specyfikacji i weryfikacji systemów współbieżnych, teoria instytucji
Dowiązania
Seminaria
  • Seminarium Teoria Automatów
    Cotygodniowe seminarium badawcze
    środy, 14:15, s. 5870
    lista referatów
  • Seminarium Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji (SLIWOWICA)
    Cotygodniowe seminarium badawcze
    piątki, 12:15, s. 5820
    strona domowa
  • Seminarium Logika i Teoria Typów
    Cotygodniowe seminarium badawcze
    piątki, 12:15, s. 5820
    strona domowa