Umer Liqat
The information in this page may be outdated, as Umer Liqat is currently not a member of the Institute.
MS - Dresden University of Technology, Germany
Former PhD Student
Home Page: https://software.imdea.org/~umer/
Adviser: Pedro López
Former PhD Student
Home Page: https://software.imdea.org/~umer/
Adviser: Pedro López
Research Interests
Program analysis and verification (Static analysis,Resource usage analysis…), Constraint logic programming, Model checking