JEAN-VINCENT LODDO

Ph.D.
Laboratoire Preuves Programmes et Systèmes (PPS) - CNRS UMR 7126
Université Paris 7
Bureau A16 - 5e étage
Tel. 01.44.27.77.67
175, Rue du Chevaleret
75013 Paris

Email: loddo@pps.jussieu.fr

Principaux intérêts scientifiques

• Sémantique des langages de programmation logiques (Prolog, CLP), fonctionnels (Miranda, Caml, Ocaml, Haskell), et objets (C++, Java, Ocaml).

  
  

• Modèles pour la programmation concurrente (CSP, Lotos, CCS, pi-calcul).

  
  

• Application de la théorie des jeux classique à l'informatique (langages logiques et intelligence artificielle).

  
  

• Application du paradigme de la programmation fonctionnelle à la construction de sites web dynamiques

Enseignements

• Structures de Données. Chargé de TD. Deug MIAS (IF122). Année 2002/2003.

  
  

• Langages de programmation fonctionnelle. École Nationale Supérieure de Techniques Avancées (ENSTA), 3ème année. Chargé du cours magistral. Année 2002/2003.

  
  

• Programmation II. Étude comparative des différentes familles de langages de programmation. Chargé de TD et TP. Licence - Années 2000/2001 et 2001/2002 - Paris VII.

  
  

• Programmation système UNIX en C. Chargé de TD et TP. IUP 2 - Années 2000/2001 et 2001/2002 - Paris VII.

  
  

• Mise à niveau Unix et C. Chargé de TP. Licence - Année 2000/2001 - Paris VII.

  
  

• Analyse de Performances et simulation. Chargé de TP. IUP 2 - Année 2001/2002 - Paris VII.

Publications

Journaux internationaux

• J.-V. LODDO. A Generalization of Combinatorial Game Theory and its Application to Constrained Logic Programming. Submitted to the SPECIAL ISSUE OF THEORETICAL COMPUTER SCIENCE (TCS), Game Theory Meets Theoretical Computer Science, Guest Editors Samson Abramsky and Marios Mavronicolas, 2003. postscript (gz)

Conférences internationales avec comité de lecture

• 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. postscript (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. postscript (gz), long paper (ps.gz),




• 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, LNCS, Springer-Verlag. postscript (gz),

Conférences nationales avec comité de lecture

• R. DI COSMO, J.-V. LODDO and S. NICOLET. A Game Semantics Foundation for Logic Programming. Abstract. In proceedings of 6th Italian Conference on Theoretical Computer Science (ICTCS'98). Prato, Italy 1998.

Workshops

• J.-V. LODDO and S. NICOLET. Bisimulation and other games. Second Workshop Confer II, Octobre 1997, Amsterdam.

Rapports internes

• J.-V. LODDO. Généralisation des Jeux Combinatoires et Applications aux Langages Logiques. Ph.D. Thesis, France 2002. postscript (gz), pdf, abstract (ps.gz)




• J.-V. LODDO and S. NICOLET. Théorie des jeux et langages de programmations. Technical report, ENS, 45, Rue d'Ulm, May 1998.




• J.-V. LODDO and S. NICOLET. Théorie des jeux et langages de programmation. Mémoire de DEA Sémantique, Preuves et Programmation, Université de Paris VII. Septembre 1997.




• J.-V. LODDO. Sémantique temporelle pour le pi-calcul. Mémoire de "Laurea", Université de Pise, Italie. Avril 1996.

Ouvrages

• J.-V. LODDO. Un site Web pour la recherche en sciences humaines. Chapitre de l'ouvrage HYPERNIETZSCHE. Modèle d'un hypertexte savant sur Internet pour la recherche en sciences humaines. Questions philosophiques, problèmes juridiques, outils informatiques. Presses Universitaires de France (PUF), 2000.

Prix

• Prix du comité des thèses 2002 de l'Association Française d'Informatique Théorique (AFIT). France, avril 2003.

• Prix des travaux les plus prometteurs à la 6th Italian Conference on Theoretical Computer Science (ICTCS'98). Prato, Italie, novembre 1998.

Activités scientifiques

• Mai 2001 : Séminaire de titre « La sémantique des jeux (classiques) pour la programmation logique : les buts, qui deviennent des positions d'un jeu à deux joueurs, peuvent être résolus par le bien connu algorithme Alpha-Bêta ». Laboratoire de Recherche en Informatique (LRI), Université de Paris Sud (XI).

  
  

• Novembre 2000 : Présentation de l'article Playing Logic Programs with the Alpha-Beta Algorithm. Conférence LPAR'2000. St. Gilles, Île de la Réunion.

  
  

• Avril 2000 : Séminaire de titre « Alpha-Bêta, un algorithme polyvalent pour jouer aux échecs et pour résoudre (efficacement) un but dans un programme logique ». Institut National de Recherche en Informatique et Automatique (INRIA Rocquencourt), Paris

  
  

• Mars 2000 : Séminaire de titre « Alpha-Bêta, un moteur de résolution pour programmes logiques ». Laboratoire Preuves Programmes et Systèmes (PPS), Paris VII

  
  

• Sept 1999 : Séminaire de titre « Game Theory in Logic Programming ». Département de Mathématique de l'Université « Computense », Madrid.

  
  

• Janvier 1998 : Séminaire de titre « Sémantique des jeux et programmation logique ». Département de Mathématiques et Informatique de l'École normale supérieure de Paris. Avec Roberto Di Cosmo et Stéphane Nicolet.

  
  

• Octobre 1997 : Présentation du travail « Bisimulation and other games ». Avec Stéphane Nicolet. Second Workshop Confer II, Amsterdam.

  
  

• Mai-Sep 1996 : Contrat avec le Département d'Informatique de Pise pour le « projet d'un outil théorique de vérification automatique de l'efficacité d'un système concurrent exprimé dans un langage pour processus mobiles ».

Projets

1. Demolinux

   
   

   • Co-réalisateur, avec ROBERTO DI COSMO et VINCENT BALAT, du projet « DemoLinux » (www.demolinux.org), depuis 1998, pour la promotion du système d'exploitation GNU Linux et du logiciel libre par le biais de disques CD ROM de démonstration auto-configurables et fonctionnant sur les principales architectures PC IBM ou compatibles. Collaborations avec le Ministère de l'Éducation Nationale (CNDP), le Département Général pour l'Armement (DGA), Sun Microsystems France, Red Hat France, Mandrake Soft, Linbox.
     Le CD ROM a été publié par l'INRIA, en 2002 (voir l'édition), et a été publié à plusieurs reprise depuis 1999 par des magazines de la presse informatique spécialisé en France et à l'étranger (entre autres Italie, Thailande et Japon).

   
   

2. HyperNietzsche

   
   

   • Responsable de la structure informatique du projet « HyperNietzsche » (www.hypernietzsche.org), hypertexte pour l'édition, la communication et la recherche scientifique sur l'oeuvre du philosophe FRIEDRICH NIETZSCHE. Basé à l'Institut des Textes et Manuscrits modernes (ITEM) du CNRS depuis 1998, le projet est financé en France par le CNRS et par le Ministère de la Recherche et en Allemagne par la Alexander von Humboldt Stiftung et par la Deutsche Forschungsgemeinschaft.

Formation

• Décembre 2002 : Diplôme de Docteur de l'Université Paris VII. Titre de la thèse « Généralisation des Jeux Combinatoires et Applications aux Langages Logiques », sous la direction de ROBERTO DI COSMO.

  
  

• 2000/2002 : Quatrième et cinquième année en Thèse - Titulaire de contrats d'ATER, Université de Paris VII. Laboratoire PPS, Paris VII.

  
  

• 1999/2000 : Troisième année en Thèse - Contrat d'allocataire de Recherche. Laboratoire Preuves Programmes et systèmes (PPS), Paris VII.

  
  

• 1997/1999 : Première et deuxième année en Thèse au Laboratoire d'Informatique de l'École normale supérieure (LIENS) - Contrat d'allocataire de Recherche.

  
  

• 1996/1997 : DEA Sémantique, Preuves et Programmation, Université de Paris VII. Titre du Mémoire « Théorie des jeux et langages de programmation », avec STÉPHANE NICOLET, sous la direction de ROBERTO DI COSMO.

  
  

• 1995/1996 : « Laurea » en « Informatica » à l'Université de Pise, mention 110/110 et lode (félicitations du jury). Titre de la thèse « Semantica temporale per il pi-calculus » sous la direction de PIERPAOLO DEGANO.

Langues

Bilingue Italien et Français, Anglais et Espagnol très bon niveau.

About this document ...

This document was generated using the LaTeX2HTML translator Version 99.2beta8 (1.43)

Copyright © 1993, 1994, 1995, 1996, Nikos Drakos, Computer Based Learning Unit, University of Leeds.
Copyright © 1997, 1998, 1999, Ross Moore, Mathematics Department, Macquarie University, Sydney.