Jos Baeten
- Full Name
- Prof.dr. J.C.M. Baeten
- Function(s)
- CWI-Fellow
- Jos.Baeten@cwi.nl
- Telephone
- +31 20 592 4131
- Room
- M341
- Department(s)
- CWI Management
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).
Publications
-
Baeten, J.C.M, Carissimo, C, & Luttik, S.P. (2021). Pushdown automata and context-free grammars in bisimulation semantics. In Proceedings of the Conference on Algebra and Coalgebra in Computer Science. doi:10.4230/LIPIcs
-
Aceto, L, Baeten, J.C.M, Bouyer-Decitre, P, Hermanns, H, & Silva, A.M. (2020). CONCUR Test-of-time award 2020 announcement. In Leibniz International Proceedings in Informatics, LIPIcs (pp. 51–53). doi:10.4230/LIPIcs.CONCUR.2020.5
-
Belder, A, Luttik, S.P, & Baeten, J.C.M. (2019). Sequencing and intermediate acceptance: Axiomatisation and decidability of bisimilarity. In Proceedings of the Conference on Algebra and Coalgebra in Computer Science (pp. 11:1–11:22). doi:10.4230/LIPIcs.CALCO.2019.11
-
Baeten, J.C.M, Luttik, S.P, & Yang, F. (2017). Sequential Composition in the Presence of Intermediate Termination (Extended Abstract). In Electronic Proceedings in Theoretical Computer Science, EPTCS. doi:10.4204/EPTCS.255.1
-
Baeten, J.C.M, & Kirchner, C. (2016). ERCIM goes to open access. ERCIM News, 107, 6–7.
-
Baeten, J.C.M, Luttik, S.P, Muller, T, & van Tilburg, P.J.A. (2016). Expressiveness modulo bisimilarity of regular expressions with parallel composition. Mathematical Structures in Computer Science, 26(6), 933–968. doi:10.1017/S0960129514000309
-
Baeten, J.C.M, van de Mortel-Fronczak, J.M, & Rooda, J.E. (2016). Integration of supervisory control synthesis in model-based systems engineering. In Studies in Systems, Decision and Control. doi:10.1007/978-3-319-28860-4_2
-
Baeten, J.C.M, Luttik, S.P, Muller, T, & van Tilburg, P.J.A. (2015). Expressiveness modulo bisimilarity of regular expressions with parallel composition. Mathematical Structures in Computer Science, Firstview.
-
Baeten, J.C.M, van Beek, D.A, Markovski, J, & Somers, L. (2015). Coordination control of complex machines. In J.H van Schuppen & T Villa (Eds.), Coordination control of distributed systems (pp. 61–68). Springer.
-
Baeten, J.C.M, & Markovski, J. (2015). The role of supervisory controller synthesis in automatic control software development. Science of Computer Programming, 97(1), 17–22. doi:10.1016/j.scico.2013.11.016