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