Pierre Yves Schobbens

Pierre-Yves Schobbens est professeur d'informatique, spécialisé en vérification de logiciel. Il s'intéresse à la vérification de modèles (model-checking), les logiques, les méthodes formelles de développement de logiciels, les lignes de produits logiciels, le génie logiciel orienté agents. Il est aussi en charge des relations internationales de sa Faculté, et président du centre de recherche PreCISE (composante du NaDI).