Cristina Seceleanu is Associate Professor and Docent at Mälardalen University (MDU), Sweden, School of Innovation, Design and Engineering, Networked and Embedded Systems division. She is the research leader of the Computer and Data Science research direction, and co-leader of the Formal Modeling and Analysis of Embedded Systems research group at MDU. She holds a M.Sc. in Electronics (Polytechnic University of Bucharest, Romania, 1993) and a Ph.D. in Computer Science (Åbo Akademi and Turku Centre for Computer Science, Finland, 2005). Her research interests and experience lie in formal modeling and verification of real-time, adaptive, and autonomous cyber-physical systems.