Deprecated: Unparenthesized `a ? b : c ? d : e` is deprecated. Use either `(a ? b : c) ? d : e` or `a ? b : (c ? d : e)` in /home/wwwapp/spip/ecrire/inc/utils.php on line 2697
Boudes Pierre - Présentation - Membres - ANR - LOCI
Accueil > Présentation > Boudes Pierre

Boudes Pierre

Titulaire d’un doctorat de mathématiques obtenu en 2002, Pierre Boudes est maître de conférences en informatique à l’université Paris 13, depuis septembre 2005.

Ses recherches portent notamment sur la théorie de la démonstration et de la programmation au laboratoire d’informatique de Paris nord (LIPN), UMR CNRS 7030.

Pierre Boudes est enseignant et semi-administratif (en ce moment, vice-président du département d’informatique) à l’institut Galilée.

Voir en ligne : Page Pro

Répondre à cet article

Site propulsé par l'Atelier du code et du data, chantier d'insertion numérique
  • Présentation
    • Partenaires
    • Membres
    • Positionnement
  • Réunions
    • Réunion de lancement
    • WORKSHOP#1
    • WORKSHOP#2
    • WORKSHOP#3
    • WORKSHOP#4
    • WORKSHOP#5
    • WORKSHOP#6
    • Journée "Musique, dialogue, interaction"
    • The logic of the lexicon
    • LUDICS AND PHILOSOPHY
  • Rapports
  • Axes de travail
    • Lexique
    • Apprentissage
    • Pragmatique
    • Web et ontologie
    • Théorie
  • Contact
    • cliquez sur Contacts (au dessus)
  • Séminaire
    • Séminaire LOCI 06/2013
    • Séminaire LOCI - 07/2013
    • Séminaire LOCI - 09/2013
    • Séminaire LOCI - 10/2013
    • Séminaire LOCI - 11/2013
    • Séminaire LOCI - 01/2014
    • Séminaire LOCI - 02/2014
    • Séminaire LOCI - 04/2014