IMDEA Software

IMDEA initiative

Home > People

Alejandro Serrano

MS - Universidad Autónoma de Madrid, Spain

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

Former PhD Student

Alejandro Serrano

Research Interests

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