(Updated on 2014/11/25.)
I am a computer engineer with a focus on formal methods. I am interested in push-button (i.e. engineer-friendly :-) methods to help building reliable software. I work on feature-sensitive extensions of static analysis and verification techniques to be applied to highly configurable software (aka software product lines). A good example of configurable software is the Linux kernel (running on your Android phone), with more than 10,000 compile-time configuration options.
I also dedicate some of my (limited) spare time to the following projects:
Broadly, my research & work interests are automated formal methods, specification-based testing, design by contract, functional programming, and domain-specific languages.