Might holds a Ph.D. in computer science from Georgia Tech and has been involved with start-up companies, software security auditing and distributed internet chat.
Expertise: automated analysis of software, software performance, security and verification, cyber security
Office Phone: 801/581-8224
Email address: matt@might.net
