Matthew Might > Biography
Biography Information
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.
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.