Staff member

PIERRE-YVES SCHOBBENS

 

Introduction

Pierre-Yves Schobbens is professor of computer science (programming), specialized in software product lines verification.

 
 
 
 
 
 

Awards

Most influential paper award IEEE RE 2016

Best paper SAFECOMP 2012
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).

 
 
 
 
 
 

Areas of expertise

software product lines

software verification

formal methods

agent-oriented software

model checking

 
 
 
 
 
 

External responsibilities

President of the research commission of the faculty of computer science

President of the international affairs commission of the faculty of computer science

President of the doctoral commission for exact sciences

 

 
 
 
 
 
 

Degrees

Bachelor in Philosophy 1982

Master in Applied Mathematics and Economics 1983

Master in Computer Engineering 1984

Doctorate in Computer Science 1993