Automated symbolic verification of programs and cryptographic protocols in distributed systems
Research group
The head of the group:
Prof. Piotr Dembiński
The project leader:
Prof. Wojciech Penczek
Researchers:
Prof. Marian Srebrny
Marcin Kubica
(Warsaw University)
Mirosław Kurkowski
(Jan Długosz Academy, Częstochowa)
Andrzej Zbrzezny
(Jan Długosz Academy, Częstochowa)
Gizela Jakubowska - Korycka
(Technical University of Szczecin)
Agata Janowska
(Warsaw University)
Paweł Janowski
(Warsaw University)
Wojciech Nabiałek
(Podlasie Academy)
Artur Niewiadomski
(Podlasie Academy)
Maciej Orzechowski
(Jan Długosz Academy, Częstochowa)
Tomasz Siwiak
(Jan Długosz Academy, Częstochowa)
Maciej Szreter
Dobiesław Wróblewski
