CV

Education

• B.S. in Computer Science, University of Trento, 2015-2018
• M.S. in Computer Science (Software Engineering), University of Trento, 2018-2020
• Period abroad (Erasmus), Aalto University, 2019
• Ph.D in Formal Verirification, University of Trento, 2020-2024 (expected)

Work experience

• Research Collaborator @ KU Leuven
  • Joint work with Paolo Morettin (post-doc @ KU Leuven) focused on exploiting Weighted Model Integration for probabilistic formal verification
• Research Assistant @ University of Freiburg
  • Research on model counting and model enumeration
  • Supervisor: Armin Biere

Publications

SMT-based weighted model integration with structure awareness

On CNF Conversion for Disjoint SAT Enumeration

Effective Prime Factorization via Quantum Annealing by Modular Locally-structured Embedding

Disjoint Partial Enumeration without Blocking Clauses

Enhancing SMT-based Weighted Model Integration by Structure Awareness

Experimenting with D-Wave quantum annealers on prime factorization problems

Canonical Decision Diagrams Modulo Theories

Talks

UAI22: SMT-based weighted model integration with structure awareness

January 01, 2022

Talk at UAI22, Eindhoven, Netherlands

Pillole di Python: data analysis for dummies

March 30, 2023

Seminar at Dipartimento di Economia, Universitá degli Studi di Trento, Trento, Italy

Pillole di Python: data visualization in Python

April 13, 2023

Seminar at Dipartimento di Economia, Universitá degli Studi di Trento, Trento, Italy

MCW23: Enumerating Disjoint Partial Models without Blocking Clauses

June 30, 2023

Talk at SAT23, Alghero, Italy

Teaching

Automated Reasoning/Formal Verification Lab 21-22

Automated Reasoning/Formal Verification Lab 22-23

Automated Reasoning/Formal Verification Lab 23-24