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)