Alexandre Abreu

Currently, a PhD student at University of Porto. I'm interested in topics such as formal methods, software verification, type theory, programming languages, and functional programming.