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.
