You are not logged in | log in

Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego

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

Semantics and Formal Methods

Description

Methods of semantic description, formal specification, and systematic development of software systems, and mathematical foundations of such methods. Research topics include process algebras, object-oriented programming, requirements specification, architectural design, software development and verification, as well as the advanced mathematical methods of the area, related to and relying on algebra, co-algebra, category theory and logic.

Seminars

Links

Employees