Alberto Bombardelli

フリガナ：アルベルト ボンバルデッリ

My Picture

Important/大切：

Looking for new postdoc position (possibly in Japan, especially Kansai/Aichi area) from April 2027! Please contact me via email if interested

Current Position

• Program Specific Postdoctoral Researcher at Kyoto University (京都大学）
• Supervisor: Atsushi Igarashi
• Project: Zero Trust-IoT
• Period: 01/01/2026 - ongoing (end 31/03/2027)

Previous Position

• PhD Candidate in Computer Science at University of Trento, Italy
• Supervisor: Stefano Tonetta
• Graduation: October 2025
• PhD Thesis: PDF Slides

Research Interest:

• Compositional verification
• Temporal Logics
• Hyperproperties
• LTL Modulo Theory
• Invariant Checking

Main Publications:

• LPAR26 Induction and K-Induction for Hyperproperties - A. Bombardelli, C. Sánchez, S. Tonetta - to appear
• LMCS2026 Asynchronous Composition of LTL Properties over Infinite and Finite Traces - A. Bombardelli, S. Tonetta lmcs
• SPIN25: (Asynchronous) Temporal Logics for Hyperproperties on Finite Traces - A. Bombardelli, A. Bozzelli, César Sánchez, S. Tonetta [PDF, Slides]
• FSTTCS24: Unifying Asynchronous Logics for Hyperproperties - A. Bombardelli, A. Bozzelli, César Sánchez, S. Tonetta arXiv
• Principles of Verification: Cycling the Probabilistic Landscape: Another Look at LTL Modulo Theory over Finite and Infinite Traces - A. Bombardelli, A. Cimatti, A. Griggio, S. Tonetta [PDF]
• iFM2023: Symbolic Model Checking of Relative Safety Properties - A. Bombardelli, A. Cimatti, S. Tonetta [PDF,Slides]
• NFM2023: Reasoning with Metric Temporal Logic and Resettable Skewed Clocks - A. Bombardelli, S. Tonetta [PDF,Slides]
• DATE2023: Metric Temporal Logic with Resettable Skewed Clocks - A. Bombardelli, S. Tonetta [PDF,Poster]
• NFM2022: Asynchronous Composition of Local Interface LTL Properties - A. Bombardelli, S. Tonetta [PDF,Slides]

Documents and other stuff

• Curriculum Vitae (outdated)
• Linkedin

Contacts:

• email: abombardelli [at] fos.kuis.kyoto-u.ac.jp