Baeten pakt hoogleraarsrol op bij UvA

Hoogwaardige onderzoeksgroep

Aan het Institute for Logic, Language and Computation (ILLC) van de UvA, waar de leerstoel is ondergebracht, gaat hij zich voornamelijk bezighouden met het geven van onderwijs en het begeleiden van studenten en promovendi. ’Als directeur van een wetenschappelijk instituut vind ik het belangrijk om zelf actief te blijven als wetenschapper’, licht Baeten toe. ‘Het ILLC, waar ik kan aansluiten bij een hoogwaardige onderzoeksgroep in de theoretische informatica, is de beste plaats voor onderzoek naar berekenbaarheid.’

Sinds 2011 is Baeten algemeen directeur van het nationaal onderzoeksinstituut voor wiskunde en informatica (CWI). Daarnaast was hij sinds 1991 hoogleraar Theoretische Informatica aan de Technische Universiteit Eindhoven (TUE). Hij was tevens decaan en vice-decaan van de Faculteit Wiskunde en Informatica van de TUE; beide functies bekleedde hij voor twee termijnen. Eerder werkte hij onder meer als universitair hoofddocent Informatica aan de UvA en als senior-onderzoeker bij het CWI.

Baeten is medeoprichter en bestuurslid van het Institute for Programming research and Algorithmics. Ook was hij adviseur van de groep Foundations of Software Engineering van het CWI, bestuurslid van de Nederlandse Vereniging voor Theoretische Informatica en voorzitter van de sectie Wetenschap & Educatie van Ngi-NGN, de Nederlandse beroepsvereniging van en voor ICT-professionals en -managers.