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

Semantyka i metody formalne

Metody opisu semantycznego, formalnej specyfikacji i systematycznego rozwijania oprogramowania, oraz matematyczne podstawy takich metod. Tematy badań to algebry procesów, programowanie obiektowe, specyfikacja wymagań, specyfikacja architekturalna, rozwijanie i weryfikacja oprogramowania, oraz zaawansowane metody matematyczne, oparte na algebrze, teorii koalgebr, teorii kategorii i logice.

Pracownicy
  • Jacek Chrząszcz
    Formalna weryfikacja oprogramowania, kod zawierający dowód
  • Ludwik Czaja
    Algebraiczna specyfikacja systemów współbieżnych
  • Patryk Czarnik
    Formalne metody specyfikacji i weryfikacji oprogramowania, komputerowo wspomagane dowodzenie twierdzeń, XML i związane z nim standardy
  • Piotr Hoffman
    Specyfikacje architekturalne, semantyka, język specyfikacji CASL
  • Janusz Jabłonowski
    Programowanie obiektowe, formalna specyfikacja i weryfikacja oprogramowania
  • Bartosz Klin
    Algebry procesów, metody koalgebraiczne i bialgebraiczne
  • Sławomir Lasota
    Algebry procesów, weryfikacja formalna
  • Grzegorz Marczyński
    Algebraiczne metody specyfikacji, projektowania i rozwijania oprogramowania
  • Mirosława Miłkowska
    Formalna specyfikacja wymagań
  • Aleksy Schubert
    Formalna specyfikacja oprogramowania, kod zawierający dowód
  • Jacek Sroka
    Formalne metody specyfikacji i weryfikacji przepływów danych
  • Andrzej Tarlecki
    Specyfikacja, projektowanie i rozwijanie oprogramowania, semantyka, język specyfikacji CASL
  • Daria Walukiewicz-Chrząszcz
    Formalna weryfikacja oprogramowania, kod zawierający dowód
  • Artur Zawłocki
    Modele współbieżności, logiki temporalne do specyfikacji i weryfikacji systemów współbieżnych
Seminaria
  • Seminarium Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji (SLIWOWICA)
    Cotygodniowe seminarium badawcze
    piątki, 12:15, s. 5820
    strona domowa