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. At this time I am pursuing my PhD at the IT University of Copenhagen, under the joint supervision of Andrzej Wąsowski and Claus Brabrand. 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 6,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.