Pierre Boudes – LIPN

Table des matières

Bienvenue sur ma page web professionnelle minimaliste. Welcome on my minimalist professional web page.

For a more complete experience you can also visit my other webpage: mindsized.org

1 Contact

pierreboudes.jpg

Occupation
Maître de conférences en informatique au laboratoire d'informatique de Paris Nord (http://lipn.univ-paris13.fr)
Bureau (office)
A205
Tél. (phone)
33 1 49 40 40 67 (gone mobile, use email)
email
boudes@univ-paris13.fr
alt.web (pro.)
http://mindsized.org
dépôts (pro.)
github et trac (old)
social
diaspora* pierredehors@framasphere.org, twitter @pierreboudes

2 Recherche (research)

Recent publications.

Revues (peer reviewed journal articles)

  • Pierre Boudes, Damiano Mazza, Lorenzo Tortora de Falco: An Abstract Approach to Stratification in Linear Logic, Information and Computation, volume 241, April 2015.
  • Pierre Boudes: Non-uniform (hyper/multi)coherence spaces, Mathematical Structures in Computer Science 21(1): 1-40 (2011)

Conférences (peer reviewed conference proceedings)

  • Pierre Boudes, Antoine Kaszczyc and Luc Pellissier: Monetary Economics Simulation: Stock-Flow Consistent Invariance, Monadic Style, 11th Artificial Economics Conference, Sep 2015, Porto, Portugal.
  • Pierre Boudes, Fanny He, Michele Pagani: A characterization of the Taylor expansion of lambda-terms. CSL 2013: 101-115
  • Pierre Boudes: Thick Subtrees, Games and Experiments. TLCA 2009: 65-79

Workshop

  • Guillaume Bonfante, Pierre Boudes, Jean-Yves Moyen, Extensional filters reveal algorithms, DICE workshop satellite of ETAPS, april 2015.

Recent projects

  • MACME: modeling and analysis of complex monetary economies (analyse et modélisation des économies monétaires complexes).

Encadrement (students)

  • Thèse (phD) en cours, sept. 2015-… : Antoine Kaszczyc.
  • Encadrement du stage de recherche en master 2 de Antoine Kaszczyc, 2015.
  • Co-encadrement du stage de recherche de Fanny He avec Michele Pagani (master 2), 2012.

3 Enseignement (teaching)

Cours magistraux actuels (avec responsabilité de cours)

  • Programmation fonctionnelle avancée (Scala, Akka) master 2 programmation et logiciels sûrs, 2016-…
  • Robotique, avec Yann Chevaleyre : programmation pour la robotique en deuxième année d'école d'ingénieur en informatique (2013-…) et, en première année de licence, initiation à la programmation de robots (ROS, lego nxt), 2013-2015 puis modélisation et robotique (Python, Thymio 2), 2015-….
  • Fondements de la programmation, master informatique 1 avec Virgile Mogbil, 2013-….

Autres (seulement TD/TP ou anciens cours, uniquement depuis 2005)

  • Langage C. Cours Éléments d'informatique, licence 1, (3 ans, 2009-2011), nombreux supports et encadrement d'une vingtaine d'enseignants débutants, puis Algorithmique et programmation, DUT R&T première année, (3 ans, 2012-2015) sur la base des supports créés pour éléments d'informatique.
  • Cours Algorithmique et arbres en licence deuxième année (6 ans, 2006-2011), nombreux supports.
  • Cours Logique, interaction et complexité, master 2 programmation et logiciels sûrs (deux ans, 2010-2012)
  • Conférences sur le fonctionnement d'internet (L1), sur la programmation web (ingénieurs info 1 et 2).
  • Système : TD/TP de architecture système réseaux (3 ans, licence 2), système (ingénieur info 1), cours-TP d'administration de parc informatique (lience 2), cours par projet de système en deuxième année de classe préparatoire (lycée Feyder).
  • TD/TP de bases de données (SQL oracle, PS/SQL), première année d'école d'ingénieur en alterance informatique et réseaux, 2012.
  • TD de calculabilité, licence 3 (2 ans).
  • TD/TP de calcul formel et programmation pour les sciences physiques (licence 2).
  • TD/TP de programmation impérative, licence 1, second semestre 2014.
  • Encadrements de projets en master 1, suivis de stages dans l'industrie en master 2, tuteur pédagogique d'un élève ingénieur en alternance.
  • Paradigmes de programmation, école d'ingénieur en informatique, troisième année (2013-2015).
  • Cours Flux de données et programmation, master 2 programmation et logiciels sûrs (2014-2016).

4 Responsabilités

  • Vice-président système d'information de l'université Paris 13 depuis juin 2016
  • Membre du bureau exécutif de Cap Digital pour la COMUE USPC (université Sorbonne Paris Cité) depuis mai 2016
  • Responsable pédagogique du parcours programmation et logiciels sûrs du master 2 d'informatique. diaspora* m2pls@framasphere.org, twitter @m2pls
  • En charge d'un serveur intranet (gestion des départements et déclaration de services d'enseignements) de l'institut Galilée, du développement de ses logiciels et des formations associées.
  • Responsable pédagogique de la troisième année d'étude de la formation ingénieur en alternance informatique et réseaux (2013-2014).
  • Vice-président du département d'informatique (3 ans, de fin 2009 à fin 2012).
  • Responsable pédagogique de la deuxième année de licence informatique (4 ans, 2007-2010)
  • Divers tâches en recherche : co-organisation du workshop WICC 2008, des journées Jean-Yves Girard 2007, mise en forme du rapport scientifique du LIPN (2007), sites web des projets ANR Complice et NoCoST, posters etc.
  • Divers tâches en enseignement : maquette de la licence informatique Paris 13, membre du conseil de perfectionnement de la licence informatique de l'université Paris 5, etc.

5 Logiciels, etc.

  • Logiciel de gestion des services d'enseignement pain (javascript, php/mysql) créé pour les besoins de mon département.
  • Logiciel compagnon minoterie pour les déclaration de service.
  • Amil (C/GTK), assembleur miniature pour l'informatique de licence (simulateur). Abandonné et complètement simplifié sous la forme d'une (toute) petite application javascript, amilweb.

6 More

  • Anciennement impliqué dans le réseau universités sans frontière (rusf, modeste compagnon du resf).
  • Membre de l'association des développeurs et utilisateurs de logiciels libres pour les administrations et les collectivités territoriales, ADULLACT.

logo_Adullact_petit.png

logo_rusf_petit.png

Auteur: Pierre Boudes

Created: 2017-03-16 Thu 08:15

Validate