Faiz UL Muram is a researcher at Mälardalen University, Sweden. Previously, she has been a research assistant at University of Vienna, Austria. She completed her MSc. in Computer Science from the Mälardalen University, Sweden in 2012. Her research interests include consistency checking, model checking, formal methods, model-driven engineering, dependability, software architecture, and behaviour models.