Pierre-Yves Schobbens is a professor of computer science at UNAMUR, specializing in software verification. He is interested in model-checking, logics, formal methods for software development, software product lines, agent-based software engineering. He is also in charge of the international relations of his Faculty, and of the PhDs in exact sciences (CDO president) of his University.
WP Leader