Pierre-Yves Schobbens is a Full Professor at the University of Namur, Faculty of Computer Science, specializing in software verification and formal methods. He serves as the Director of the Research Group on the Foundations of Computer Science (FOCUS) and holds leadership roles including President of the Research Center on Information Systems Engineering (PReCISE), Chair of the International Affairs Commission for the Faculty of Computer Science, and Chair of the Doctoral Commission for Exact Sciences at the university. Education: Bachelor in Philosophy, Université Catholique de Louvain (UCL), 1982 Master in Applied Mathematics and Economics, UCL, 1983 Master in Computer Engineering, UCL, 1984 Doctorate in Computer Science, UCL, 1992 Research Interests: Professor Schobbens specializes in software product lines, software verification, formal methods, agent-oriented software, and model checking. His research focuses on developing rigorous approaches for software development and verification, particularly in the context of variability-intensive systems. He has made significant contributions to the field of featured transition systems, which enable the verification of software product lines. His work bridges theoretical computer science with practical applications, addressing challenges in real-time systems, adaptive software, and database performance. Recent research directions include applying artificial intelligence techniques to software quality assurance, energy-aware computing, and the development of context-aware systems. Research Trends: Professor Schobbens' recent publications demonstrate a strong focus on the intersection of formal methods and emerging technologies. His work increasingly incorporates AI and machine learning techniques to address traditional software engineering challenges, particularly in software verification and testing. There's a notable emphasis on energy efficiency in computing systems, variability modeling for database performance testing, and the application of formal methods to self-adaptive systems. His research maintains a strong theoretical foundation while addressing practical concerns in software development. Scientific Awards: Most Influential Paper Award, VAMOS 2024 (ten-year award) Most Influential Paper Award, Software Product Lines Conference 2020 Most Influential Paper Award, International Requirements Engineering Conference 2016 Best Presentation Award, SAFECOMP 2012 Advising and Grants: Professor Schobbens has supervised 94 students across various levels. He leads multiple significant research projects including SQUAL.AI (Software Quality through Artificial Intelligence, 2025-2026), ERNEST (schEduler foR eNErgy autonomouS ioT, 2024-2025), and CYBEREXCELLENCE (Cyber Security Excellence project within the Walloon Region, 2022-2027). His research has been consistently funded since 1999, demonstrating sustained impact and relevance in his field. Laboratories and Research Teams: Professor Schobbens directs the Research Group on the Foundations of Computer Science (FOCUS) and is a key member of the Research Center on Information Systems Engineering (PReCISE). He also contributes to the Namur Digital Institute (NADI) and Namur Research Institute for Life Sciences (Narilis). His research group focuses on formal methods for software engineering, particularly addressing challenges in software product lines, model checking, and adaptive systems.









