Research

I'm a researcher in the PLuM group (Programming languages and methodology). My interests center around the application of static program analysis, type systems, and software structuring methods in novel programming languages.

I'm currently involved in developing Sing#, a language supporting the programming of the Singularity OS and its applications.

Past Research

Together with Rob DeLine, I ran the Fugue project, whose goal is to design a specification mechanism and checker for managed code bases.

Previously, I  co-designed Vault, a novel programming language that enables the programmer to describe API usage rules together with a compiler to check them

Former Life

I spent 5 years in beautiful Berkeley, CA, where I obtained my Ph.D. under the supervision of Alex Aiken. My dissertation explored the feasibility, expressive power, and performance of a program analysis toolkit. To this end I built BANE, the Berkeley ANalysis Engine.

Family

My wife and children are currently exiled in Switzerland on an extended stay to brush up on their German and to reconnect with our extended family.