IMDEA initiative


IMDEA Software Institute
Campus Montegancedo S/N
28223 Pozuelo de Alarcón,

+34 91-101-2202 ext 4119

Umer Liqat

Research Assistant @ IMDEA Software Institute

Umer Liqat

About me

I have been a research assistant at the IMDEA Software Institute since 2012, where I have been working under the supervision of Pedro López-García. I am also enrolled in Phd program in Technical University of Madrid since 2013.

I did my double degree European Master Program in Computational Logic in 2011, from the Technical University of Madrid (Spain) and Dresden University of Technology (Germany), under the Erasmus Mundus scholarship. Before that, I did my Bachelors degree in Computer Science from the University of the Punjab (Pakistan) in 2007. During and in between the two degrees, I have worked as a Software engineer as well as held a student researcher position at SAP Research Center Dresden (Germany).

Research Interests

Automatic program analysis and verification of resource usage (e.g. energy, time); Static analysis; Abstract execution; Energy-aware software engineering; transformation based analysis framework for multi-language analysis and optimizations trading-off precision/performance/energy; logic programming



Articles in Refereed Conferences and Journals

Publications in Refereed Workshops

Articles in Books and Other Collections