Remy Liam Cerda

Ricercatore post-dottorato in informatica teorica. Argomenti di interesse: teoria dei linguaggi di programmazione, teoria della riscrittura, λ-calcolo, teoria della dimostrazione, semantica quantitativa, coinduzione.

Precedentemente: ricercatore post-dottorato presso IRIF, CNRS (Parigi, Francia); Dottorato di ricerca in matematica presso I2M, Aix-Marseille Université (Marsiglia, Francia). Vai al Curriculum