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 blog.might.net and tweets from @mattmight.