VMCAI 2025
Mon 20 - Tue 21 January 2025 Denver, Colorado, United States
co-located with POPL 2025
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

Show activities from other conferences

Using general profile