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:


Selected Publications

Programming Languages, Compilation and Hardware Synthesis


Security


Ubiquitous Computing


Patents