IMDEA Software

IMDEA initiative

Home > People > Umer Liqat

Umer Liqat

The information in this page may be outdated, as Umer Liqat is currently not a member of the Institute.

Umer Liqat
MS - Dresden University of Technology, Germany
Former PhD Student

Home Page:
Adviser: Pedro López

Research Interests

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