Zespół Teorii Systemów Rozproszonych i Obliczeniowych

Team

• dr hab. Wojciech Jamroga - kierownik zespołu
• dr hab. Stanisław Ambroszkiewicz
• prof. dr hab. Andrzej Blikle (on leave)
• prof. dr hab. inż. Włodzimierz Drabent
• dr Marek Faderewski
• dr Michał Knapik (on leave)
• mgr inż. Damian Kurpiewski
• dr inż. Eryk Laskowski
• dr Łukasz Maśko
• prof. dr hab. Antoni Mazurkiewicz (on leave)
• dr Artur Męski (on leave)
• dr Łukasz Mikulski
• prof. dr hab. inż. Wojciech Penczek, czł. koresp. PAN
• mgr Teofil Sidoruk
• dr inż. Maciej Szreter (on leave)

Former Members

• dr hab. Beata Konikowska
• mgr inż. Witold Pazderski

Research topics

Key areas:

• Logical methods for specification and verification of multi-agent systems.
• Modelling of knowledge and belief.
• Automated verification, planning, and model checking of concurrent systems.

Publications

• 2020

Software

Seminars