For best experience please turn on javascript and use a modern browser!
You are using a browser that is no longer supported by Microsoft. Please upgrade your browser. The site may not present itself correctly if you continue browsing.
Prof Jos Baeten, professor Theory of Computing
Photo: Dirk Gillissen

In recent years, Jos Baeten's research has focused on the concept of computability in the field of theoretical computing science. Previous research focused on formal methods, particularly in the area of process algebra. His duties as the new chair at the UvA's Institute for Logic, Language and Computation (ILLC) will mainly consist of teaching and the supervision of students and doctoral researchers. 'As the director of a scientific institute, I feel it's important to remain active as a researcher', Baeten explains. 'The ILLC, where I'm able to join a high-quality theoretical computing science research group, is the best place to conduct research on computability.'

Baeten has served as general director of the CWI – the national research institute for mathematics and computing science – which has been part of the Netherlands Organisation for Scientific Research (NWO) since 2011. He has also been professor of Theoretical Computing Science at Eindhoven University of Technology (TU/e) since 1991. Other positions include two double terms as dean and vice-dean of the TU/e's Faculty of Mathematics and Computing Science. He previously served as senior university lecturer in Informatics at the UvA and senior researcher at the CWI. Baeten is co-founder and board member of the Institute for Programming Research and Algorithmics (IPA). He also served as adviser to the CWI's Foundations of Software Engineering group, as a board member at the Dutch Association for Theoretical Computer Science (NVTI), and chairman of the Science & Education group at Ngi-NGN, the Dutch platform for ICT professionals and managers. Baeten has authored various influential textbooks and published in leading journals such as Journal of the ACM and Information and Computation.