Jos Baeten
- Full Name
- Prof.dr. J.C.M. Baeten
- Function(s)
- Professor - Universiteit van Amsterdam, General Director
- Jos.Baeten@cwi.nl
- Telephone
- +31 20 592 4040
- Room
- L110
- 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. As of October 1, 2011, he is general director of CWI in Amsterdam, the Netherlands research institute for mathematics and computer science. Since January 1, 2015, he is part-time professor in Theory of Computing at the Institute of Logic, Language and Computation of the University of Amsterdam. He is well-known as a researcher in model-based engineering, in particular in process algebra. To date, he supervised 30 Ph.D. degrees. He chairs the CONCUR conferences steering committee and is member of the Koninklijke Hollandsche Maatschappij der Wetenschappen (Royal Holland Society of Sciences and Humanities).
Publications
-
Belder, A, Luttik, S.P, & Baeten, J.C.M. (2019). Sequencing and intermediate acceptance: Axiomatisation and decidability of bisimilarity. In Proceedings of the 8th Conference on Algebra and Coalgebra in Computer Science (pp. 14:1–14:22). doi:10.4230/LIPIcs.CALCO.2019.14
-
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, & 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
-
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, & Sangiorgi, D. (2014). Concurrency Theory: A Historical Perspective on Coinduction and Process Calculi. In Computational Logic. Elsevier. doi:10.1016/B978-0-444-51624-4.50009-5
-
Baeten, J.C.M, Luttik, S.P, & van Tilburg, P.J.A. (2013). Reactive Turing machines. Information and Computation, 231, 143–166. doi:10.1016/j.ic.2013.08.010