Baeten pakt hoogleraarsrol op bij UvA
Het gaat om een deeltijdfunctie, die Baeten (1954) combineert met zijn directeurschap van het Centrum Wiskunde & Informatica (CWI). Baeten richt zich in zijn onderzoek de laatste jaren op de notie van berekenbaarheid binnen de theoretische informatica. In eerder onderzoek was hij actief in de formele methoden, met name in de procesalgebra.
Shutterstock
Shutterstock
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.
Gerelateerde artikelen
Gerelateerde artikelen
Reacties
Om een reactie achter te laten is een account vereist.
Inloggen Word abonnee