As a programming languages researcher, he works on static analysis, especially for security, and on domain-specific language design for high-performance computing. Matt is passionate about scientific communication, and he enjoys blogging from http://blog.might.net/ and tweeting from @mattmight.