I am a software engineer at IAR Systems where I have been developing a symbolic model checker for UML models. Before, I was a Ph.D. student in Software Verification at Uppsala University, Sweden. My supervisors are Dr Mohamed Faouzi Atig, Pr Parosh Aziz Abdulla, and Dr Philipp Rümmer. I was also a member of the Algorithmic Program Verification group and UPMARC center, Uppsala University.