From 1994, he was chairman of Formal Methods Europe (FME) and corresponding member of the Austrian Academy of Sciences.
Ab 1994 war er Vorsitzender der Formal Methods Europe (FME) sowie korrespondierendes Mitglied der Österreichischen Akademie der Wissenschaften.