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).
|
- 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)
|