Matthew Weaver -

Registered user since Thu 10 Nov 2016

Name:Matthew Weaver

Country:United States

Affiliation:Princeton University

Personal website: https://www.cs.princeton.edu/~mzweaver/

Contributions

2020

ICFP

Author of LGBTQ Meetup within the Social Events-track

2017

CoqPL

Author of CertiCoq: A verified compiler for Coq within the CoqPL 2017-track

2015

PLOOC

Author of AutomataTutor and what I learned from building an online teaching tool within the PLOOC 2015-track