Membership of scientific organisations

• Member of the European Technical Working Group on Formal Methods in Railway Control.
• Member of the IFIP WG 1.8 on Concurrency Theory. (Served as secretary of the working group from 2011-2014.)

Programme Committees of scientific events

• FoSSaCS 2024, EXPRESS/SOS 2023, RSSRAIL 2023, CONCUR 2022, MARS 2022 (co-chair), RSSRail 2022, FORTE 2021, EXPRESS/SOS 2018, TTCS 2017, CONCUR 2015, TTCS 2015, EXPRESS/SOS 2013 (co-chair), YR-CONCUR 2013, EXPRESS/SOS 2012 (co-chair), YR-CONCUR 2012, ICE 2012, CONCUR 2011, EXPRESS 2011 (co-chair), YR-CONCUR 2011, YR-CONCUR 2009, EXPRESS 2008, EXPRESS 2007, EXPRESS 2006.

Organisation of scientific events

• MARS 2022 (co-chair), CONCUR 2019 (workshop chair), TRENDS 2013, EXPRESS/SOS 2013, TRENDS 2012, EXPRESS/SOS 2012, EXPRESS 2011, YR-CONCUR 2010, Formal Methods for Embedded Systems, FMICS 1998, Process Algebra Meetings.

Administration

• 2022-:	Deputy Program Director Computer Science.
  2019-:	Member of the TU/e Steering Committee for Quality Assurance.
  2017:	Member of the TU/e Steering Committee for the Reinforcement of the Administrative Clout.
  2014-2017:	Chair of the Advisory Committee Bachelor Education (ACB). (This committee has now been transformed into the Joint Program Committee of Eindhoven University of Technology.)
  2013-2020:	Programme manager of the EIT Digital Master Programme on Embedded Systems
  2013-2021:	Programme manager of the Master Programme on Embedded Systems
  2012-2014:	Member of the Advisory Committee Bachelor Education (ACB)
  2012-2014:	Chair of the Study Programme Committee of the Bachelor Computer Science (OC-BTI)
  2011-2013:	Programme manager of the EIT Digital Master Programme on Service Design and Engineering
  2011-2012:	Member of the Study Programme Committee of the Bachelor Computer Science (OC-BTI)
  2007-2011:	Advising member of the Study Programme Committee Mathematics (OCW)