Nesredin Mahmud, Doctoral student


Nesredin is a PhD student at IDT, Mälardalen Univerisity. He studied Intellignet Embedded System master program at Mälardalen Univerisity, Sweden. He did his mater thesis on 'Distributed Industrial Application for Virtualized Multicore Framework' at ABB Corporate Research Center, Västerås.  

His domain of research is on applications of formal methods for the specification, analysis and verification of embedded systems. Currently, he is working on formal verifiation of industrial Simulink models and a formal language, ReSA for the specification of embedded systems requirements using constrained natural language.