Romain Péchoux

Registered user since Tue 20 Nov 2018

Name:Romain Péchoux
Affiliation:Université de Lorraine; CNRS; Inria; LORIA
Research interests:Implicit Computational Complexity, Programming Languages, Quantum Programming


POPL 2023 Author of A General Noninterference Policy for Polynomial Time within the POPL-track
DICE-FOPARA 2019 Author of Tiered complexity at higher order within the DICE-FOPARA-track
PC Member in Program Committee within the DICE-FOPARA-track