IMDEA Software

IMDEA initiative

Home > People > Alejandro Serrano

Alejandro Serrano

The information in this page may be outdated, as Alejandro Serrano is currently not a member of the Institute.

Alejandro Serrano
MS - Universidad Autónoma de Madrid, Spain
Former PhD Student

Adviser: Pedro López

Research Interests

Static analysis and verification using formal methods, Functional programming, Type Theory and Logic