• Sign in
  • Sign up
conf.researchr.org / Gabriele Tedeschi
  • APLAS 2024 profile
  • POPL 2024 profile
  • STAF 2024 profile
  • ‹Programming› 2027 profile
Gabriele Tedeschi

Registered user since Sat 6 Jan 2024

Name:Gabriele Tedeschi
Country:France
Affiliation:Université Paris Cité - CNRS - IRIF
Personal website: https://www.irif.fr/users/tedeschi/index
Research interests:Quantum Computing, Quantum Communication, Formal Methods, Quantum Programming Languages, Logic

Contributions

2027

QP

  • Committee Member in Program Committee within the QP 2027-track

2024

PLanQC

  • Author of Effect Semantics for Quantum Protocols within the PLanQC 2024-track

APLAS

  • Author of Quantum Bisimilarity is a Congruence under Physically Admissible Schedulers within the Research Papers-track

WADT

  • Presenter of Reconciling Quantum Theory and Process Calculi via Physically Admissible Schedulers within the Research papers-track

POPL

  • Author of Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-Deterministic Observers within the POPL-track
Share
xSun 18 Oct 15:57
using conf.researchr.org (v1.76.1)
Support page
Sign Up