Text
Leadership Group
The leadership group is responsible for the daily TSS management work.
Jakob Axelsson received an M.Sc. from Linköping University in 1993 and a PhD in 1997 for a thesis on hardware/software codesign of real-time systems. He has been working at ABB Corporate Research and ABB Power Generation (now Alstom) in Baden, Switzerland; Volvo Technological Development (now Volvo Technology); Carlstedt Research & Technology; and Volvo Car Corporation, all in Göteborg, Sweden. He is currently a professor in software and systems engineering at Mälardalen University in Västerås. He is also with RISE in Stockholm, where he is a senior research leader in systems-of-systems engineering.
Marjan Sirjani is a Professor at Mälardalen University, Sweden, where she leads the Cyber-Physical Systems Analysis research group. Her research focuses on formal methods for software engineering, particularly modelling and verification of concurrent, distributed, timed, and cyber-physical systems. She is one of the pioneers behind Rebeca, an actor-based modelling language with formal verification support, and has contributed extensively to model checking, compositional verification, and state-space reduction techniques for actor-based systems (https://rebeca-lang.org/). Her current work addresses safety, security, runtime assurance, and resilience of autonomous and cyber-physical systems. Marjan has served as a program committee member and chair for numerous international conferences, including SEFM, iFM, FM, FMICS, Coordination, SAC, FSEN, and DATE, and is an editor of the journal Science of Computer Programming.
Saad Mubeen is a Full Professor of Computer Science, specialising in Predictable Embedded Systems at the School of Innovation, Design and Engineering at Mälardalen University, Sweden, since August 2022. He holds a Master's degree in Electrical Engineering with a specialisation in Embedded Systems from Jönköping University in 2009. He received his Licentiate and PhD degrees in Computer Science and Engineering from Mälardalen University in 2012 and 2014, respectively. He received his Docent title (Associate Professor) in Computer Science with a focus on "Developing Predictable Vehicular Embedded Systems" in March 2018. Saad's research focus is on model- and component-based software development of predictable embedded systems, modelling and timing analysis of on-board real-time communication, modelling and end-to-end timing analysis of distributed embedded systems