W dniu 26 lipca 2020 roku (w wieku niespełna 80 lat) zmarł w Warszawie Piotr Dembiński, profesor emeritus Instytutu Podstaw Informatyki PAN, matematyk i informatyk, wybitny specjalista w dziedzinie specyfikacji i weryfikacji procesów współbieżnych oraz walidacji protokołów komunikacyjnych. Członek Polskiego Towarzystwa Matematycznego od 1971 roku.

kj / 03-08-2020

Piotr Dembiński urodził się 16 października 1940 roku w Przysusze. W roku 1958 ukończył warszawskie Państwowe Liceum Plastyczne. Następnie w latach 1958-1964 studiował na Wydziale Architektury Wnętrz Akademii Sztuk Pięknych w Warszawie. W roku 1962 rozpoczął też studia w zakresie matematyki na Uniwersytecie Warszawskim, uzyskując w 1966 roku tytuł magistra matematyki. W roku 1971 obronił na UW pracę doktorską zatytułowaną On some aspects of equivalents of digital machines, przygotowaną pod kierunkiem profesora Zdzisława Pawlaka. Stpoień naukowy doktora habilitowanego w zakresie matematyki i informatyki uzyskał w roku 1980 w Instytucie Podstaw Informatyki PAN na podstawie rozprawy Mathematical methods in defining programming languages. W roku 1991 nadano mu tytuł profesora nauk matematycznych i informatycznych.

Profesor Piotr Dembiński wniósł ważny  wkład w rozwój języków programowania, procesów współbieżnych i protokołów komunikacyjnych. Jego wybitnym osiągnięciem było opracowanie semantyki języka specyfikacji Estelle.

Piotr Dembiński pracował w Instytucie Matematyki UW (1966-1971), a od 1971 roku związany był zawodowo z Instytutem Podstaw Informatyki PAN, gdzie przez jedenaście lat (1996-2007) sprawował funkcję dyrektora.

W ramach współpracy międzynarodowej profesor Dembiński pracował też okresowo w zagranicznych ośrodkach naukowych m.in. University of California, Los Angeles, USA (1974-1975), Chalmers University of Technology and University of Göteborg, Szwecja (1984-1985), Agence de l'Informatique, Paris, Francja (1985-1986), Bull S.A., DRCG/ARS, Louveciennes, Francja (1987-1988).

Na podstawie CV:  http://www.ipipan.waw.pl/staff/p.dembinski/curr.htm

Msza św. pogrzebowa odbędzie się w środę 5 sierpnia 2020 roku o godzinie 13.00 w Katedrze św. Jana Chrzciciela w Warszawie.

http://nekrologi.wyborcza.pl/0,11,,483025,Piotr-Dembi%C5%84ski-nekrolog.html

kj / 03-08-2020