Ana Cavalcanti
University of York, United Kingdom 🇬🇧
Ana Cavalcanti is a Professor at the University of York, UK, and holds a Royal Academy of Engineering Chair in Emerging Technologies. In that role, she is Director of the RoboStar centre on Software Engineering for Robotics. She previously held a Royal Society Industry Fellowship, which provided her with the ideal opportunity to understand and contribute to the practice of formal methods working with QinetiQ. Her main scientific achievements have been on the design and justification of sound refinement-based program development and verification techniques. She has covered theoretical and practical integration with industry-strength technology: concurrency, object-orientation, and testing, dealing now with mobile and autonomous robots. She has led the development and justification of refinement theories, notations, and techniques, and tools to cope with control systems. Her work provides support for graphical notations popular with engineers, and for main-stream programming languages. It is distinctive in that it has comprehensive coverage of practical languages, rather than idealised notations. It also supports high degrees of automation to enable usability and scalability. She has chaired the Programme Committee of leading conferences, and been a member of numerous Programme Committees. Currently, she is the Chair of the Formal Methods Europe Board.
Genaína Rodrigues
University of Brasilia, Brazil 🇧🇷
Genaina Rodrigues is an associate professor in the Department of Computer Science at the University of Brasília. She received her Ph.D. in Computer Science from University College London in 2008. Previously, she obtained her bachelor’s degree in Computer Science from the University of Brasília in 1999 and her Master’s Degree in Computer Science from the Federal University of Pernambuco in 2002. In 2008, she conducted a postdoctoral research in the Computer Science Department at the Federal University of Minas Gerais. Her research interests are mostly in Software Systems Engineering including the mutual collaboration between robotics and software engineering, model checking for design and runtime verification, self-adaptive systems and the interplay with goal-oriented requirements engineering, behavior-driven development and its role in testing. In 2013, she co-organized the Brazilian Software Engineering Congress (CBSoft) of the Brazilian Computer Society (SBC). In 2020, she was awarded a fellowship as an experienced researcher through CAPES/Alexander von Humboldt Programme to conduct research at the Humboldt Universität zu Berlin with Prof. Lars Grunske and PhD Thomas Vogel.
Lina Marsso
University of Toronto, Canada 🇨🇦
Lina Marsso is currently a post-doctoral researcher in the Department of Computer Science at the University of Toronto working with Marsha Chechik. She received her PhD from INRIA Grenoble, France where she was advised by Radu Mateescu and Ioaniss Parissis. Her recent work is in the combination of safety, social, legal, ethical, empathetic, and cultural, verification and analysis of autonomous systems. Lina was organizer and served as PC Chair on the first International Workshop on Dependability and Trustworthiness of Safety-Critical Systems with Machine Learned Components and the sixth International Workshop on Automated and Verifiable Software System Development. Moreover, she served and is serving on the program committee of several conferences, including the 46th International Conference on Software Engineering (ICSE 2024), the 39th IEEE/ACM International Conference on Automated Software Engineering (ASE 2024), the 29th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2024), and the 26th International Conference on Fundamental Approaches to Software Engineering (FASE'2023).
Patrizio Pelliccione
University of Bergen, Norway 🇳🇴
Patrizio Pelliccione has an academic and educational background in Software Engineering and Computer Science covering both solution-oriented and knowledge-oriented research. He has been working in different countries and contexts and he has a consolidated experience on National (Italian, Swedish, Luxembourgish) and EU projects. He is very active in the research community and he collaborate with various companies around the world. The three main research areas in which he is working are (i) autonomous, self-adaptive, and smart systems, (ii) robotic Software engineering and (iii) architecting complex system.
Paulo Maia
Federal University of Rio Grande Do Norte, Brazil 🇧🇷
Paulo Rolim is currently a PhD student in the Postgraduate Program in Systems and Computing at the Federal University of Rio Grande do Norte, Brazil. He is a member of the RoboStar team and holds a degree in Law from the Potiguar University (2011), a technical-professional course in the Digital Metropolis Technical Course - IMD from the Federal University of Rio Grande do Norte (2019) and a Master's degree in Systems and Computing from the Federal University of Rio Grande do Norte (2023). He has experience in the area of Computer Science, working mainly on the following topics: formal methods, safety-critical systems and railway interlocking systems.
