• Sign in
  • Sign up
conf.researchr.org / Romain Péchoux
  • ETAPS 2019 profile
  • POPL 2023 profile
  • POPL 2024 profile
Romain Péchoux

Registered user since Tue 20 Nov 2018

Name:Romain Péchoux
Country:France
Affiliation:Université de Lorraine; CNRS; Inria; LORIA
Personal website: https://members.loria.fr/RPechoux/
Research interests:Implicit Computational Complexity, Programming Languages, Quantum Programming

Contributions

2024

PLanQC

  • Author of A feasible and unitary programming language with quantum control within the PLanQC 2024-track
  • Author of Quantum and Classical Control (work-in-progress) within the PLanQC 2024-track

2023

POPL

  • Author of A General Noninterference Policy for Polynomial Time within the POPL-track

2019

DICE-FOPARA

  • Author of Tiered complexity at higher order within the DICE-FOPARA-track
  • PC Member in Program Committee within the DICE-FOPARA-track
Share
xFri 23 May 23:18
using conf.researchr.org (v1.69.0)
Support page
Sign Up