| 1981 - teraz : | Instytut Podstaw Informatyki PAN, profesor zwyczajny |
| 1993 - 1999 : | Uniwersytet Jagielloński, Instytut Informatyki, profesor (1/2 etatu) |
| 1979 - 1980 : | Instytut Podstaw Informatyki PAN, profesor nadzwyczajny |
| 1971 - 1978: | Instytut Podstaw Informatyki PAN, docent |
| 1959 - 1970: | Instytut Maszyn Matematycznych, adiunkt |
| 1956 - 1958: | Instytut Matematyczny PAN, st. asystent |
| 1955 - 1956: | Instytut Matematyczny PAN, asystent |
| 1984 - teraz: | Obliczenia lokalne, algorytmy rozproszone, systemy wieloagentowe |
| 1976 - teraz : | Teoria współbieżności, podstawy systemow współbieżnych, algorytmy współbieżne |
| 1968 - 1976: | Semantyczne opisy systemów programowania, formalne modele programów i procesów obliczeniowych, matematyczne podstawy informatyki |
| 1964 - 1967: | Teoria programow i jezykow formalnych |
| 1955 - 1963: | Programowanie, jezyki programowania, konstrukcja kompilatorów jezyków programowania |
| 1993 - 1999: | Uniwersytet Jagielloński, seminarium z algorytmow rozproszonych |
| 1993 - 1997: | Uniwersytet Jagielloński, wyklad z teorii śladów | |
| 1990 - now: | Seminarium "Matematyczne Podstawy Informatyki" IPI PAN (z P. Dembińskim, W. Penczkiem, A. Tarleckim, J. Winkowskim) |
| 1989 - 1990: | Seminarium ze współbieżnosci,UW (z L.Czaja i J.Winkowskim) |
| 1986 - 1987: | Seminarium ze współbieżnosci, Dept. of Computer Science, Leiden University |
| 1986 - 1987: | Wykład "Concurrency II", Dept. of Computer Science, Leiden University |
| 1975: | Wykład z matematycznej teorii programowania na studium doktoranckim Politechniki Warszawskiej |
| 1975 - 1988: | Seminarium z matematycznych podstaw informatyki w IPI PAN (z A.Blikle i J.Winkowskim) |
| 1974: | Wykład z algebraicznej teorii programów w Miedz. Centrum Banacha |
| 1972 - 1973: | Wykłady z matematycznej teorii programów na studium doktoranckim Politechniki Warszawskiej |
| 1972 - 1973: | Wykład z jezyków formalnych na studium doktoranckim UW |
| 1971 - 1973: | Wykład z teorii algorytmów i seminarium z teorii automatów, wydz. matematyki UW |
| 1971 - 1974: | Seminarium z matematycznych podstaw informatyki w IPI PAN
|
| 1970 - 1971: | Wstęp do informatyki, wykład na wydz. matematyki UW |
| 1968 - 1970: | Wykład z teorii obliczalności na wydz. matematyki UW |
| 1964 - 1968: | Wykład z jezyków programowania w Instytucie Matematycznym PAN |
| Piotr Chrząstowski | 1990 | (wlasności sieci Petriego) |
| Wojciech Penczek | 1989 | (logika temporalna, rozprawa wyróżniona) |
| Tadeusz Kuzak | 1989 | (semantyka sieci PT) |
| Kazimierz Jojczyk | 1988 | (sieci przepływu danych) |
| Edward Ochmański | 1986 | (regularne języki sladów, rozprawa wyróżniona) |
| Tomasz Krawczyk | 1986 | (mutacje produkcji gramatycznych) |
| Doan Van Ban | 1978 | (semantyka procesów współbieżnych) |
| Ryszard Janicki | 1977 | (teoria współprogramów, rozprawa wyróżniona) |
| Miklos Szijarto | 1980 | (hierarchia języków śladów) |
| Jacek Irlik | 1975 | (iteracyjna implementacja rekursywności, rozprawa wyróżniona) |
Prowadzenie ok.40 zakończonych prac magisterskich.
| | Aachen Univ. (D) | 1979,1984, 1986 |
| | Aarhus Univ. (DK) | 1975, 1977,1986 |
| | Amsterdam Math.Centrum (NL) | 1976, 1986 |
| | Arco Felice CNR Lab. (I) | 1975 |
| | Berlin, Humboldt Univ. (D) | 1972 |
| | Bonn GMD (D) | 1979, 1981, 1983, 1984, 1986, 1989 |
| | Bordeaux Univ. (F) | 1990, 1992, 1994, 1997, 2005 |
| | Bucharest Univ. (R) | 1964 |
| | Budapest, Acad. of Sci. (H) | 1968 |
| | Eindhoven Techn. Univ. (NL) | 1987 |
| | Hamburg Univ. (D) | 1979,1984 |
| | Helsinki Univ. (SF) | 1984 |
| | Leiden Univ. (NL) | 1984,1987,1989,1996 |
| | Novisibirsk Acad. of Sci. (SU) | 1972 |
| | Oldenburg Univ. (D) | 1989 |
| | Oslo Techn. Univ. (N) | 1977 |
| | Paris Univ. Paris VIII, XI (F) | 1972,1973,1978,1990,1992,1993,1995 |
| | Pisa Univ. and CNR (I) | 1975,1978 |
| | Princeton Univ. (USA) | 1996 |
| | Rocquencourt INRIA (F) | 1972,1973 |
| | Salerno Univ. (I) | 1975 |
| | Tampere Univ. (SF) | 1978 |
| | Turku Univ (SF) | 1978 |
| | Utrecht Univ. (NL) | 1978 |