Abu Naser Masud, Senior Lecturer

E-mail:
abu.naser.masud@mdu.se
Room:
U1-068
Phone:
021107302
Phone (alt):
0736620744
Division:
Division of Computer Science and Software Engineering
Research groups:
Automated Software language and SOftware engineering
Formal Modelling and Analysis of Embedded Systems
Programming Languages
Web:
Personal homepage



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:

Hiep Hong Trinh
Jean Malm
Lorenzo Addazi (former)

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