Organisation

• SPP-Kontakt zum SPP 1953 und stellv. Sprecher des GI Arbeitskreies "Langlebige Softwaresysteme (L2S2)"

• Mitglied des GI Arbeitskreies "Formale Methoden und Software Engineering für Sichere Systeme (FoMSESS)"

• Mitglied im Fakultätsausschuss QUEST (2013-2015)

• Mitglied im Fakultätsausschuss LUST (2013-2015)

• Mitglied der Berufungskommission Information Systems (W3) (2012)

• Mitglied der Prüfungskommision von Conelia Tandros (2014)

• Mitglied der Prüfungskommision von Frank Hellweg (2013)