Członek Komitetu Informatyki Polskiej Akademii Nauk oraz korespondent Wydziału Nauk Technicznych tej instytucji od 2019 roku.
Był nauczycielem akademickim w Prywatnej Wyższej Szkole Nauk Społecznych, Komputerowych i Medycznych w Warszawie.
Wybrane prace naukowe Autor lub współautor następujących publikacji naukowych:
Verifying Multi-agent Systems via Unbounded Model Checking Bounded Model Checking for Deontic Interpreted Systems Fully Symbolic Unbounded Model Checking for Alternating-time Temporal Logic1 Verifying security protocols with timestamps via translation to timed automata Applying timed automata to model checking of security protocols
Bibliografia Magdalena Kacprzak, Wojciech Penczek, Maciej Szreter, Alessio Lomusico, Tomasz Łasica Verifying Multi-agent Systems via Unbounded Model Checking, str. 1-23 Woźna Bożena, Lomuscio Alessio, Penczek Wojciech Bounded Model Checking for Deontic Interpreted Systems, „Electronic Notes in Theoretical Computer Science”, 126, Proceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems (2004), 2005, s. 93–114 Kacprzak Magdalena, Penczek Wojciech Fully Symbolic Unbounded Model Checking for Alternating-time Temporal Logic1, „Autonomous Agents and Multi-Agent Systems”, 11 (1), 2005, s.