Nicola Assolini

About Me I am a PhD student at the University of Verona and a member of the Quantum Informatics Laboratory (QUILAB). My research interests are quantum programming languages, in particular, semantics and static analysis of quantum programming languages. In the spring of 2024, I was a visiting researcher at Tsinghua University and Institute of Software, Chinese Academy of Sciences, under the supervision of Prof. Mingsheng Ying and in autumn and winter 2024 I visited the University of Arizona under the supervision of Prof. Roberto Giacobazzi. 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]

Workshop

• 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
• AV Student Volunteer:
  • PLDI 2024
  • POPL 2024

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