Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Matthew Weaver
conf.researchr.org general profile
ICFP 2020 profile
PLDI 2015 profile
POPL 2017 profile
Registered user since Thu 10 Nov 2016
Name:
Matthew Weaver
Country:
United States
Affiliation:
Bloomberg
Personal website:
https://mzweav.github.io
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
Share
x
Fri 23 Jan 06:27
