Quantum Programming Languages PhD Student at the University of Verona
I am a doctoral student at the University of Verona. My research interests are quantum programming languages, in particular semantics and static analysis of quantum programming languages.
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]
Teaching Assistant, Quanutum 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)
I am part of SIGPLAN-AV team.
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" . y . "univr" . x . "it") "." "@"