Umer Liqat

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

MS - Universidad Técnica de Dresde, Alemania
Antiguo PhD Student

Página web: https://software.imdea.org/~umer/
Tutor: Pedro López

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

Program analysis and verification (Static analysis,Resource usage analysis…), Constraint logic programming, Model checking