Kenji Maillard

Registered user since Mon 27 Jan 2020

Name:Kenji Maillard
Bio:

Inria starting faculty position (ISFP) since December 2022

Country:France
Affiliation:Inria
Research interests:Programming languages, Proof assitants, Formal methods, Category theory

Contributions