Programming Language Semantics Professors and Supervisors in France

Olivier Serreمشاهده پروفایل

استاد

ENSAE ParisFrance

Olivier Serre is a CNRS Research Director working at the Institute for Research in Fundamental Computer Science (IRIF), a joint research unit of CNRS and University of Paris. Since September 2021, he serves as Deputy Scientific Director at the Institute for Information Sciences and Technologies (INS2I) at CNRS. His research focuses on theoretical computer science with particular emphasis on automata theory and formal verification frameworks. Dr. Serre completed his education at ENS Cachan (1999-2003) and earned his PhD in Computer Science from Paris-Diderot University (now University of Paris) in 2004. Following a postdoctoral position at RWTH Aachen, he joined LIAFA (now IRIF) as a research fellow in 2005 and became a CNRS Research Director in 2016. His academic journey reflects deep engagement with foundational theoretical problems and their practical verification applications. His research centers on automata theory and formal languages, with particular expertise in games and logic, infinite structures, and verification of higher-order functional programs. Dr. Serre has made significant contributions to collapsible pushdown systems, recursion schemes, and parity games, bridging theoretical foundations with practical applications in program verification. His work demonstrates exceptional depth in developing decision procedures for complex verification problems previously considered intractable. Dr. Serre's extensive publication record in premier theoretical venues shows consistent contribution to advancing the state of the art. His research trajectory reveals a clear evolution from foundational automata theory toward increasingly sophisticated systems involving higher-order computation and imperfect information, with notable breakthroughs in establishing decidability results for complex verification problems.

پروفایل رسمی دانشگاه

Federico Olimpieriمشاهده پروفایل

استادیار

University of ArtoisFrance

Federico Olimpieri serves as Junior Professor of Computer Science at Aix-Marseille University, affiliated with the Laboratoire d'Informatique et Systèmes (LIS). His research bridges theoretical computer science, mathematical logic, and category theory through the lens of the Curry-Howard-Lambek correspondence. His research program focuses on linear logic, lambda calculus, category theory, semantics of programming languages, and type theory . Olimpieri investigates how categorical structures model computational phenomena, with particular emphasis on denotational semantics and proof-theoretic foundations. His work connects abstract mathematical frameworks to practical programming language design. Recent publications (2021-2025) reveal a clear trajectory: evolving from foundational work on intersection types and Taylor expansions toward advanced applications in linear logic, multicategorical structures, and quantum software semantics. His output demonstrates consistent contributions to top venues including LICS, CSL, and POPL, with growing emphasis on categorical methods for concurrency and quantum computation. Olimpieri actively participates in significant research projects including EPIQ (Quantum Software) at LIS, following prior engagements at the University of Leeds and LIPN. He teaches core computer science curriculum from bachelor to master's levels and supervises undergraduate research projects. Based at LIS in Marseille, his work contributes to France's theoretical computer science community through international collaborations spanning Italy, the UK, and multiple French institutions. His research lab focuses on developing mathematical foundations for next-generation programming paradigms.

پروفایل رسمی دانشگاه

Luigi Santocanaleمشاهده پروفایل

استاد

University of ArtoisFrance

Luigi Santocanale is a Full Professor in Computer Science at Aix-Marseille University, affiliated with the Laboratoire d'Informatique et Systèmes (LIS), UMR CNRS 7020, and member of the LSC research group. He is responsible for the 3rd year of the Licence Informatique, parcours Informatique Mathématique at Aix-Marseille University. His academic career includes previous affiliations with LIRICA@LIS, MOVE@LIF, LABRI, CPSC@UCalgary, BRICS, and UQAM. Professor Santocanale's research spans three interconnected domains: Order Theory, Category Theory and Universal Algebra (including Lattice theory, Topos Theory, and Enriched Category Theory); Combinatorics (focusing on Ordered sets, species theory, and game theory); and Logic in Computer Science (covering Intuitionistic logic, mu-calculus, decision problems for free algebraic objects, semantics of programming languages, and algebraic structures of distributed computing). His current research directions include lattice theory applications to databases, logics with fixed points, ordered sets in combinatorics, and circular proofs in mu-bicomplete categories. He has served as project coordinator for the ANR SOAPDC (Order Structures and Applications to Distributed, Parallel and Concurrent Computing) project and has been involved in numerous other research initiatives including LAMBDACOMB, RECIPROG, TICAMORE, MFL, TRECOLOCOCO, CHOCO, and TAGADA. Professor Santocanale is actively engaged with the academic community as a Program Committee member for major conferences including RAMiCS 2024 and TACL 2024. His significant contributions include: Decidability of the equational theory of relational lattices with applications to database query optimization Characterization of closure ordinals in modal mu-calculus Work on equational theories of permutation lattices (Permutohedra) and associahedra Development of circular proof systems for mu-bicomplete categories Professor Santocanale has organized and participated in the Marseille Lattice Working Group and has collaborated extensively with researchers including Fred Wehrung, M. J. Gouveia, and Nathalie Caspard. His work bridges theoretical computer science, mathematical logic, and algebraic structures, with implications for programming language semantics and distributed computing.

پروفایل رسمی دانشگاه

Christine Tassonمشاهده پروفایل

استاد

Higher Institute of Aeronautics and SpaceFrance

Christine Tasson is a Professor of Computer Science at ISAE-SUPAERO in Toulouse, France, where she holds a position in the DISC Department. She maintains an associate affiliation with LIP6 in Paris and was elected junior member of the prestigious Institut Universitaire de France (IUF) in 2021. Her academic credentials include: PhD in Computer Science from Paris Diderot University (2009) HDR (Habilitation à Diriger des Recherches) from University of Paris Cité (2018) Tasson's research program integrates theoretical computer science with critical systems engineering. She investigates Programming Languages through denotational/categorical semantics frameworks, advances Probabilistic programming models, and develops formal methods for Reactive and synchronous systems. Her work provides mathematical foundations for reliable distributed computing in aerospace contexts, emphasizing verifiable system design. Her significant recognition includes: Junior membership in the Institut Universitaire de France (IUF), 2021 Current research is supported by active grants: JCJC ANR project: "Species, Syntax and Semantics Emergence" Mairie de Paris project: "Reactive Systems, Linear logic and Semantics" She leads the "Engineering for Critical Systems" research group within DISC, focusing on systems engineering processes and models for aerospace applications where mathematical rigor meets engineering precision in safety-critical environments.

پروفایل رسمی دانشگاه

Marine Riguetمشاهده پروفایل

مدرس

University of Technology of CompiègneFrance

Marine Riguet is a Lecturer at the University of Reims Champagne-Ardenne since 2020, affiliated with the Interdisciplinary Research Center on Aesthetic and Literary Models (CRIMEL) and the Institute of Technology of Troyes (IUT de Troyes). She holds dual research affiliations as an associate researcher at COSTECH (a research unit of the Department of Technologies and Human Sciences at the University of Technology of Compiègne) and at CELLF (Center for the Study of French Language and Literature), a joint research unit of Sorbonne University and the CNRS. Her research focuses on the intersection of digital technologies and literary studies, with particular attention to digital humanities, modern literature from the 19th to 21st centuries, digital writing and intermedial literary practices, and the relationship between literary criticism and science in the 19th century. Dr. Riguet has developed significant expertise in LittéraTube, examining literary content creation and consumption on YouTube, video poetry, and the poetics of digital gesture. Her recent scholarly output reveals a trajectory exploring the evolving relationship between literature and digital media, with increasing attention to AI applications in literary creation, ecological dimensions of digital poetry, and methodological approaches to analyzing digital literary discourse. Her work bridges theoretical literary criticism with creative practice, particularly through her engagement with video poetry as both researcher and practitioner. Director of publication of Carnets du CRIMEL Member of Humanistica (French-speaking association of digital humanities) Member of the scientific committee of La Cellule (research unit of the National School of Photography) Member of the Société des Études renaniennes Dr. Riguet actively supervises students in professional license programs and internships at IUT de Troyes, and has served on multiple selection committees for academic positions. She regularly organizes academic events focused on digital humanities and literary studies, and maintains an active creative practice through poetry publications and video poetry workshops.

پروفایل رسمی دانشگاه

Pascal Bruniauxمشاهده پروفایل

استاد

National School of Arts and Textile IndustriesFrance

Pascal Bruniaux is a Full Professor and Research Supervisor at the École Nationale Supérieure des Arts et Industries Textiles (ENSAIT) in Roubaix, France, where he leads research in textile engineering and human-centered design. His work focuses on the intersection of textile science, digital technologies, and human anatomy, with particular emphasis on creating innovative solutions for garment design and customization. Professor Bruniaux's research spans four major themes: (1) Modeling, simulation and multi-scale perception of textile materials; (2) Modeling of the Human/Clothing/Environment interface; (3) Analysis and classification of typical and atypical human morphologies; and (4) Development of personalized co-creation processes integrating 3D virtual prototyping, human perception, and knowledge. His work bridges the gap between traditional textile manufacturing and cutting-edge digital technologies, with applications ranging from everyday apparel to specialized medical garments and protective clothing. His recent publications demonstrate a strong trend toward integrating artificial intelligence and machine learning with 3D garment design and virtual prototyping. The research spans disciplines including textile engineering, computer science, human factors engineering, and sustainable fashion, with particular emphasis on improving garment fit, comfort, and customization through digital technologies. His work addresses critical challenges in the fashion industry, including reducing waste through virtual prototyping and improving accessibility for people with atypical body morphologies. Professor Bruniaux has received significant recognition for his contributions to the field: 2016 Gratitude Diploma from Gheorghe Asachi Technical University of Iasi for supporting and promoting their interests PEDR Award for PhD students and research supervision, received annually from the French Ministry of National Education since 2021 Throughout his career, Professor Bruniaux has supervised numerous PhD students and led multiple significant research projects funded by various programs including FUI, Erasmus Mundus, and European H2020. His research has been supported by collaborations with institutions across Europe and Asia, demonstrating the international impact of his work. He has also contributed to the development of innovative teaching methods in textile and apparel design, integrating digital tools into the curriculum. As a key member of the GEMTEX laboratory at ENSAIT, Professor Bruniaux leads the Human Centered Design Group, which focuses on developing technologies that place human needs at the center of textile and apparel innovation. The group's work has applications in diverse areas including adaptive clothing for people with physical disabilities, personalized sportswear, and advanced protective garments.

پروفایل رسمی دانشگاه

Brice Chardinمشاهده پروفایل

دانشیار

National Graduate School of Mechanics and AerotechnicsFrance

Brice Chardin is an Associate Professor in Data Engineering at ISAE-ENSMA since 2013, affiliated with the LIAS (Laboratoire d'Ingénierie des Applications de la Connaissance et des Systèmes) Data and Model Engineering team. His work bridges academic research and industrial applications, focusing on data management solutions for critical systems. His research spans clustering algorithms under dissimilarity constraints , RDF query relaxation for explaining empty/overabundant results, pattern mining through the RQL language, and energy data management . Key projects include Chronos (a NoSQL system for industrial sensor data) and collaborations with energy companies SRD and Nexeya for predictive consumption analysis. Recent publications (2021-2024) emphasize constrained clustering techniques and cooperative query processing for RDF knowledge bases, revealing a strong trend toward practical solutions for industrial data challenges. His work integrates machine learning with database theory to address real-world data imperfections. PhD in Computer Science from INSA Lyon (2011) Postdoctoral position at LIRIS (2012-2013) on ANR DAG project Specialized in industrial data management since 2011 EDF collaboration Chardin actively supervises academic projects including drone simulation with Ardupilot and Smart Data mining initiatives. His industrial partnerships focus on energy sector applications, particularly predictive analysis for electricity distribution and storage systems. Current work involves developing clustering algorithms with error bounds and query relaxation frameworks for semantic web technologies.

پروفایل رسمی دانشگاه