Dr. Roisin Lyons is a Lecturer of Innovation and Entrepreneurship in the Kemmy Business School, University of Limerick. Her research focuses on education (pedagogy), innovation and entrepreneurship, and family business. She is passionate about social and sustainable innovation, and developing novel educational experiences like hackathons and gamified interventions. A former science teacher, Roisin holds a Ph.D. in Entrepreneurship Education and a M.Sc. in Business Management.

Dr Katie Crowley is a Lecturer in the Department of Computer Science and Information Systems at the University of Limerick. Her research interests include Affective Computing; Human Computer Interaction; Psychophysiology and Wearables; Health Information Technology and IoMT. She is the Course Director for the MSc in Health Informatics in the University of Limerick. She has experience working with, and in industry, including securing national funding for industry partnerships (SFI). She has been a team member in multi-disciplinary international research projects co-funded by industry and national funding bodies and has led projects as Principal Investigator and Senior Researcher.

Bernhard Steffen is a German computer scientist and professor at the TU Dortmund University, Germany. His research focuses on various facets of formal methods ranging from program analysis and verification, over low code development environments, to test-based modeling, and machine learning.[1]1] Central developments concern the shift of active automata learning to towards a practical means for model-based testing that does not require any a priori models, and the concept of Language-Driven Engineering where combinations of domain-specific languages guarantee properties by design. Recently, he started to apply formal methods for explaining machine learning.

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.

Graziano Pravadelli, PhD in computer science, IEEE senior member, IFIP WG 10.5 chair, is full professor of information processing systems at the Department of Engineering for Innovation Medicine of the University of Verona (Italy). His main interests focus on semi-formal verification of HW/SW embedded systems as well as design and validation of virtual coaching systems to promote well-being and health of people through IoT technologies. Since 2007 he is co-founder of EDALAB, an SME that develops embedded software and IoT-based monitoring solutions for smart building and assistive home automation.

Alex Norta is currently a scientist entrepreneur focusing on his blockchain startup. Simultaneously, he lectures is currently affiliated to the Johannes Kepler University in Austria Linz for his habilitation seminar. He was an associate professor at the Department of Software Science of TalTech until March 1st, 2022 and earlier a researcher at the Oulu University Secure-Programming Group (OUSPG ) after having been a post-doctoral researcher at the University of Helsinki, Finland. He received his MSc degree (2001) from the Johannes Kepler University of Linz, Austria and his PhD degree (2007) from the Eindhoven University of Technology, The Netherlands.