Overview

My research primarily involves the application of programming languages and compiler
technology to complex systems-engineering problems.
More generally, I have a wide range of research interests including: