Registered user since Thu 16 Oct 2014
Name: Matthew Might
Bio: Associate Professor in Computing Science at the University of Utah.
Visiting Associate Professor at the Harvard Medical School.
Strategist in the Executive Office of the President at The White House.
Country: United States
Affiliation: University of Utah; Harvard Medical School; The White House
Personal website: http://matt.might.net/
Research interests: programming languages; security; high-performance computing
|POPL 2017||Author of A Posteriori Environment Analysis with Pushdown Delta CFA within the POPL-track|
|Show activities from other conferences|
View general profile