Antoni Mazurkiewicz, M.Sc.,Ph.D.,D.Sc.,M.A.E.
Full
Professor, Institute of Computer Science
PAS
(Polish Academy of Sciences)
Date and place of birth: 
June 27, 1934, Mikolajewice,
Poland 
Nationality: 
Polish 
Citizenship: 
Polish 
1978 
Title of Professor of mathematical sciences, The
State Council of Poland 
1973 
D.Sc. in Mathematical Sciences (Habilitation, or
postdoctoral Thesis), ``Algebraic Theory of Programs", Institute of
Mathematics of PAS 
1965 
Ph.D. in Mathematics (Doctoral Thesis), ``On
recognition of words of formal languages", Institute of Mathematics of
PAS 
1955 
M.Sc. in Mathematics, ``Topological properties of
solutions of differential equations'', Warsaw University 
1951
 1955 
Warsaw University, Dept. of Mathematics and
Physics 
1947
 1951 
High
School, Warsaw 
1979
 now : 
Institute of Computer Science of PAS & Full
Professor 
1993
 1999 : 
Jagiellonian University in Cracow, Institute of
Informatics & Parttime professor 
1971
 1978: 
Institute of Computer Science of PAS & Associate
Professor 
1959
 1970: 
Institute of Mathematical Machines & Assistant
Professor 
1956
 1958: 
Institute of Mathematics of PAS & Lecturer 
1955
 1956: 
Institute of Mathematics of PAS & Assistant
Lecturer 
1984
 now: 
Local computations, distributed algorithms 
1976
 now : 
Concurrency theory, foundations of concurrent
processes, concurrent algorithms 
1968
 1976: 
Semantics of programs, formal models of programs and
computational processes, mathematical foundations of computer science 
1964
 1967: 
Theory of programs, formal language theory 
1955
 1963: 
Programming, programming languages, compiler design 
1993
 1999: 
Jagiellonian University, seminar on distributed
algorithms 
1993
 1997: 
Jagiellonian University (Cracow), professor,
lectures on concurrency 
1990
 2000: 
Seminar on Math. Foundations of Computer Science,
ICS PAS (with P. Dembinski, W. Penczek, A. Tarlecki, J. Winkowski) 
1989
 1990: 
Seminar on Concurrency, Warsaw University (with
L.Czaja and J.Winkowski) 
1986
 1987: 
Seminar on Concurrency, Dept. of Computer Science,
Leiden University 
1986
 1987: 
Course on Concurrency II, Dept. of Computer Science,
Leiden University 
1975: 
Course on Mathematical Theory of Programs for post 
graduated students, Technical University of Warsaw 
1975
 1988: 
Seminar on Mathematical Foundations of Computer
Science at ICS of PAS (with A.Blikle and J.Winkowski) 
1974: 
Course on Algebraic Theory of Programs at
International Banach Centre of Mathematics 
1972
 1973: 
Courses on Mathematical Semantics of Programs for
post  graduated students, Technical University of Warsaw 
1972
 1973: 
Courses on Formal Language Theory for post 
graduated students, Warsaw University, Dept. of Mathematics 
1971
 1973: 
Courses on the Theory of Algorithms, Seminar on
Automata Theory, Warsaw University, Dept. of Mathematics 
1971
 1974: 
Seminar on Mathematical Foundations of Computer
Sciences at Institute of Computer Sciences of PAS 
1970
 1971: 
Introduction to Computer Science, course at Dept. of
Mathematics of Warsaw University 
1968
 1970: 
Courses on Computability Theory at Warsaw
University, Dept. of Mathematics 
1964
 1968: 
Courses on programming languages at Institute of
Mathematics of PAS 
Piotr
ChrzastowskiWachtel 
1990

properties of Petri nets 
Wojciech
Penczek (cum laude) 
1989 
temporal logic 
Tadeusz
Kuzak 
1989 
PTnets semantics 
Kazimierz
Jojczyk 
1988 
nets and data flow 
Edward
Ochmanski (cum laude) 
1986 
regular trace languages 
Tomasz
Krawczyk 
1986 
mutations of cfgrammars productions 
Doan Van Ban 
1978 
concurrent processes 
Ryszard
Janicki (cum laude) 
1977 
coroutines 
Miklos Szijarto 
1980 
Hierarchy
of trace languages 
Jacek
Irlik (cum laude) 
1975 
recursion  iteration 
Supervision of about 40 completed M.Sc. Theses.
1997
 2003: 
Full professor, head of Department of Theoretical Foundations of Computer Science of ICS PAS 
1979
 1996: 
Full professor, head of Concurrency Theory Group at
ICS of PAS 
1972
 1978: 
Associate professor, head of the Laboratory of
Mathematical Foundations of Computer Science at ICS of PAS 
1962
 1971: 
Assistant professor, head of Programming Division of
the Institute of Mathematical Machines 
1960
 1962: 
Head of Programming Laboratory of the Institute of
Mathematical Machines 
1958
 1960: 
Head of Computing Laboratory at Institute of
Mathematics of PAS 

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

1990, 1992, 1994, 1997: Universite Bordeaux 1
1989: GMD Bonn
1986  1987: Leiden University
1976  1977: Aarhus University
2005

Doctor Honoris Causa of Université Bordeaux 1 
2000

Oficer Cross of Polonia Restituta Order 
1995

Chivalry Cross of Polonia Restituta Order 
1980

Golden
Cross of Merit 
1978

State Reward of the 2nd degree 
1972

State Reward of the 2nd degree 
Because my name
appeared on socalled "Wildstein list", I enclose two documents
issued by IPN (Institute of National Remembrance): that I am a person persecuted
by communist security services: IPN 1 and that the name in this list does not refer
to me: IPN 2.
Last updating: October 2005