Write a Blog >>

Registered user since Mon 28 Jan 2019

Name: Aymeric Fromherz

Affiliation: Carnegie Mellon University

Contributions

ADSL 2020Author of Steel: scaling up memory reasoning for F* within the ADSL 2020-track
Show activities from other conferences

Using general profile