people

Tiberiu Seceleanu is a Professor and leader of the Model-Based Engineering of Embedded Systems research group at Mälardalen University. His research focuses on model-based and component-based design, formal analysis, and verification of real-time embedded and cyber-physical systems. He specializes in developing methodologies for ensuring predictability and correctness in complex systems through formal verification, automated analysis, and rigorous design frameworks. Tiberiu has extensive experience supervising PhD students and collaborating with industry partners on critical system projects.

Cristina Seceleanu is a Professor of Computer Science and leader of the Formal Modeling and Analysis of Embedded Systems research group at Mälardalen University. Her research focuses on developing formal models and verification techniques for designing predictable real-time, adaptive, and autonomous systems. She specializes in component-based, resource-constrained systems and has co-authored several integrated development environments including REMES IDE and the ViTAL toolchain for verification. Cristina is actively involved in academic leadership, serving as organizer and program committee chair for major international conferences in formal methods and software engineering.

Peter Backeman is an Associated Senior Lecturer specializing in formal methods and automated theorem proving. His research focuses on applying formal verification techniques to ensure correctness and safety properties in computer systems. Peter works extensively with formal specification languages and model checking to verify complex system behaviors, contributing to the development of rigorous verification methodologies for embedded and cyber-physical systems. His expertise is instrumental in ensuring the provable correctness of critical system properties.

Ning Xiong is a Professor of Artificial Intelligence specializing in machine learning, big data analytics, evolutionary computing, fuzzy systems, and uncertainty management for industrial and medical applications. He earned his PhD with Excellent distinction from the University of Kaiserslautern and leads the Learning and Optimisation research group. His work addresses digital twin frameworks, adaptive learning systems for evolving data, intelligent healthcare technologies, and self-supervised predictive maintenance. He maintains active roles on editorial boards for international journals and has served as keynote speaker and program committee chair at major conferences.