• Sign in
  • Sign up
conf.researchr.org / Vladimir Zamdzhiev
  • APLAS 2025 profile
  • ATVA 2025 profile
  • ICFP 2019 profile
  • ICFP 2022 profile
  • PLDI 2021 profile
  • POPL 2022 profile
  • POPL 2024 profile
  • POPL 2025 profile
  • POPL 2026 profile
Vladimir Zamdzhiev

Registered user since Fri 14 Jun 2019

Name:Vladimir Zamdzhiev
Bio:

Researcher in LMF/Inria Saclay.

Country:France
Affiliation:Inria
Personal website: https://zamdzhiev.github.io/
GitHub: https://github.com/zamdzhiev
Research interests:(Quantum) Programming Languages, Type Systems, Mathematical/Denotational Semantics

Contributions

2026

PLanQC

  • PC Chair in Program Committee within the PLanQC 2026-track
  • Committee Member in Organizing Committee within the PLanQC 2026-track

2025

ATVA

  • Author of IMALL with a Mixed-State Modality: A Logical Approach to Quantum Computation within the APLAS Papers-track

APLAS

  • Author of IMALL with a Mixed-State Modality: A Logical Approach to Quantum Computation within the Research Papers-track

POPL

  • Committee Member in Program Committee within the POPL-track

2024

PLanQC

  • Author of Quantum and Classical Control (work-in-progress) within the PLanQC 2024-track

2022

PLanQC

  • Committee Member in Program Committee within the PLanQC-track
  • Author of Type-safe (Variational) Quantum Programming in Idris within the PLanQC-track

POPL

  • Author of Semantics for Variational Quantum Programming within the POPL-track

2021

PLanQC

  • Committee Member in Program Committee within the PLanQC 2021-track

2019

ICFP

  • Author of Mixed Linear and Non-linear Recursive Types within the Research Papers-track
Share
xSat 1 Nov 10:51
using conf.researchr.org (v1.72.1)
Support page
Sign Up