Raluca Marinescu, Post Doc

Raluca Marinescu is a Post Doc researcher at Mälardalen University, working in the Formal Modeling and Analysis of Embedded Systems group. She has received a M.Sc. in Electronics from Politehnica University of Bucharest in June 2009, a M.Sc. in Computer Science from Mälardalen University in June 2011, and a PhD degrees in Computer Science and Engineering from Mälardalen University in 2016. Her main research interest are model-based analysis and testing of embedded systems.