Memberships of Professional Organizations

IPA

ACM

ACM Special Interest Group on Embedded Systems

IEEE

NVTI

EATCS

IFAC Technical Committee TC 1.3 on Discrete Event and Hybrid Systems

IFIP Working Group 2.2 (member emeritus)