Iniciativa IMDEA

Inicio > Personal

Umer Liqat

MS - Dresden University of Technology, Germany

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

Antiguo PhD Student

Umer Liqat
Página web: http://software.imdea.org/~umer/

Intereses de Investigación

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