Ana Rosa Cavalli
Ana Rosa Cavalli has obtained her Doctorat d’Etat es Mathematics Science and Informatics, from the University of Paris VII, in 1984. From 1985 to 1990, she was a researcher in the department Languages and Switch Systems, at CNET (Centre National d’Etudes des Telecommunications – France Télécom), where she worked on software engineering and formal methods. She has been professor at Institut Polytechnique de Paris/Telecom SudParis since 1990, and director of the Software-Networks department from 2005 to 2015. She is also a member of the research laboratory CNRS SAMOVAR. She is now emeritus professor and works as research director in the SME Montimage. Her research interests are on active testing and monitoring techniques, cybersecurity validation and their application to cloud, IoT and 5G systems. She has been the leader of the Marie Curie network TAROT (Training and Research on Testing) and has participated or participates in several national and international projects: HIPNQSIS, MEASURE, Marie Curie TRUST, SANCUS, SPATIAL and VeriDevOps.
Angelo Gargantini
He is professor of computer science at the University of Bergamo in Italy where he leads the group of the Formal Methods & Software Engineering Lab (https://foselab.unibg.it/). He teaches the course of Software Engineering, Advanced programming, and Software Testing and verification for the students of Computer Engineering. His research interests are formal methods, astract state machines, formal verification and model checking, model-based testing, and combinatorial testing. He is the author of around 30 journal papers, and 100 conference papers.
Rob Hierons
Rob Hierons received a BA in Mathematics (Trinity College, Cambridge), and a Ph.D. in Computer Science (Brunel University). He then joined the Department of Mathematical and Computing Sciences at Goldsmiths College, University of London, before returning to Brunel University in 2000. He was promoted to full Professor in 2003 and joined The University of Sheffield in 2018. His research largely concerns the automated generation of efficient, systematic test suites on the basis of program code, models or specifications. He is joint Editor-in-Chief of the Journal of Software Testing, Verification, and Reliability (STVR) and is a member of the editorial boards of The Computer Journal and Formal Aspects of Computing.
Edgardo Montes de Oca
Edgardo Montes de Oca graduated as engineer in 1985 from Paris XI University, Orsay both in electronics and computer science. He has worked as research engineer in the Alcatel Corporate Research centre in Marcoussis, France and in Ericsson’s Research centre in Massy, France. In 2004 he founded Montimage, and is currently its CEO. His main interest are in building critical systems that require the use of state-of-the-art fault-tolerance, testing and security techniques; the development of software solutions with strong performance and security requirements ; designing and building tools for monitoring the security and performance of networks; and building portable and secure 5G solutions. He is leader of the dissemination and exploitation activity of the H2020 INSPIRE-5Gplus project; and member of the piloting committee of the System@tic digital infrastructure and IoT hub, 6G-IA and ENISA’s Enterprise Security working group.
Mohammad Reza Mousavi
Mohammad is a professor of Software Engineering at King’s College London. In the past, he held positions at Reykjavik University, Eindhoven University of Technology, Delft University of Technology, Halmstad University, Chalmers / University of Gothenburg, and the University of Leicester. He has had various leadership positions in his past appointments, such as managing educational programs, leading research teams, and leading research-centre-building initiatives. Mohammad’s main research area is in model-based testing, particularly applied to software product lines and cyber-physical systems. He has been leading several research initiatives and industrial collaboration projects on healthcare and automotive systems their validation, verification, and certification.
Mike Papadakis
Dr. Mike Papadakis is a senior research scientist at the Interdisciplinary Center for Security, Reliability and Trust (SnT) of the University of Luxembourg. His research interests include software testing, static analysis, prediction modelling and search-based software engineering. He is best known for his work on Mutation Testing for which he has been awarded IEEE TCSE Rising Star Award 2020. Overall, he has (co-)authored more than 100 publications in international peer-reviewed conferences and journals. His work has been supported by Facebook, FNR, CETREL (SIX group company), BGL (BNP Paribas) and PayPal.
Gwen Salaün
Gwen Salaün received a PhD degree in Computer Science from the University of Nantes (France) in 2003. In 2003-2004, he held a post-doctoral position at the University of Rome «La Sapienza» (Italy). In 2004-2006, he held a second post-doctoral position at Inria (Grenoble, France). In 2006-2009, he was research associate at the University of Malaga (Spain). He was associate professor at Ensimag / Grenoble INP (France) from 2009 to 2016. He is currently full professor at Université Grenoble Alpes. His topics of interest are formal methods, automated verification, distributed systems and software engineering.
Sergio Segura
Sergio Segura is an Associate Professor at the University of Seville (Spain) and a member of the Applied Software Engineering research group, where he leads the research lines on software testing and search-based software engineering. He tries to make software engineers’ lives easier through automation. His contributions extend to different topics, including software product lines, search-based software testing, mutation testing and, most notably, to the field of metamorphic testing, where he is internationally recognized as a leading voice.
Franz Wotawa
Franz Wotawa received a M.Sc. in Computer Science (1994) and a PhD in 1996 both from the Vienna University of Technology. He is currently professor of software engineering at the Graz University of Technology and the head of the Institute for Software Technology. His research interests include model-based and qualitative reasoning, theorem proving, mobile robots, verification and validation, and software testing and debugging. Starting from October 2017, Franz Wotawa is the head of the Christian Doppler Laboratory for Quality Assurance Methodologies for Autonomous Cyber-Physical Systems. During his career Franz Wotawa has written more than 420 peer-reviewed papers for journals, books, conferences, and workshops. He supervised 93 master and 37 PhD students. Franz Wotawa is member of the Academia Europaea, the IEEE Computer Society, ACM, the Austrian Computer Society (OCG), and the Austrian Society for Artificial Intelligence and a Senior Member of the AAAI.