POPL 2025
Sun 19 - Sat 25 January 2025 Denver, Colorado, United States
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