Nicola Assolini

About Me Research Software Engineer at Quantinuum. In the meanwhile a PhD candidate at the University of Verona under the supervision of Prof.ssa Alessandra Di Pierro and Prof.ssa Isabella Mastroeni. My research interests are quantum programming languages, in particular, semantics and static analysis of quantum programming languages. Publications Career Contact Information Curriculum Vitae (04-2025)

Publications

International Conferences

• 2025
  • A Static Analysis of Entanglement, 26th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2025), with POPL 25. Assolini Nicola, Di Pierro Alessandra, Mastroeni Isabella [pdf][video]
• 2024

  • Static analysis of quantum programs, Static Analysis: 31th International Symposium (SAS 2024), with SPLASH 24. Assolini Nicola, Di Pierro Alessandra, Mastroeni Isabella [pdf][video]

  • Abstracting entanglement, International Workshop on Numerical and Symbolic Abstract Domains (NSAD 24), with SPLASH 24. Assolini Nicola, Di Pierro Alessandra, Mastroeni Isabella [pdf][video]

Preprint

• 2025
  • A Semantics for Quantum Loops. Assolini Nicola, Di Pierro Alessandra[arxiv]
  • Formal Verification of Variational Quantum Circuits. Nicola Assolini, Luca Marzari, Isabella Mastroeni, Alessandra di Pierro [arxiv]

Workshop Talks

• 2025
  • A Semantics for Quantum Loops, Workshop on Quantum Software 25 (WQS 25), with PLDI 2025 [draft][Video]
  • Interval-based Analysis of Quantum Variational Computing, First Workshop on Verification of Quantum Computing (VQC 2025), with CAV 2025
• 2024
  • A Static Analysis for High-Level Quantum Programming Languages, Workshop on Quantum Software 24 (WQS 24), with PLDI 2024 [Video]

Career

• University of Verona (Verona, Italy, 10/2023-)
  • Role: Ph.D. Student
  • Quantum programming language, static analysis. quantum semantics
• University of Verona (11/2018 - 10/2019)
  • Role Undergraduate Research Fellow
  • Document clustering and semantic web methodologies
• ALTAIR Robotics Lab, University of Verona (09/2018 - 11/2018)
  • Role Undergraduate Research Fellow
  • Design and implementation Of algorithms for statistical analysis of experimental results

Education

• (2020 - 2022) MSc in Computer Science Engineering
  • University of Verona, Verona, Italy
  • Thesis: A static analysis for uncomputation in quantum programming languages
• (2017 - 2020) BSc in Computer Science
  • University of Verona, Verona, Italy
  • Thesis: DOB-based Force Control - Accounting for the nominal load dynamics
• (2012 - 2017) Diploma (Maturità Scientifica)
  • Scientific Lyceum Don Milani, Montichiari, Italy

Teaching and Tutoring

• Teaching Assistant, Quantum computing course, MSc Computer Science, University of Verona (2024 - Present)

• Teaching Assistant, Foundations of Computing course, BSc Computer Science, University of Verona (2020 - 2024)

• Organizer and Tutor, Cyberchallenge, University of Verona (2022 - Present)

• Teaching Assistant, Compilers course (Laboratory part), BSc Computer Science, University of Verona (2022 - 2023)

Service

• Program Committee and Organizing Committee Member of Workshop on Quantum Software (WQS) 2024 and 2025

• I am part of SIGPLAN-AV team and I have been Video co-chair during:
  • POPL 25
  • SPLASH 2024
  • POPL 26
• AV Student Volunteer:
  • PLDI 2024
  • POPL 2024
  • PLDI 2025

Schools

• Lipari Summer School on Abstract Interpretation (Summer 2024)
• Quantum Machine and Deep Learning (Summer 2023)

Achievements

• Qualified for the national competition of the CyberChallenge.IT project (2021 - 2022)

• Member of a finalist team in the National Mathematics Olympics (2017)

Contact Information

• Email: (λx.λy. "nicola" . x . "assolini" . y . "univr" . x . "it") "." "@"
• LinkedIn
• Scholar
• ORCiD: 0000-0002-6754-6206
• GitHub