- Editorial Board Member:
Research Direction: Cyber-Physical Systems (Cambridge University Press),
Information and Computation (Elsevier)
- Current Research Projects: VASSAL, DK TA-CPS, TAIGER, CORPORA, MSCA-Cofund LogiCS@TU Wien, SecInt, ProbInG, DK RES
- General Chair of QONFEST 2020 (CONCUR, QEST, FMICS, FORMATS, etc.)
- Steering Committee Member: QEST, RV, MTCPS, HSB, CMSB (2016-2019)
- Awards: Radhia Cousot Award at SAS 2022 (co-authored paper), Best Paper Award at QEST 2022,
EASST Award 2022, Best Paper Award in RV2011.
- PC (co)-Chair:
HSCC 2022 ,
CMSB'16,
Medical CPS'16 ,
RV'15,
CSRV-2014,
SPIN'13,
HSB'12
- Selected Program Committees (total > 130):
ATVA (2020,2021),
CAV (2018, 2021),
DATE (2019-2020),
HSCC (2011, 2016- 2018,
2020-2024),
RV (2014-2020, 2024),
FM (2023),
TACAS (2020, 2023),
VMCAI (2024), EMSOFT (2024)
|