• Sign in
  • Sign up
conf.researchr.org / Nicola Assolini
  • PLDI 2024 profile
  • PLDI 2025 profile
  • POPL 2025 profile
  • POPL 2026 profile
  • POPL 2027 profile
  • SPLASH 2024 profile
Nicola Assolini

Registered user since Tue 30 May 2023

Name:Nicola Assolini
Country:Italy
Affiliation:Quantinuum
Personal website: https://nicolaassolini98.github.io/
X (Twitter): https://x.com/NicolaAssolini
Research interests:Quantum Programming Languages

Contributions

2027

VMCAI

  • Committee Member in Artifact Evaluation Committee within the VMCAI 2027-track

2026

PLanQC

  • Author of Embedding a Type-safe Quantum-Lambda Calculus in Haskell within the PLanQC 2026-track

POPL

  • Video Co-Chair in AV Committee
  • Video Co-Chair in Organizing Committee

2025

WQS

  • Committee Member in Program Committee within the WQS 2025-track
  • Committee Member in Organizing Committee within the WQS 2025-track
  • Author of A Semantics for Quantum Loops within the WQS 2025-track

POPL

  • Committee Member in AV Committee

VMCAI

  • Author of A Static Analysis of Entanglement within the VMCAI 2025-track

2024

NSAD

  • Author of Abstracting Entanglement within the NSAD 2024-track

SPLASH

  • Video Chair in Organizing Committee

Static Analysis Symposium

  • Keynote Speaker of Static Analysis of Quantum Programs within the SAS 2024-track

WQS

  • Committee Member in Program Committee within the WQS-track
  • Co-rganizer in Organizing Committee within the WQS-track
  • Author of A Static Analysis for High-Level Quantum Programming Languages within the WQS-track
Share
xThu 5 Nov 21:01
using conf.researchr.org (v1.76.1)
Support page
Sign Up