Pierre-Marie Pédrot is an Inria permanent researcher, in the Gallinette team.
Pierre-Marie’s research focuses on effects and type theory.
Pierre-Marie received his Ph.D. from the Université Paris Diderot, France.
Talk : Exceptional Type Theory, Friday Jan 10, 9:30 AM – 11:00 AM
Personal website : https://www.pédrot.fr