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

Research Interests

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