Pierre Boudes – LIPN

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.)

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.

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.

• 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.

• 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.

• 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.