Wojciech Penczek
Wojciech Penczek – polski inżynier, profesor nauk technicznych[1]. Specjalizuje się w zagadnieniach z zakresu informatyki, w tym informatyki teoretycznej, logiki temporalnej i epistemicznej, metod i technik programowania, systemów rozproszonych oraz weryfikacji systemów współbieżnych[1].
| Państwo działania | |
|---|---|
| profesor nauk technicznych | |
| Specjalność: informatyka, logika epistemiczna i temporalna, metody i techniki programowania, systemy rozproszone, weryfikacja systemów współbieżnych | |
| Alma Mater | |
| Doktorat |
1989 – informatyka |
| Habilitacja |
1996 – informatyka |
| Profesura |
2007 |
| Polska Akademia Nauk | |
| Status |
członek korespondent PAN |
| Nauczyciel akademicki | |
| Strona internetowa | |
ŻyciorysEdytuj
Absolwent studiów informatycznych na Politechnice Warszawskiej (rocznik 1984)[1]. Doktoryzował się w IPI PAN w 1989 roku[1]. Habilitację uzyskał w 1996 roku w tym samym Instytucie na podstawie pracy zatytułowanej Rozdziały: 2, 3, 5, 6 i 8 pracy Traces and logic. Tytuł profesora nauk technicznych nadano mu w 2007 roku[1].
Wykładowca i profesor zwyczajny w Instytucie Podstaw Informatyki PAN oraz Instytucie Informatyki na Wydziale Nauk Ścisłych i Przyrodniczych Uniwersytetu Przyrodniczo-Humanistycznego w Siedlcach[1].
Dyrektor IPI PAN[1][2]. Członek Komitetu Informatyki Polskiej Akademii Nauk[1] oraz korespondent Wydziału Nauk Technicznych tej instytucji od 2019 roku[2].
Był nauczycielem akademickim w Prywatnej Wyższej Szkole Nauk Społecznych, Komputerowych i Medycznych w Warszawie[3].
Wybrane prace naukoweEdytuj
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
BibliografiaEdytuj
- 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. 69–89
- Jakubowska Gizela, Penczek Wojciech, Srebrny Marian Verifying security protocols with timestamps via translation to timed automata, 2005, s. 1–14
- Kurkowski Mirosław, Penczek Wojciech Applying timed automata to model checking of security protocols, 19 kwietnia 2016, s. 223–254
PrzypisyEdytuj
- ↑ a b c d e f g h Prof. dr hab. inż. Wojciech Penczek, [w:] baza „Ludzie nauki” portalu Nauka Polska (OPI) [online] [dostęp 2020-01-31].
- ↑ a b Aktualności - Prof. Wojciech Penczek członkiem korespondentem Polskiej Akademii Nauk, IPI PAN [dostęp 2020-01-31].
- ↑ Zasłużeni wykładowcy. pwsbia.edu.pl. [dostęp 2020-04-09].