Dr Cristina Seceleanu

Dr Cristina Seceleanu is Associate Professor at Mälardalen University (MDU), School of Innova-
tion, Design, and Engineering, Networked and Embedded Systems Division, Västerås in
Sweden. She is the research leader of the Computer and Data Science research direction at MDU and the leader of the Formal Modeling and Analysis of Embedded Systems research group. She holds a M.Sc. in Electronics (Polytechnic University of Bucharest, Romania, 1993) and a Ph.D. in Computer Science (Turku Centre for Computer Science, Finland, 2005). Her research focuses on developing formal models and verification techniques for predictable real-time and autonomous systems and uses machine learning techniques for automatic mission plan synthesis of mobile robots. She currently is and has been involved as an organizer, co-organizer, and chair of relevant conferences and workshops in computer engineering and is a member of the Editorial Board of the International Journal on Software Tools for Technology Transfer (STTT), Springer and the Frontiers in Computer Science: Theoretical Computer Science journal.