Abu Naser Masud, Senior Lecturer

Abu Naser Masud serves as a senior lecturer at Mälardalen University in Sweden, specializing in static program analysis. His primary research contributions encompass the development of various static program analysis methods, such as static data race detectors, pointer analysis, program slicing, software dependency analysis, and software resource analysis. His research interests span Program Semantics, Program Logic, Verification, Abstract Interpretation, Compiler Technology, Automated Software Engineering, and Probabilistic Programming. Dr. Masud earned his PhD in Computer Science from the Technical University of Madrid (Spain) and holds a joint European Master of Science in Computational Logic from the Technical University of Madrid and the University of Technology (Germany).

For more information, please visit https://anm-spa.github.io/

Current research interests include static and dynamic program analysis, program transformation, abstract interpretation, analysing high level design (UML), quantitative analysis of software resources. 

PhD students supervised as assistant supervisor:

Jean Malm
Lorenzo Addazi

MSc theses supervised (or examined):
Thesis TitleStatus
Automatically Reproducing Bugs from the Bug Report available