Nauka

Zainteresowania

Współbieżność, sztuczna inteligencja, matematyczne podstawy i zastosowania informatyki.

Wykształcenie

Mgr
Uniwersytet Gdański, 1974
PhD
University of Sussex, Wielka Brytania, 1987
Habilitacja
Instytut Podstaw Informatyki PAN, 2007

Praca

Uniwersytet Gdański
profesor
IPI PAN
profesor, kierownik filii w Gdańsku
PJATK
profesor, dziekan

Dorobek naukowy

Publikacje
ponad 50
Cytowania
1129
Indeks h
12
Indeks i10
16

Google Scholar, wrzesień 2026 — profil

Rozprawa doktorska Categories of Asynchronous Systems (1987) — 333 cytowania, najnowsze w pracy z konferencji LICS 2026.

Projekty

Współpraca międzynarodowa

Wielka Brytania, Niemcy, Francja, Włochy, Hiszpania.

Współpraca krajowa

Akademicka
Uniwersytet Gdański, Akademia Marynarki Wojennej, SWPS, IPI PAN
Przemysł
Intel, Sprint, Adar i inne
Otoczenie społeczne
Gdańska Rada Oświatowa, Pomorska Rada Oświatowa