Pierre-Yves SCHOBBENS

• présentation
• cours
• projets
• activités
• publications (97)
• jurys (12)
• mémoires et thèses supervisés (38)
• fiche complète

Professeur ordinaire

Téléphone: 081/724990, 081/724990
Fax: 081/724967
Mail:
Web: Autre site personnel

Charges aux FUNDP

• Faculté d'Informatique (Professeur ordinaire)
• PReCISE Research Center (Professor)
• Pôle sémantique, logique et calcul (Directeur)
• Conseil de la faculté d'informatique (Membre de droit)
• Conseil des relations internationales (Membre)
• Unité langages et programmation (Directeur)

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.