Write a Blog >>
Aymeric Fromherz

Registered user since Mon 28 Jan 2019

Name: Aymeric Fromherz

Affiliation: Carnegie Mellon University

Contributions

ADSL 2020 Steel: scaling up memory reasoning for F*
Show activities from other conferences

POPL 2020-profile
View general profile