Jos Baeten

Biography

Jos Baeten has a Ph.D. in mathematics of the University of Minnesota (1985). From 1991 to 2015, he was professor of computer science at the Technische Universiteit Eindhoven (TU/e). In addition, from 2010 to 2012 he was professor of Systems Engineering at TU/e. From 2011 to 2020, he was general director of CWI in Amsterdam, the Netherlands research institute for mathematics and computer science. From 2015 to 2020, he was part-time professor in Theory of Computing at the Institute of Logic, Language and Computation of the University of Amsterdam. Since retirement in 2020, he is CWI fellow. He is well-known as a researcher in model-based engineering, in particular in process algebra. Since 2006, he is interested in the integration of automata theory and process theory. He supervised 31 Ph.D. degrees. He is a member of the Koninklijke Hollandsche Maatschappij der Wetenschappen (Royal Holland Society of Sciences and Humanities).