Curriculum Vitae of J.C.M. Baeten

Name:

Jos C. M. Baeten

Date of birth:

15 June 1954

Nationality:

Dutch

Address:

Eindhoven University of Technology
Department of Mathematics and Computing Science
P.O.Box 513
NL-5600 MB Eindhoven
The Netherlands

Telephone: +31 40 474124
Fax: +31 40 463992
Email: josb@win.tue.nl

Education:

1972 - 1978:

Study of mathematics at Utrecht University graduated in logics and foundations of mathematics, supervisor prof. dr. H.P. Barendregt.

13 March 1978:

Degree of doctorandus (cum laude).

1978 - 1983:

Graduate study in mathematical logic at the University of Minnesota, Minneapolis (USA). Thesis on definability theory. Promotor: prof. dr. W. Richter.

11 June 1983:

M.Sc.

29 March 1985:

Ph.D.

Job history:

1978 - 1983:

Teaching assistant/associate, School of Math., University of Minnesota.

1983 - 1984:

Lecturer in Mathematics, Delft University of Technology.

1984 - 1985 and 1989 - 1991:

Researcher in Computer Science, CWI, Amsterdam.

1985 - 1988:

Lecturer in Computer Science, University of Amsterdam.

1988 - 1991:

Senior lecturer in Computer Science, University of Amsterdam.

as of Oct. 1991:

Full professor of theoretical computer science, Eindhoven University of Technology.

Areas of research:

• Concurrency theory (process algebra).
• Formal specification languages.
• Term rewriting systems.

Project experience in EU programs:

ESPRIT I METEOR, ESPRIT II ATMOSPHERE, ESPRIT BRA CONCUR, ESPRIT BRA CONCUR2 (both as coordinator), RACE I VIP, RACE I SPECS, RACE II BOOST, COST 247.