Home » user account

might

Personal information


http://matt.might.net/

I received my Ph.D. in programming languages from Georgia Tech under Olin Shivers.


Abstract interpretation, higher-order flow analysis, environment analysis.

History


4 years 25 weeks