Abu Naser MasudPostdoctoral Researcher
Technical University of Madrid, Spain
I have defended my PhD thesis titled "Termination and Cost Analysis: Complexity and Precision Issues" on February 2013. My thesis was supervised mainly by Samir Genaim, Complutense University of Madrid. German Puebla, who also lead the Costa Research Group, also directed me at initiating my PhD research. I am continuing my research at the Costa Research Group, School of Computer Science, Technical University of Madrid.
Right now, I am looking for a postdoctoral research position.
Computer Languages and Systems and Software Engineering
School of Computer Science, Campus de Montegancedo
Technical University of Madrid
28660 - Boadilla del Monte (Madrid) - Spain
Phone: +34 91 3365018
Email: mdabu.naser (at) upm.es, masudku (at) gmail.com