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.)
GitLab UNIF, GitLab du master PLS (projets privés), GitLab de l'université (projets privés), Framagit (peu utilisé) anciens: GitHub, Trac.
social
diaspora* pierredehors@framasphere.org, twitter @pierreboudes, mastodon @pierreboudes@lipn.info (pro.) et @pierreb@mamot.fr(perso.)

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, 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

Ateliers internationaux (workshops)

  • Pierre Boudes, Antoine Kaszczyc and Luc Pellissier: Anticipation Flowing Backwards in a Functional Monetary Economics Simulation 12th Artificial Economics Conference, Sep. 2016, Roma, Italy, peer-reviewed abstract (8 pages).
  • Pierre Boudes, Antoine Kaszczyc and Luc Pellissier: Monetary Economics Simulation: Stock-Flow Consistent Invariance, Monadic Style, 11th Artificial Economics Conference, Sep. 2015, Porto, Portugal, peer-reviewed online pre-proceedings (12 pages).
  • Guillaume Bonfante, Pierre Boudes, Jean-Yves Moyen, Extensional filters reveal algorithms, DICE workshop satellite of ETAPS, april 2015, peer-reviewed abstract (5 pages).

Recent projects

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

Encadrement (students)

  • Thèse (phD), Méthodes statiques pour la programmation fonctionnelle de simulateurs d'économies, sept. 2015-déc. 2019 : 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.

CRCT

  • congé pour recherche et conversion thématique du 01/02/2013 au 01/08/2013.

3 Enseignement (teaching)

Cours actuels (avec responsabilité de cours), 2021-2022

  • Fondements de la programmation (refonte), master informatique 1, 2021-2022.
  • Projets du cours de langages et environnement évolués (jusqu'à 37 binômes encadrés en 2019-2020), master 2 informatique (Angular, OpenAPI).
  • Programmation modulaire et résiliente, master 2, Scala, akka-typed, akka-http.

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

  • Cours de Flux de données et web-services option en master 2, (Scala, akka-stream, akka-http), 2020-2021 et antérieurement cours de Programmation adaptable et web services, master 2 programmation et logiciels sûrs (Scala, Scalajs, Akka).
  • 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).
  • 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-2016) 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 et 2016.
  • Fondements de la programmation, master informatique 1 avec Virgile Mogbil, 2013 à 2016.

4 Responsabilités

  • Pilotage de l'action open data du projet Oraccle.
  • Président du comité stratégique de l'université numérique Île-de-France, depuis mars 2018.
  • Responsable du comité thématique systèmes d'information du projet de fusion « 3 + 1 », Paris 3, 5, 7 + 13, avril-juillet 2017.
  • Vice-président système d'information de l'université Paris 13 juin 2016 - 30 novembre 2019.
  • Membre du bureau exécutif de Cap Digital pour la COMUE USPC (université Sorbonne Paris Cité), puis uniquement l'université Paris 13, mai 2016 - juin 2019.
  • Responsable pédagogique du parcours programmation et logiciels sûrs du master 2 d'informatique depuis juin 2015. En moyenne 37 étudiant⋅es par promo sur les 8 promos 2015-2022. Master classé par le site https://www.meilleurs-masters.com, 7 années consécutives parmi les dix meilleurs dans la catégorie master informatique et ingénierie des systèmes.
  • Administration des serveurs gitlab et mattermost du master informatique, de l'UNIF et de l'université Sorbonne Paris Nord.
  • 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 depuis avril 2011.
  • Responsable pédagogique de la troisième année d'étude de la formation ingénieur en alternance informatique et réseaux (1 an, 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

  • Membre à titre personnel de l'association VP Num et la SIF (société informatique de France).
  • 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: 2022-11-27 dim. 12:16

Validate