Wojciech Penczek


Wojciech Penczek w encyklopedii

Z Wikipedii, wolnej encyklopedii Przejdź do nawigacji Przejdź do wyszukiwania

Wojciech Penczekpolski 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].

Spis treści

Życiorys | edytuj kod

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 naukowe | edytuj kod

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 | edytuj kod

  • 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

Przypisy | edytuj kod

  1. 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] .
  2. a b Aktualności - Prof. Wojciech Penczek członkiem korespondentem Polskiej Akademii Nauk, IPI PAN [dostęp 2020-01-31] .
  3. Zasłużeni wykładowcy. pwsbia.edu.pl. [dostęp 2020-04-09].
Kontrola autorytatywna (osoba):Identyfikatory zewnętrzne:
Na podstawie artykułu: "Wojciech Penczek" pochodzącego z Wikipedii
OryginałEdytujHistoria i autorzy