About me

Iago Abal

Hi! I’m Iago Abal Rivas, a computer engineer and a strong advocate of formal methods. Currently, I’m coursing a Master’s degree in Formal Methods in Software Engineering at University of Minho. I’m developing my Master’s thesis at the High-Assurance Software Laboratory (HASLab), working on rewriting-based simplifications for bit-vector arithmetic, with focus on equivalence checking of crypto algorithms. I am also working for Educed Lda applying SMT technology to requirement analysis.

I hold a 5-year degree in Computer Engineering from the University of A Corunha. Broadly, my research & work interests are automated formal methods, automated test-case generation, type systems, functional programming and domain-specific languages. If you want to take a look to my CV please visit my online professional profile for a big-picture view, or ask me for a detailed version by e-mail (see below).

I have no blog, but you can “follow me” at +Iago.

If you want to contact me, please use my personal e-mail address: