Challenges of Software Verification

Vincenzo Arceri is a no-tenure track assistant professor at the Department of Mathematical, Physical, and Computer Sciences, University of Parma, and his research focuses on static software analysis and verification, having 7 years of experience in this research field, in which he published on international conferences and journals related to software analysis, formal methods for software security, programming languages, and software engineering (including ACM TOPS, Information and Computation, VMCAI, ACM SIGAPP SAC). His main research interests include static program analysis, string analysis and verification (in particular for dynamic languages), abstract interpretation and, more in general, formal methods for program security.

Agostino Cortesi is a full professor at Ca' Foscari University of Venice. He has over 25 years of experience in the area of software verification, having published over 150 articles in high-level international journals and international conference proceedings. He has been a member of numerous program committees for international conferences (e.g., SAS, VMCAI) and editorial committees of scientific journals (Computer Languages, Journal of Universal Computer Science). He is currently the head of the Ph.D. program in Computer Science at Ca' Foscari. His main research interests concern programming language theory and static analysis techniques, with particular focus to security applications. He is the coordinator of the EU Horizon2020 "Families_Share" project and has held the position of head of unit of the H2020 project EQUAL-IST and of the COST project "Eutypes". He also directs the project MAE Italy-India 2017-19 "Formal Specification for Secured Software System" and the FIRST Covid-19 F2F project.

Prof. Pietro Ferrara is an assistant professor at Ca' Foscari University of Venice. He is an expert on static analysis based on abstract interpretation with a focus on the detection of security vulnerabilities in object-oriented programs. He joined the University of Venice in November 2019 as a tenure track assistant professor. Previously, from 2013 to 2019, he worked in industry gaining experience in delivering prototypes and commercial tools to customers filling the gap between scientific research and development and delivery of software products, as well as technical and commercial presentation to customers, evaluation activities, and preparation of commercial and technical documentation.

Martina Olliaro is a postdoc researcher at Ca' Foscari University of Venice. She received her Ph.D. in Computer Science at Ca' Foscari University of Venice (Italy) and Masaryk University of Brno (Czech Republic), under the supervision of both Professors Agostino Cortesi and Vashek Matyas. Her main research interest concerns string static analysis by means of abstract interpretation theory, with a focus to the string-related security issues. She is also interested in watermarking relational databases techniques and in the study of their semantics preservation.

Vincenzo Arceri 是帕爾馬大學數學、物理與計算機科學系的無終身職助理教授，他的研究專注於靜態軟體分析與驗證，擁有七年的相關研究經驗，並在與軟體分析、軟體安全的形式方法、程式語言及軟體工程（包括 ACM TOPS、Information and Computation、VMCAI、ACM SIGAPP SAC）相關的國際會議和期刊上發表過論文。他的主要研究興趣包括靜態程式分析、字串分析與驗證（特別是針對動態語言）、抽象解釋，以及更一般的程式安全形式方法。

Agostino Cortesi 是威尼斯卡福斯卡里大學的正教授。他在軟體驗證領域擁有超過25年的經驗，並在高水平的國際期刊和國際會議論文集中發表了超過150篇文章。他曾擔任多個國際會議的程序委員會成員（例如 SAS、VMCAI）及科學期刊的編輯委員會成員（Computer Languages、Journal of Universal Computer Science）。他目前是卡福斯卡里大學計算機科學博士課程的負責人。他的主要研究興趣涉及程式語言理論和靜態分析技術，特別關注安全應用。他是歐盟Horizon2020「Families_Share」項目的協調人，並曾擔任H2020項目EQUAL-IST和COST項目「Eutypes」的單位負責人。他還負責MAE Italy-India 2017-19「安全軟體系統的形式規範」項目及FIRST Covid-19 F2F項目。

Pietro Ferrara 教授是威尼斯卡福斯卡里大學的助理教授。他是基於抽象解釋的靜態分析專家，專注於檢測物件導向程式中的安全漏洞。他於2019年11月加入威尼斯大學，擔任無終身職助理教授。在此之前，他於2013年至2019年在業界工作，獲得了向客戶交付原型和商業工具的經驗，填補了科學研究與軟體產品開發和交付之間的空白，並進行技術和商業演示、評估活動以及商業和技術文檔的準備。

Martina Olliaro 是威尼斯卡福斯卡里大學的博士後研究員。她在威尼斯卡福斯卡里大學（意大利）和布爾諾馬薩里克大學（捷克共和國）獲得計算機科學博士學位，指導教授為 Agostino Cortesi 和 Vashek Matyas。她的主要研究興趣是通過抽象解釋理論進行字串靜態分析，特別關注與字串相關的安全問題。她還對關聯數據庫的水印技術及其語義保留的研究感興趣。