Since 2015, he is chair of the Steering Committee of the European Joint Conferences on Theory and Practice of Software (ETAPS).
Seit 2015 ist er Vorsitzender des Lenkungsausschusses der European Joint Conferences on Theory and Practice of Software (ETAPS).