Nie jesteś zalogowany | zaloguj się

Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego

  • Skala szarości
  • Wysoki kontrast
  • Negatyw
  • Podkreślenie linków
  • Reset

Semantyka i metody formalne

Opis

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.

Seminaria

Dowiązania

Pracownicy i doktoranci