Curriculum Vitae

Antoni Mazurkiewicz, M.Sc.,Ph.D.,D.Sc.,M.A.E.

Full Professor, Institute of Computer Science

PAS (Polish Academy of Sciences)

Personal Data:

Date and place of birth

June 27, 1934, Mikolajewice, Poland 

Nationality

Polish

Citizenship:

Polish

Academic Degrees:

1978 

Title of Professor of mathematical sciences, The State Council of Poland 

1973 

D.Sc. in Mathematical Sciences (Habilitation, or post-doctoral 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 

Education:

1951 - 1955

Warsaw University, Dept. of Mathematics and Physics 

1947 - 1951 

High School, Warsaw 

Affiliations & Positions:

1979 - now :

Institute of Computer Science of PAS & Full Professor

1993 - 1999 :

Jagiellonian University in Cracow, Institute of Informatics & Part-time 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

Areas of interest:

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

Teaching:

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

Supervision and promotion of Ph.D. Theses:

Piotr Chrzastowski-Wachtel

1990  

properties of Petri nets 

Wojciech Penczek (cum laude)

1989

temporal logic 

Tadeusz Kuzak

1989

PT-nets semantics 

Kazimierz Jojczyk

1988

nets and data flow 

Edward Ochmanski (cum laude)

1986

regular trace languages 

Tomasz Krawczyk

1986

mutations of cf-grammars 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.

Positions & Administrative duties:

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

Elected member of:

Scientific Societies:

 

Councils and committees:

 

Editorial boards of scientific journals:

 

Invited lectures at plenary sessions of the following international conferences:

Program Committee member of the following international conferences:

Invited lectures at the following scientific centres:

   

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

Visiting profesorship:

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

Honors and Awards:

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 so-called "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