Iago Abal

home phd projects
A picture of me

(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.

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.