Iniciativa IMDEA

Inicio > Personal

Alejandro Serrano

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

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

Antiguo PhD Student

Alejandro Serrano

Intereses de Investigación

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