IMDEA Software

IMDEA initiative

Home > People

Umer Liqat

MS - Dresden University of Technology, Germany

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

Former PhD Student

Umer Liqat
Home Page:

Research Interests

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