A picture of me

Iago Abal Rivas

home bio phd projects

ITU Technical Report: 40 Variability Bugs in the Linux Kernel: A Qualitative Study.

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.

If you want to take a look to my CV please visit my linkedin profile for a big-picture view,
or ask me for a detailed version.