Registered user since Sat 4 Jul 2015

Name: Jeremy Avigad

Affiliation: Carnegie Mellon University, USA

ICFP 2017 Activities

• Author of A Metaprogramming Framework for Formal Verification within the Research Papers-track in ICFP 2017
• Show activities from other conferences