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 2020Author of mediKanren: A System for Bio-medical Reasoning within the miniKanren 2020-track
Author of A Relational Interpreter for Synthesizing JavaScript within the miniKanren 2020-track
Author of The Pill is in The Proof: Saving Lives with Logic within the miniKanren 2020-track
Show activities from other conferences

ICFP 2020-profile
View general profile