Zespół Teorii Systemów Rozproszonych i Obliczeniowych

Team

• prof. dr hab. Wojciech Jamroga - kierownik zespołu
• prof. dr hab. inż. Włodzimierz Drabent
• mgr Damian Kurpiewski
• prof. dr hab. Marta Kwiatkowska
• dr Łukasz Maśko
• prof. dr hab. inż. Wojciech Penczek, czł. koresp. PAN
• dr inż. Teofil Sidoruk

Former Members

• dr hab. Stanisław Ambroszkiewicz
• prof. dr hab. Andrzej Blikle (on leave)
• dr Marek Faderewski
• mgr Mateusz Kamiński
• dr Michał Knapik (on leave)
• dr hab. Beata Konikowska
• dr inż. Eryk Laskowski
• prof. dr hab. Antoni Mazurkiewicz (on leave)
• dr Artur Męski (on leave)
• dr Łukasz Mikulski
• mgr inż. Witold Pazderski
• dr inż. Maciej Szreter (on leave)

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