Nicola Assolini

About Me Research Software Engineer at Quantinuum. Publications Career Contact Information Curriculum Vitae (04-2025)

Publications

Journal papers

• 2026
  • Challenges in Quantum Programs Analysis, Int J Softw Tools Technol Transfer (2026). Assolini Nicola, Di Pierro Alessandra, Mastroeni Isabella doi: 10.1007/s10009-026-00845-1 [pdf]

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 doi: 10.1007/978-3-031-82703-7_3 [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 doi: 10.1007/978-3-031-74776-2_1 [pdf][video]

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

Preprint

• 2025

  • A Semantics for Quantum Loops. Assolini Nicola, Di Pierro Alessandra [arxiv]

  • Formal Verification of Variational Quantum Circuits. Assolini Nicola, Marzari Luca, Mastroeni Isabella, Di Pierro Alessandra [arxiv]

Workshop Talks

• 2025

  • A Semantics for Quantum Loops, Workshop on Quantum Software 25 (WQS 25), with PLDI 2025 [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

• Quantinuum (Cambridge, England, United Kingdom, 12/2025 - present)
  • Role: Research Software Engineer
• University of Verona (Verona, Italy, 10/2023-05/2026)
  • Role: Ph.D. Student
  • Supervisors: Prof.ssa Alessandra Di Pierro and Prof.ssa Isabella Mastroeni.
  • 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" . x. "98" y . "gmail" . x . "com") "." "@"
• LinkedIn
• Scholar
• ORCiD: 0000-0002-6754-6206
• GitHub