Z głębokim żalem zawiadamiamy,
że w dniu 26 lipca 2020 roku zmarł
prof. dr hab.
Piotr Dembiński
Profesor Emeritus Instytutu Podstaw Informatyki PAN,
który współtworzył i w którym pracował od 1971 roku.
Dyrektor Instytutu w latach 1996 - 2007.
Wybitny specjalista w dziedzinie specyfikacji i weryfikacji systemów współbieżnych
oraz walidacji protokołów komunikacyjnych.
Zawsze z wielkim oddaniem
służył Instytutowi oraz polskiej i światowej informatyce.
Rodzinie
składamy
serdeczne wyrazy współczucia
Rada Naukowa, Dyrekcja i pracownicy
Instytutu Podstaw Informatyki PAN