Jos Baeten
- Full Name
- Prof.dr. J.C.M. Baeten
- Function(s)
- General Director, Professor - Universiteit van Amsterdam
- 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
-
Baeten, J.C.M, Luttik, S.P, & Yang, F. (2017). Sequential Composition in the Presence of Intermediate Termination (Extended Abstract). doi:10.4204/EPTCS.255.1
-
Luttik, S.P, Baeten, J.C.M, & Yang, F. (2017). Sequential Composition in the Presence of Intermediate Termination.
-
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.
-
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
-
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