Title: Jos Baeten appointed professor at the UvA
Date: 2014-12-05 10:20
Slug: jos_baeten
Authors: M.A. Guravage
tags: uva, cwi, education


Jos Baeten has been appointed professor of Theory of Computing at the
University of Amsterdam’s (UvA) Faculty of Science. It is a part-time
appointment that Baeten will combine with his directorship of CWI.

In recent years, Jos Baeten’s research focuses on the notion of
computability in theoretical computer science. In previous research he
worked on formal methods, most prominently in process algebra. At the
Institute of Logic, Language and Computation (ILLC) of the UvA, were
his position will be situated, he will mainly focus on teaching and
supervising students and PhDs. “I think it is important as director of
a research insitute to remain active as a scientist,” Baeten
says. “The ILLC, where I can join a renowned research group in
theoretical computer science, is the best place for computability
research,”

Since 2011, Baeten has been general director of CWI. He was also
professor of Theoretical Computer Science at Eindhoven University of
Technology (TU/e), where he also occupied the position of both dean
and vice-dean of the Faculty of Mathematics and Computer Science for
two terms. Previously he worked as assistant professor Computer
Science at the UvA and senior researcher at CWI. Baeten is cofounder
and currently board member of the Institute for Programming research
and Algorithmics. He was also advisor of the Foundations of Software
Engineering group at CWI, board member of the Nederlandse Vereniging
voor Theoretische Informatica, the Dutch professional organization of
ICT professionals and managers. Baeten authored various influential
textbooks and published in several influential magazines including
Journal of the ACM and Information and Computation.