Photo of PIERRE-YVES SCHOBBENS
  • Source: Scopus
  • Calculated based on no. of publications stored in Pure and citations from Scopus
1986 …2020

Research output per year

If you made any changes in Pure these will be visible here soon.

Personal profile

Introduction

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

 
 
 
 
 
 
 
 

Areas of expertise

software product lines

software verification

formal methods

agent-oriented software

model checking

 
 
 
 
 
 
 
 

External responsibilities

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

 

 
 
 
 
 
 
 
 

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).

 
 
 
 
 
 
 
 

Diplomas

Bachelor in Philosophy 1982

Master in Applied Mathematics and Economics 1983

Master in Computer Engineering 1984

Doctorate in Computer Science 1993

 
 
 
 
 
 
 
 

Education/Academic qualification

Doctor of Engineering, Université Catholique de Louvain (UCL)

Award Date: 1 Jan 1992

Master of Engineering, Université Catholique de Louvain (UCL)

Award Date: 1 Jan 1984

Master of Engineering, Université Catholique de Louvain (UCL)

Award Date: 1 Jan 1983

Bachelor of Philosophy, Université Catholique de Louvain (UCL)

Award Date: 1 Jan 1982

Fingerprint

Dive into the research topics where PIERRE-YVES SCHOBBENS is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 5 Similar Profiles

Network

Recent external collaboration on country level. Dive into details by clicking on the dots.
Your message has successfully been sent.
Your message was not sent due to an error.
If you made any changes in Pure these will be visible here soon.