基本信息
浏览量:215
职业迁徙
个人简介
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. On these topics I co-authored more than 100 referred papers published in the main international journals and top-tier conferences of my research areas (CAV, ICCPS, TACAS, ATVA, CDC, EMSOFT, HSCC, ESOP, etc.), generating more than 3200 citations (h-index >= 33) according to Google Scholar and more than 1800 citations (h-index >= 26) according to Scopus.
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 currently the scientific coordinator of the recently funded WWTF ICT project ProbInG.
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 currently the scientific coordinator of the recently funded WWTF ICT project ProbInG.
研究兴趣
论文共 204 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
Model Checking Softwarepp.141-160, (2023)
引用0浏览0EI引用
0
0
RVpp.86-105, (2023)
引用0浏览0EI引用
0
0
DACpp.1-6, (2023)
引用0浏览0EIWOS引用
0
0
CoRR (2023)
引用0浏览0EI引用
0
0
QUANTITATIVE EVALUATION OF SYSTEMS, QEST 2023 (2023): 288-306
CoRR (2023): 21:1-21:16
引用0浏览0EI引用
0
0
arxiv(2023)
引用1浏览0EIWOS引用
1
0
QUANTITATIVE EVALUATION OF SYSTEMS, QEST 2023 (2023): 47-64
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn