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 | |
| Awards | Officer of the Order of Orange-Nassau |
| Academic background | |
| Alma mater | University of Minnesota |
| Doctoral advisor | Wayne Richter |
| Academic work | |
| Discipline | Computer science, mathematics |
| Institutions | Eindhoven University of Technology, University of Amsterdam, Centrum Wiskunde & Informatica |
Early life and education
editJos Baeten was born in Tilburg. He received his Ph.D. from the University of Minnesota in 1985, advised by Wayne Richter.[3]
Career
editHe 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- ^ "Jos Baeten". Google Scholar. Retrieved 2022-10-06.
- ^ "Jos C. M. Baeten". DBLP. Retrieved 2022-10-06.
- ^ Jos Baeten at the Mathematics Genealogy Project
- ^ "Jos Baeten elected ERCIM president". Centrum Wiskunde & Informatica. Retrieved 2022-10-06.
- ^ [1], Jos Baeten lid van Koninklijke Hollandsche Maatschappij der Wetenschappen.
- ^ "CWI Fellow Jos Baeten receives Royal decoration". Centrum Wiskunde & Informatica. Retrieved 2022-10-06.