Le professeur James Lipton est "full professor" à Wesleyan University, Middletown, CT, USA depuis 1993 http://jlipton.web.wesleyan.edu/. Il a obtenu son diplôme de Docteur en 1990 de Cornell University, sous la direction d'Anil Nerode. Le Pr. Lipton a de nombreuses responsabilités auprès de son université, il a entre autres été responsable du programme d'échange avec l'Espagne. Sa carrière académique a été rythmée par des échanges de recherche réguliers avec les universités européennes, à travers des bourses d'étude et des programmes d'échange. Il a encadré avec succès de nombreuses thèses, dont celles d'Edward Morehouse http://emorehouse.web.wesleyan.edu/ et d'Emilio Gallego-Arias. https://www.cri.ensmp.fr/people/gallego/

Sur une période de 2 mois (17 octobre/16 décembre 2016), il va travailler essentiellement avec l'équipe Inria Deducteam (G. Dowek, F. Blanqui, O. Hermant). http://deducteam.gforge.inria.fr/seminars.html

Il a commencé son programme de cours destiné aux doctorants "Sémantique Catégorique des Langages de Programmation Logique". Tous les mercredis 10 et 15 étudiants bénéficient du savoir faire du professeur Lipton sur le sujet.

D'autre part, le Pr. Lipton collabore avec l'équipe-projet Inria Parsifal (D.Miller) https://team.inria.fr/parsifal/, hébergée au LIX, Ecole polytechnique, et un exposé de ses travaux est prévu le 2 Décembre.

Seules les personnes avec un identifiant peuvent lire le rapport de visite.