Former group leader of the TCS group, now emeritus full professor and guest of the TCS group. See here for more information.