 |
Prof. Ezio Bartocci
Email: name.surname@tuwien.ac.at
Tel: (+43)(1) 58801 - 18226
Fax: (+43) (1) 58801 - 18299
Office: Treitlstrasse 3, 1040 Vienna, Austria
|
|
ORCID ID, Google Scholar, Scopus, DBLP, PubMed, ResearchGate, Twitter |
Selected Professional Activities: |
- Editorial Board Member:
Research Direction: Cyber-Physical Systems (Cambridge University Press), Information and Computation (Elsevier)
- Current Research Projects: TAIGER
, MSCA-Cofund LogiCS@TU Wien ,SecInt, ProbInG, DK LogiCS, DK RES
- General Chair of QONFEST 2020 (CONCUR, QEST, FMICS, FORMATS, etc.)
- Steering Committee Member: QEST, RV, MTCPS, HSB, CMSB (2016-2019)
- co-Organizer of CPS Week 2016, ETAPS 2018
- 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-2022),
RV (2014-2020),
FM (2023),
TACAS (2020, 2023)
|
In Brief:
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.
The primary focus of my research is to develop formal methods, computational tools and
techniques that support the modeling and the automated analysis of complex computational
systems, including software systems, cyber-physical systems and biological systems.
I joined the Faculty of Informatics at TU Wien in 2012 as University Assistant. In Dec. 2014 I won
a "Laufbahnstelle" becoming a tenure-track Assistant Professor and I was promoted to
tenured Associate Professor in May 2019 and to Full Professor in Dec 2020.
Previously I was a post-doctoral researcher at the Department
of Computer Science (Research Scientist - from March 2011) and at the Department
of Applied Math and Statistics (Research Associate - from February 2010) of the
State University of New York at Stony Brook.
My research area, in the framework of the NSF Expeditions in Computing project CMACS,
was the Computational Modelling and Analysis of Cardiac Dynamics for Prediction and Control
of Cardiac Arrhythmia. I received the B.S. degree in Computer Science and the M.S. degree
in Bioinformatics from the University of Camerino in Italy, in 2002 and 2005, respectively.
During my M.S. degree in Bioinformatics I won a scholarship (from June 2003 to Feb 2004)
funded by the MIUR project Oncology Over Internet (O2I). In 2009 I got a Ph.D. in Complex
Systems and Information Sciences from the University of Camerino. I also hold the National
Habilitation as Associate Professor (since 2014) in Computer Science (INF/01) and
Computer Engineering (since 2017) (ING/INF-05) in Italy. In 2019 I received the Habilitation
(Venia Docendi) in Computer Science at the Faculty of Informatics of TU Wien.
I co-chaired several international events, such as HSB 2012, the First International
Workshop on Hybrid Systems and Biology, SPIN 2013, the 20th Intern. Symposium on Model
Checking Software, the CSRV-2014, the First Intl. Competition of Software Runtime Verification
in Canada, the Medical CPS track at Isola 2014, the 15th Intl. Conference on Runtime
Verification in Vienna (2015), the 14th International Conference on Computational Methods
in Systems Biology in Cambridge (2016) and the 7th International Workshop on Medical
Cyber-Physical Systems in Vienna (2016). I co-organized in Vienna the CPS Week 2016.
I was the General Chair of QONFEST 2020,
the umbrella conference comprising the joint international 2020 meetings: CONCUR 2020,
FMICS 2020, FORMATS 2020, QEST 2020, alongside with several workshops and tutorials.
I serve as Editorial Board Member of the International Journal of
Information and Computation (Elsevier).
I am a permanent member of the Steering Committee of the International Conference
of Runtime Verification. I am also a member the Steering Committee of the International
Conference on Quantitative Evaluation of SysTems. I am currently the scientific coordinator
of the WWTF ICT project ProbInG, the
vice-chair for program admission for the
Marie Skłodowska-Curie COFUND Doctoral Programme LogiCS@TUWien and the advisory board
member for the Doctoral Programme in Resilient Embedded Systems. I co-chair
HSCC 2022: the 25th ACM International Conference on Hybrid Systems: Computation and Control.