Matthew Might > Biography

I'm a professor in the School of Computing at the University of Utah.

I'm a principal investigator on a number of projects, covering the following topics:

programming languages;
compilers;
static analysis;
optimization;
security;
cybersecurity;
information security;
medical robotics;
formal verification;
high-performance computing;
domain-specific languages;
scripting languages;
dynamic languages;
higher-order languages.