I am a full professor for Formal Methods in Cyber-Physical Systems Engineering at the
Faculty of
Computer Science TU Wien, and I am leading the Trustworthy Cyber-Physical Systems (TrustCPS) Group of the
Cyber-Physical System Research Unit.
I am also the chair of the Doctoral College on Trustworthy Autonomous Cyber-Physical Systems,
the vice-chair for the program admission of the Marie Skłodowska-Curie COFUND doctoral programme LogiCS_at_TUWien,
the advisory board member of the Doctoral College on Resilient Embedded Systems,
the scientific coordinator of the WWTF project ProbInG, a member of the Cyber-Security
Center of TU Wien, and one of the coordinators for the Sustainability and AI special interest
group of the Center for Artificial Intelligence and Machine Learning (CAIML) of TU Wien.
|
- 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
- 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, 2024),
HSCC (2011, 2016- 2018,
2020-2024),
RV (2014-2020, 2024),
FM (2023),
TACAS (2020, 2023),
VMCAI (2024), EMSOFT (2024), ICCPS (2025), CONCUR (2025)
|