Antoni Mazurkiewicz

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:

Academia Europaea (since 1991)
European Association for Theoretical Computer Science (council member, since 1990)
Warsaw Scientific Society (ordinary member, since 1988)

Councils and committees:

PAS Computer Science Committee (since 1976, chairman in 1980 - 1981)
Central Qualification Committee for Scientific Titles and Degrees (since 1992)
Scientific Council of ICS PAS (since 1976,chairman 1991-1999)
Polish Language Council of PAS (1996-2000)

Editorial boards of scientific journals:

Fundamenta Informaticae (IOS Press, Amsterdam, Washington DC, Tokyo)
Int. Journal of Foundations of Computer Science (World Scientific, Singapore, New Jersey, London, Hong Kong)(1996-1999)
Journal of Universal Computer Science (Vienna, World Wide Web)

Invited lectures at plenary sessions of the following international conferences:

Theory and Applications of Petri Nets, XIV IC ATPN, Siedlce (PL) 2007
Concurrency, Specification, and Programming, CS&P'06, Waldlitz (D) 2006
Concurrency, Specification, and Programming, CS&P'03, Czarna (PL) 2003
Theory and Applications of Graph Transformations, 6th TAGT'98, Paderborn (D) 1998
Fundamentals of Computation Theory, XI Symposium, Krakow (Poland), 1997
Logic, Algebra, and Computer Science. Helena Rasiowa in memoriam. Warsaw, (Poland) 1996
Partial Order Methods in Verification, Princeton (USA) 1996
XV IFIP WG 6.1 Int.Symp. on Protocol Specification, Testing and Verification, Warsaw, (Poland) 1995
Intern.Workshop on Models for High Performance Computing, Warsaw, 1993
Workshop on Semantics for Concurrency, Leicester (UK) 1990
Formal Models of Concurrent Computations, Telavi, Georgia (USSR) 1989
MFCS'89 Porabka-Kozubnik (Poland) 1989
GMD Workshop on Combining Compositionality and Concurrency 1988, Koenigswinter 1988 (West Germany)
REX Workshop/School on Linear Time, Branching Time, and Partial Order in Logic and Models for Concurrency 1987 Noordwijkerhout, (The Netherlands)
2nd Advanced Course on Petri Nets 1986, Bad Honnef (West Germany)
MFCS'84, Prague (Czechoslovakia)
2nd European Workshop on Theory and Applications of Petri Nets 1984, Aarhus (Denmark)
Intern. Workshop on Semantics of Programming Languages 1981, Bad Honnef (West Germany)
Symp. on Algorithms in Modern Mathematics and Computer Science dedicated to Al-Khowarizmi 1979, Urgench, Uzbekistan (USSR)
Intern. Workshop on Semantics of Programming Languages 1979, Bad Honnef (West Germany)
International Workshop on Concurrent Programs 1977, Aarhus (Denmark)
Intern. Workshop on Semantics of Programming Languages 1977, Bad Honnef (West Germany)
Automatic Programming, Kiev 1963 (USSR)
IFIP-Infopol Intern. Conf. Warsaw (Poland)
MFCS'75, Marienbad (Czechoslovakia)
MFCS'73, Strbske Pleso (Czechoslovakia)
MFCS'72, Jablonna (Poland)

Program Committee member of the following international conferences:

ICTAC 2005, Hanoi, 2005
CONCUR'97, Warszawa, 1997 (co-chairman)
Intern.Workshop on Models for High Performance Computing (Warszawa, 1993) (chairman)
Workshop on Computer Aided Verification 1992 (Montreal)
Petri Net Conference 1990 (Aarhus)
PARLE'89 (Eindhoven)
ICALP'87 (Karlsruhe)
Eighth Workshop on Petri Nets, 1987 (Venice)
MFCS'88 (Karlovy Vary)
40 years of Computer Science in Poland (Warsaw 1988)
Sixth Workshop on Petri Nets, 1985 (Espoo)
Foundations of Computation Theory'83 (Borgholm)
MFCS'80 Symposium (Rydzyna 1980)
MFCS'78 Symposium (Zakopane 1978)
MFCS'76 Symposium (Gdansk 1978) (chairman)
MFCS'74 Symposium (Jadwisin 1974)
MFCS'72 Symposium (Jablonna 1972)
Semestr MFCS w Centrum Banacha (Warszawa 1972)
IFIP Congress'68 (Edinburgh)

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

Last updating: December 2007