معرفی
Jean-Marc Talbot is a Professor at Aix-Marseille University, affiliated with the Laboratoire d'Informatique Fondamentale de Marseille (LIF, UMR 7279) and the MoVe research team. His academic journey began with a Master (DEA) in Computer Science from the University of Orléans (1994) and a PhD in Computer Science from the University of Lille 1 (1998). After a postdoctoral fellowship at the Max-Planck-Institut für Informatik (Saarbrücken, Germany), he served as an Assistant Professor (Maître de Conférences) at the University of Lille 1 before earning his habilitation in Computer Science (2005).
- Research Focus: Formal methods for program analysis and verification, concurrency theory (process algebra), mobile computing, XML data transformation/querying, tree automata, and computational logic.
- Teaching: He teaches courses on static analysis, typing, abstract interpretation, and security within Java, including the graduate course "Fiabilité 2" (Reliability II).
Laboratory Affiliation: Talbot works at LIF (UMR 7279), a fundamental computer science research lab located at the Parc Scientifique et Technologique de Luminy, Marseille.
