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.

Employees and PhD students

• dr Jacek Chrząszcz

  Formal verification of software, proof-carrying code

• dr Janusz Jabłonowski

  Object-oriented programming, formal software specification and verification

• prof. dr hab. Sławomir Lasota

  Process algebras, formal verification

• dr hab. Aleksy Schubert, prof. UW

  Formal verification of software, proof-carrying code

• dr Jacek Sroka

  Formal methods of dataflow specification and verification

• prof. dr hab. Andrzej Tarlecki

  Software specification, design and development, semantics, CASL specification formalism

• dr Daria Walukiewicz-Chrząszcz

  Formal verification of software, proof-carrying code