Jean-Vincent Loddo

Maître de conférences

Centres d'intérêts

• Sémantique des langages de programmation.
• Intégration des paradigmes logique et fonctionnel.
• Théorie de jeux combinatoire.
• Programmation web modulaire.
• Logiciels libres (partisan utilisateur et développeur).

Enseignements à Paris 13

• Réseaux, architecture TCP/IP. Cours, TD, TP. Niveaux DUT, LicPro. IUT de Villetaneuse, Dép. R&T. 2003-présent. Documents
• Unix et programmation shell. Cours, TD, TP. Niveaux DUT, LicPro. IUT de Villetaneuse, Dép. R&T. 2003-présent. Documents
• Bases de programmation (avec Python). Cours, TD, TP. Niveau DUT (M1207). IUT de Villetaneuse, Dép. R&T. 2015-présent. Documents
• Bases de programmation (avec C). Cours, TD, TP. Niveau DUT (M1207). IUT de Villetaneuse, Dép. R&T. 2006, 2013, 2014. Documents
• Programmation Java. Cours, TD, TP. Niveau DUT. IUT de Villetaneuse, Dép. R&T. 2004.
• Programmation OCaml. Cours, TD, TP. Niveau Master. Institut Galilée. 2009.
• Programmation fonctionnelle avancée. Cours. Niveau Master. Institut Galilée. 2010, 2013.
• Paradigmes de programmation. Cours, TD, TP. Niveau école ingénieurs. Institut Galilée. 2011, 2012.
• Projets tutorés. Coordinateur. Niveaux DUT, S3-S4. IUT de Villetaneuse, Dép. R&T. 2016-2017. Documents

Projets et développements

• Mariotel. Gestion de salles de TP virtuelles pour travaux pratiques sous GNU/Linux. Développeur et responsable du projet à Paris 13. (git).
• Marionnet. Logiciel de simulation de réseaux virtuels. Initiateur et responsable du projet à Paris 13. Développé avec Luca Saiu. (site web, launchpad, wikipedia).
• Ocamlbricks. Bibliothèque OCaml généraliste, complément des bibliothèques standards. Développé avec Luca Saiu. (launchpad).
• Rimmel. Programmation logique en OCaml. Extension de syntaxe Camlp4 et runtime. À publier sur une forge.
• Pagurus. Programmation reactive en OCaml. Extension de syntaxe Camlp4 et runtime. À publier sur une forge.

Anciens projets

• Demolinux. Ancêtre des live-cd GNU/Linux à la Knoppix (wikipedia), pour la promotion du logiciel libre. Développé avec Roberto Di Cosmo et Vincent Balat. 1998-2002.
• Iutoppix. Live-cd GNU/Linux dérivé de Knoppix pour l'enseignement à l'IUT. 2004-2008.

Encadrements

• Luca Saiu. PhD Thesis. GNU epsilon, an extensible programming language. Co-encadrant avec Christophe Fouqueré. 2008-2012.

Publications

• J.-V. Loddo, L. Saiu. How to Correctly Prune Tropical Trees. In proceedings of the 10th International Conference on Artificial Intelligence and Symbolic Computation (AISC'2010). France 2010. pdf
• J.-V. Loddo, L. Saiu. Marionnet: a virtual network laboratory and simulation tool. 1th International Conference on Simulation Tools and Techniques for Communications, Networks and Systems (SimulationWorks'2008). Marseille, France, 2008. pdf
• P. Coupey, C. Fouqueré, J.-V. Loddo. Tree Components Programming: An Application to XML. In proceedings of the 4th International Colloquium of Theoretical Aspects of Computing (ICTAC'2007). Macau, China, 2007. pdf
• J.-V. Loddo, L. Saiu. Status report: marionnet or "how to implement a virtual network laboratory in six months and be happy". ACM SIGPLAN Workshop on ML (ML'2007), Freiburg (Germany), 2007. pdf
• R. Di Cosmo, J.-V. Loddo. Playing Logic Programs with the Alpha-Beta Algorithm. In proceedings of the 7th International Conference on Logic for Programming and Automated Reasoning (LPAR'2000). St. Gilles, Ile de la Réunion, France 2000. ps.gz
• R. Di Cosmo, J.-V. Loddo and S. Nicolet. A Game Semantics Foundation for Logic Programming. In proceedings of the 6th International Conference on Algebraic and Logic Programming (PLIP 98). Pisa, Italy 1998, LNCS, Springer-Verlag. ps.gz (short), ps.gz (long)
• P. Degano, J.-V. Loddo and C. Priami. Mobile Processes with Local Clocks. In Proceedings of Workshop on Analysis and Verification of Multiple-Agent Languages, Stockholm 1996. ps.gz

Pédagogiques

• F. Butelle, J.-V. Loddo. Tirer les ficelles de l'architecture TCP/IP avec Marionnet. Journée Réseaux (JRES'2011). Toulouse, 2011. pdf
• R. Kanawati, J.-V. Loddo. Le routage IP statique avec Marionnet : retour d'expérience. Colloque international sur l'enseignement des Technologies et des Sciences de l'Information et des Systèmes (CETSIS'2010), Grenoble, 2010. Selectionné pour J3EA. pdf
• J.-V. Loddo. Marionnet : un logiciel graphique pour l'apprentissage et l'enseignement des réseaux locaux d'ordinateurs. Premier Workshop pédagogique "Réseaux & Télécoms", Saint-Pierre de la Réunion (France), 2007. pdf
• J.-V. Loddo, T. Hamon. Marionnet/Iutoppix : un environnement pédagogique pour la simulation de réseaux locaux. 3ième conférence internationale en Environnement Informatique pour l'Apprentissage Humain (EIAH'2007). Lausanne, 2007. pdf

Thèse

• J.-V. Loddo. Généralisation des Jeux Combinatoires et Applications aux Langages Logiques. Rapport de thèse. PPS, Université Paris 7, France 2002. ps.gz, pdf, abstract (ps.gz). Sous la direction de Roberto Di Cosmo. Prix de thèse AFIT 2002.
• J.-V. Loddo. A Generalization of Combinatorial Game Theory and its Application to Constrained Logic Programming. Unpublished draft. ps.gz