His research interests include multicore architecture, fine-grained parallelism and compilation techniques, high-level hardware design languages and methodologies, and the applications of computing techniques to the natural sciences. He is committed to raising the level of abstraction across the computing landscape — an interest he has also explored as co-designer of the high-level hardware design language Bluespec and developer of a high-level language for computational immunology studies.