Pierre-Yves SCHOBBENS

• présentation
• cours
• projets
• activités
• publications (109)
• jurys (17)
• mémoires et thèses supervisés (39)
• fiche complète

Professeur ordinaire

Téléphone: 081/724990, 081/724990
Fax: 081/724967
Mail:

Charges aux FUNDP

• Model-driven engineering (Académique)
• Requirements engineering and business/IT alignment (Académique)
• Evolution (Académique)
• Pôle sémantique, logique et calcul (Directeur)
• PReCISE Research Center (Professor)
• Groupe de recherche en informatique fondamentale (Académique)
• Conseil de la faculté d'informatique (Membre de droit)
• Unité langages et programmation (Professeur ordinaire)
• Faculté d'informatique (Professeur ordinaire)

Diplômes

B. Philosophie, UCL, 1982

Ir. Math. App. or. Economie, UCL, 1983

Ir. Informatique, UCL, 1984

Dr. Informatique, UCL, 1992

Domaines de compétences

Spécification de logiciel,

Logiques modales,

Logiciel orienté-agent,

Logique temporelle,

Méthodes formelles de développement de logiciels,

Interaction de services logiciels,

Intelligence artificielle,

Logiques non-monotones,

Réécriture et surrréduction.

Charges externes

Membre fondateur de Ada-Belgique

Membre du Conseil Scientifique de l'institut "Sciences et technologies de l'information et de l'ingénierie" du CNRS (France) http://www.cnrs.fr/st2i/

Membre du groupes IFIP 1.3, 5.8, 2.12, 12, 12.3, 12.4, 12.5, invité aux 2.1, 2.3.

Administrateur d'ETNIC (Informatique de la CFB) de 2003 à 2005

Expert pour le FNRS, FRIA, FNR (Luxembourg), ANR (France), FP6 (Europe), CNRS (France), BSF (Israël), CNRC (Canada).

Evaluateur pour les revues scientifiques TOSEM, CN, Comm. ACM, SCP, IJICIS, JLC, TSE, TSI, BSM, etc.