This is Iago's website!
I am a computer engineer with a focus on formal methods. At this time I am developing my PhD project at the IT University of Copenhagen, on the static analysis of highly configurable software. Despite my academic background I try to keep working on real-world problems, hopefully of industrial interest. For instance, my PhD project focus is on varability-aware program analysis that can scale to the Linux kernel... do you have an Android phone? In the not-so-long run, I would like to worry less about publishing papers and much more about making things work :-)
I also dedicate some of my spare time to the following projects:
Broadly, my research & work interests are automated formal methods, specification-based testing, functional programming, and domain-specific languages.