Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
Matthew Might

Registered user since Thu 16 Oct 2014

Name: Matthew Might

Bio: Professor of Internal Medicine and Computer Science, UAB

Hugh Kaul Endowed Chair in Personalized Medicine

Director, Hugh Kaul Precision Medicine Institute

Senior Lecturer, Harvard Medical School

Country: United States

Affiliation: University of Alabama at Birmingham | Harvard Medical School

Personal website: http://matt.might.net/

Research interests: programming languages; security; high-performance computing

Contributions

miniKanren 2020 mediKanren: A System for Bio-medical Reasoning
A Relational Interpreter for Synthesizing JavaScript
The Pill is in The Proof: Saving Lives with Logic
Show activities from other conferences

ICFP 2020-profile
View general profile