Alejandro Serrano
The information in this page may be outdated, as Alejandro Serrano is currently not a member of the Institute.
MS - Universidad Autónoma de Madrid, SpainFormer PhD Student
Adviser: Pedro López
Research Interests
Static analysis and verification using formal methods, Functional programming, Type Theory and Logic