Alejandro Serrano

La información de esta página podría estar desactualizada debido a que Alejandro Serrano no es actualmente miembro del Instituto.

MS - Universidad Autónoma de Madrid, España
Antiguo PhD Student

Tutor: Pedro López

Esta página aún no ha sido traducida. A continuación se muestra la página en inglés.

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