|
|
About MeResearch Software Engineer at Quantinuum.
|
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]
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
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)
Program Committee and Organizing Committee Member of Workshop on Quantum Software (WQS) 2024 and 2025
Qualified for the national competition of the CyberChallenge.IT project (2021 - 2022)
Member of a finalist team in the National Mathematics Olympics (2017)
(λx.λy. "nicola" . x . "assolini" . x. "98" y . "gmail" . x . "com") "." "@"