Outils personnels
FUNDP > Institution > Annuaire du personnel
Membre du personnel

Pierre-Yves SCHOBBENS

Professeur ordinaire

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

Charges aux FUNDP

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.