ICFP 2024
Mon 2 - Sat 7 September 2024 Milan, Italy
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

ICFP 2024-profile
View general profile