Skip to content

Matthew Might

  • Professor
  • Assistant Professor
  • University of Utah
  • 14Followers
  • 9Following

Research interests

verificationparallelizationoptimizationsecurityfunctional programminghigher-order languagesabstract interpretationstatic analysis

Followers (14)

Explore network

Following (9)

Explore network

Professional experience

Assistant Professor

University of Utah

July 2008 - Present

Education

Ph.D., Computer Science

Georgia Institute of Technology

August 2003 - June 2007(4 years)