Alberto Bombardelli -

Registered user since Wed 19 Aug 2026

Name:Alberto Bombardelli

Country:Japan

Affiliation:Kyoto University, Japan

Personal website: https://albbombardelli.github.io/

Research interests:Hyperproperties, Symbolic Model Checking, Compositional Verification, LTL modulo theory

Contributions

2027

VMCAI

Committee Member in Artifact Evaluation Committee within the VMCAI 2027-track

2026

APLAS

Author of Extending Rabbit with ProVerif for Security Analysis of Networked Systems within the NIER-track

2023

NFM

Author of Reasoning with Metric Temporal Logic and Resettable Skewed Clocks within the NFM 2023-track