Matthew Might

Registered user since Mon 14 Oct 2019

Name:Matthew Might
Country:United States
Affiliation:University of Alabama at Birmingham | Harvard Medical School
Personal website:
Research interests:precision medicine, functional programming, static analysis


DLS 2016 Author of A Small Embedding of Logic Programming with a Simple Complete Search within the DLS-track
Scheme 2011 Chair in Program Committee within the Scheme 2011-track
SPLASH 2011 Scheme'11 Chair in Organizing Committee