Matthew Might portrait
  • Research Affiliate, U.S. Department of Veterans Affairs
  • Advisor, Undiagnosed Disease Network Coordinating Center, Harvard University
  • Strategist, Executive Office of the President at the White House
  • Adjunct Associate Professor, Pharmaceutical Chemistry
  • Associate Professor, Visiting, Biomedical Informatics, Harvard Medical School

Research Summary

My interests span static analysis, compilers, functional programming, cybersecurity, information security, optimization, medical robotics, parallelism, high-performance computing, scripting languages, dynamic languages and genetics.


  • Ph.D., Computer Science, Georgia Tech. Project: Environment analysis of higher-order languages


Dr. Might is an Associate Professor in the School of
Computing at the University of Utah, where he leads the U
Combinator software systems research lab.

He has received research funding from the Department of
Defense (DARPA), the National Science Foundation and the
National Nuclear Security Administration to investigate
automated security analysis, advanced performance
optimization, next-generation programming languages and
safety verification for medical robotics.  

He has received a CAREER Award from the National Science
Foundation, and in 2014, he was appointed one of six
Presidential Scholars at the University of Utah. He received
his Ph.D. in Computer Science from Georgia Tech in 2007.  He
regularly blogs at and tweets from