Josephus C.M. Baeten (born 15 June 1954) is a Dutch computer scientist and mathematician, who has published on process calculus, concurrency theory, formal methods, model-based software engineering, model-based systems engineering and theory of computation.[1][2]

Josephus C.M. Baeten
Born
AwardsOfficer of the Order of Orange-Nassau
Academic background
Alma materUniversity of Minnesota
Doctoral advisorWayne Richter
Academic work
DisciplineComputer science, mathematics
InstitutionsEindhoven University of Technology, University of Amsterdam, Centrum Wiskunde & Informatica

Early life and education

edit

Jos Baeten was born in Tilburg. He received his Ph.D. from the University of Minnesota in 1985, advised by Wayne Richter.[3]

Career

edit

He was a researcher at Centrum Wiskunde & Informatica (CWI) and the University of Amsterdam until 1991, when he was appointed as a full professor at the Eindhoven University of Technology. There, he was professor at the Department of Mathematics and Computer Science from 1991 until 2015 (in two periods, he was dean of the department), and professor at the Department of Mechanical Engineering from 2010 until 2012. In 2011, he returned to CWI as its director, and in 2015, he returned to the University of Amsterdam as professor of theory of computing at the Institute of Logic, Language and Computation. He retired from both positions in 2020, and at that time became a CWI Fellow.

Baeten chaired the steering committee of the CONCUR conferences 1991-2018 and was president of ERCIM 2018-2019.[4] Since 2010, he is a member of the Koninklijke Hollandsche Maatschappij der Wetenschappen.[5]

During the 75th anniversary of CWI, he received a royal decoration of Officer in the Order of Orange-Nassau.[6]

References

edit
  1. ^ "Jos Baeten". Google Scholar. Retrieved 2022-10-06.
  2. ^ "Jos C. M. Baeten". DBLP. Retrieved 2022-10-06.
  3. ^ Jos Baeten at the Mathematics Genealogy Project
  4. ^ "Jos Baeten elected ERCIM president". Centrum Wiskunde & Informatica. Retrieved 2022-10-06.
  5. ^ [1], Jos Baeten lid van Koninklijke Hollandsche Maatschappij der Wetenschappen.
  6. ^ "CWI Fellow Jos Baeten receives Royal decoration". Centrum Wiskunde & Informatica. Retrieved 2022-10-06.