Pierre-Yves Schobbens is professor of computer science (programming), specialized in software product lines verification and agent-oriented programming.
Most influential paper award VAMOS2024, SPLC 2020, RE 2016
Invited professor at Ecole Normale Supérieur (Cachan), Université Paul Sabatier (Toulouse), University of Birmingham, Ecole Centrale (Nantes), Université Joseph Fourier (Grenoble).
Invited researcher by Deutsche Akademische Austauschdienst (DAAD), Fundação para a Ciência e a Tecnologia (FCT).
software product lines
software verification
formal methods
agent-oriented software
model checking
President of Precise research center
President of the international affairs commission of the faculty of computer science
President of the doctoral commission for exact sciences
Bachelor in Philosophy 1982
Master in Applied Mathematics and Economics 1983
Master in Computer Engineering 1984
Doctorate in Computer Science 1993