Josephus C.M. Baeten (born 15 June 1954) is a Dutch

computer scientist A computer scientist is a person who is trained in the academic study of computer science. Computer scientists typically work on the theoretical side of computation, as opposed to the hardware side on which computer engineers mainly focus (al ...

and

mathematician A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems. Mathematicians are concerned with numbers, data, quantity, structure, space, models, and change. History On ...

, who has published on

process calculus In computer science, the process calculi (or process algebras) are a diverse family of related approaches for formally modelling concurrent systems. Process calculi provide a tool for the high-level description of interactions, communications, and ...

concurrency theory In computer science, concurrency is the ability of different parts or units of a program, algorithm, or problem to be executed out-of-order or in partial order, without affecting the outcome. This allows for parallel execution of the concur ...

formal methods In computer science, formal methods are mathematically rigorous techniques for the specification, development, and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the expec ...

, model-based

software engineering Software engineering is a systematic engineering approach to software development. A software engineer is a person who applies the principles of software engineering to design, develop, maintain, test, and evaluate computer software. The term '' ...

model-based systems engineering Model-based systems engineering (MBSE), according to the International Council on Systems Engineering (INCOSE), is the ''formalized application of modeling to support system requirements, design, analysis, verification and validation activities beg ...

and

theory of computation In theoretical computer science and mathematics, the theory of computation is the branch that deals with what problems can be solved on a model of computation, using an algorithm, how efficiently they can be solved or to what degree (e.g., a ...

Early life and education

Jos Baeten was born in

Tilburg Tilburg () is a city and municipality in the Netherlands, in the southern province of North Brabant. With a population of 222,601 (1 July 2021), it is the second-largest city or municipality in North Brabant after Eindhoven and the seventh-larg ...

. He received his Ph.D. from the

University of Minnesota The University of Minnesota, formally the University of Minnesota, Twin Cities, (UMN Twin Cities, the U of M, or Minnesota) is a public university, public Land-grant university, land-grant research university in the Minneapolis–Saint Paul, Tw ...

in 1985, advised by Wayne Richter.

Career

He was a researcher at

Centrum Wiskunde & Informatica The (abbr. CWI; English: "National Research Institute for Mathematics and Computer Science") is a research centre in the field of mathematics and theoretical computer science. It is part of the institutes organization of the Dutch Research Cou ...

(CWI) and the

University of Amsterdam The University of Amsterdam (abbreviated as UvA, nl, Universiteit van Amsterdam) is a public research university located in Amsterdam, Netherlands. The UvA is one of two large, publicly funded research universities in the city, the other being ...

until 1991, when he was appointed as a full professor at the

Eindhoven University of Technology The Eindhoven University of Technology ( nl, Technische Universiteit Eindhoven), abbr. TU/e, is a public technical university in the Netherlands, located in the city of Eindhoven. In 2020–21, around 14,000 students were enrolled in its BSc a ...

. 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. Since 2010, he is a member of the

Koninklijke Hollandsche Maatschappij der Wetenschappen The Koninklijke Hollandsche Maatschappij der Wetenschappen (Royal Holland Society of Sciences and Humanities), located on the east side of the Spaarne in downtown Haarlem, Netherlands, was established in 1752 and is the oldest society for the sci ...

. During the 75th anniversary of CWI, he received a royal decoration of Officer in the

Order of Orange-Nassau The Order of Orange-Nassau ( nl, Orde van Oranje-Nassau, links=no) is a civil and military Dutch order of chivalry founded on 4 April 1892 by the queen regent, Emma of the Netherlands. The order is a chivalric order open to "everyone who has ...

References

{{DEFAULTSORT:Baeten, Jos Dutch computer scientists Dutch mathematicians University of Minnesota alumni People from Tilburg 1954 births Living people Academic staff of the Eindhoven University of Technology Officers of the Order of Orange-Nassau Members of the Koninklijke Hollandsche Maatschappij der Wetenschappen