Louis Jachiet is an Assistant Professor in Computer Science at Télécom Paris, affiliated with the Data, Intelligence and Graphs (DIG) team within the Information Processing and Communication Laboratory (LTCI) and the Computer Sciences and Networks (Infres) department. His research focuses on algorithms, databases, programming languages, and logic. His work spans query optimization distributed SPARQL evaluation graph algorithms formal language theory program synthesis data provenance with a strong emphasis on bridging theoretical and applied research. Analysis of his publications reveals expertise in database systems graph processing automata theory query enumeration SPARQL optimization probabilistic databases across both theoretical and practical applications.
René Quiniou is a Researcher at INRIA, affiliated with the DREAM team within the IRISA laboratory in Rennes, France. His work focuses on Online Monitoring , Change Detection , Machine Learning , and Data Mining , with applications in agriculture, environmental science, and healthcare. He leads research on extracting temporal patterns from sequences and developing adaptive learning algorithms for dynamic environments. Key research areas include incremental learning, anomaly detection in cybersecurity, and health monitoring systems. His publications span topics like multimedia data analysis, bovine disease detection, and intrusion detection in unlabeled data streams. He collaborates extensively with teams in computer science and applied mathematics, contributing to projects such as flood event clustering and cardiac surveillance systems. Articles emphasize practical applications of machine learning and data mining, such as symbolic time series representation (1d-SAX) and hierarchical skyline queries for database optimization. His work bridges theoretical advancements with real-world challenges in agriculture, healthcare, and cybersecurity.
Véronique Benzaken is a Full Professor at the University of Paris-Saclay , affiliated with the Computer Science Department and member of the VALS (Verification of Algorithms, Languages, and Systems) research group at LRI (CNRS) and the Toccata group at INRIA-Saclay. Her research focuses on Data-Centric Programming Languages and Deep Specification with Proof Assistants , particularly SQL/XML formalization and Coq-based verification systems. Her work includes the development of the ℂDuce XML-centric functional programming language and the Datacert project (2016-2021) for certifying data-intensive systems using Coq and Why(3). She collaborates with Oracle Labs on multi-lingual query interfaces (QIR) and formalizes languages like XQuery, Datalog, and SQL execution plans. She has received significant funding through the ANR grants for the Typex (2016) and Datacert (2016-2021) projects. Her publications in venues like CPP, ESOP, ITP, and SPLASH reflect her leadership in formal methods for data systems. Education : Habilitation (1996), PhD (1990), DEA in Theoretical Computer Science (1986), and degree in Singing/Opera (1983). Employment : Full Professor at Paris-Sud 11 since 1998; Assistant Professor at Paris 1 Panthéon-Sorbonne (1990-1998); INRIA researcher (1986-1990).
Raja Appuswamy is an Assistant Professor in the Department of Data Science at EURECOM, focusing on data management on modern hardware and molecular information storage. His research integrates cutting-edge storage technologies with bioinformatics, particularly in DNA-based data storage. He teaches courses in cloud computing, distributed systems, and databases. His work spans Optimizing storage hierarchies with DNA archival systems Hardware-conscious algorithms for GPUs and heterogeneous architectures Error correction in molecular storage Long-term database preservation strategies Key research interests include Cross-architecture data joins (e.g., OneJoin, XJoin) Cold storage innovation with CMOSS and OligoArchive Integration of bio-inspired storage with traditional computing and explores interdisciplinary challenges at the intersection of computer science and molecular biology. Publications emphasize scalable solutions for DNA storage density, error tolerance, and archival systems. Awards highlight contributions to DNA-based image encoding, storage reliability, and page cache checksums. Current projects focus on enzymatic DNA ligations for storage density improvement, motif-based error correction, and hardware acceleration for knowledge graphs. His work targets both theoretical advancements and practical implementations in storage systems.
Simon Pierre Dembele is a Lecturer (ATER) at ISAE-ENSMA, France, affiliated with the LIAS laboratory—a joint research unit between ISAE-ENSMA and the University of Poitiers with locations in Poitiers and Chasseneuil. He is a core member of the Data Engineering Team within LIAS, focusing on sustainable data management systems. Dr. Dembele holds a PhD and specializes in green computing for database systems. His research interests include: Database Systems Green Computing Energy Efficiency Big Data Machine Learning His work addresses carbon footprint reduction in data-intensive applications through innovative query optimization techniques, with emphasis on parallel processing and machine learning integration. Recent publications (2018-2020) demonstrate consistent advancements in energy-efficient database deployment and auditing methodologies. Scientific Awards: No awards documented in source material Advising and Grants: No information provided regarding student supervision, research grants, or funding sources in the available text. Dr. Dembele operates within the Data Engineering Team at LIAS, which collaborates closely with the Automatic Control and Real Time research teams on cross-disciplinary sustainable computing initiatives.
Simone Rossi is an Assistant Professor in the Data Science department at EURECOM. His research focuses on Bayesian methods, generative models, and deep learning, with particular emphasis on uncertainty quantification, diffusion processes, and scalable probabilistic models. He has contributed to foundational work on functional priors for Bayesian neural networks, conformal prediction for in-context learning, and optimization of diffusion models. Education: Not explicitly mentioned in the provided text. His research interests span machine learning, probabilistic modeling, and theoretical computer science. He explores topics like score-based generative models, continuous-time diffusion processes, and efficient Bayesian inference techniques. Recent work includes analyzing scaling laws for uncertainty in deep learning and improving LLM reasoning capabilities for Text2SQL tasks. His publications reflect contributions to top conferences like NeurIPS, ICML, and AABI, with a focus on both theoretical advancements and practical applications. Notable achievements include a Runner-up Best Paper Award at PAM 2024 for work on data augmentation in traffic classification. Scientific Awards: Runner-up Best Paper Award at PAM 2024 Dr. Rossi collaborates actively with industry and academia, contributing to open-source tools and foundational research in probabilistic deep learning. His work bridges theory and practice, addressing challenges in scalable Bayesian methods and generative model efficiency.
Veronique Benzaken is a Full Professor (Professeur de classe exceptionnelle) at University of Paris Sud 11, where she is a member of the LRI (Laboratoire de Recherche en Informatique), UMR 8623 - CNRS. She is currently a member of the VALS (Verification of Algorithms Languages and Systems) research group, a joint team between LRI and the Toccata group at INRIA - Saclay. Her research focuses on data-centric programming languages and systems, with particular expertise in XML processing, type systems, and formal verification of database systems. Her academic background includes: Dec 1996: Habilitation à diriger des recherches, University Paris Sud 11 (UFR des Sciences - Orsay) Jan 1990: PhD in Computer Science, University Paris Sud 11 (UFR des Sciences - Orsay) Sep 1986: DEA d'Informatique fondamentale, University Denis Diderot Paris 7 (Master in Theoretical Computer Science) June 1983: Diplomée de Chant et d'Art-Lyrique, Conservatoire National de Région de Grenoble Professor Benzaken's primary research interests lie at the intersection of database systems, programming languages, and formal methods. She has made significant contributions to XML-centric programming through the design and development of ℂDuce, an XML-centric general purpose functional programming language developed under an MIT license. Her work emphasizes type-safe and fast query and transformation of XML documents. More recently, she has focused on the formalization of data intensive management systems using the Coq proof assistant, particularly in the context of the Datacert project (2016-2021) which aims to certify and verify data intensive systems such as RDBMS's and XML processing engines. Her research spans several interconnected areas including type systems for data languages, formal semantics of query languages, verification of database systems, and language-integrated query processing. She has led significant research projects such as the ANR project Blanc SIMI2 Typex (Typeful certified XML) and has collaborated with Oracle Labs on developing intermediate representations for multi-lingual querying interfaces. Her publication record shows a clear trajectory from XML processing and type systems toward increasingly rigorous formal verification of database technologies. Professor Benzaken has been actively involved in the academic community through service on program committees for major conferences including ESOP, ICDE, VLDB, and others. She has also been an invited speaker at workshops such as the Coq workshop (CoqWS@FLOC) in 2018. Her research is supported by significant grants including the ANR project Datacert (2016-2021) and the ANR project Blanc SIMI2 Typex. She has collaborated extensively with researchers such as Évelyne Contejean, Chantal Keller, and Stefania Dumbrava on formal verification projects, producing notable publications at ITP 2017 and ITP 2018 on Datalog and SQL formalization. Professor Benzaken is a member of the PCRI research group within LRI, focusing on programming, systems, and their applications. Her work bridges theoretical computer science with practical database system implementation, contributing to both the academic understanding and industrial application of data management technologies, particularly in the areas of XML processing, query languages, and formal verification of database systems.
C.-H. Luke Ong is Professor of Computer Science and Director of Graduate Studies at the Department of Computer Science, University of Oxford, and Tutorial Fellow at Merton College. He holds a BA in Mathematics (1984, Triple First) and a Postgraduate Diploma in Computer Science (1985, Distinction) from University of Cambridge, and PhD in Computer Science (1988) from Imperial College University of London. After positions at National University of Singapore (1991) and Trinity College Cambridge (1992-1993), he joined Oxford in 1994, becoming Reader in 2002 and Professor in 2004. His research spans multiple areas of theoretical computer science with recent focus on probabilistic programming, higher-order model checking, and semantics of computation. His work bridges theoretical foundations with practical applications in program verification and analysis. Ong has made significant contributions to game semantics, lambda calculus, and type theory, with recent work extending into algorithmic game theory and probabilistic computation. Ong's publication record shows a clear evolution from foundational work in semantics toward practical applications in verification and probabilistic programming. His recent articles demonstrate increasing focus on bridging theoretical computer science with practical problems in machine learning, probabilistic inference, and program analysis, particularly through higher-order model checking techniques applied to modern programming paradigms. General Chair of ACM/IEEE Symposium on Logic in Computer Science (LICS) Vice Chair of ACM Special Interest Group in Logic and Computation (SIGLOG) Member of European Association of Theoretical Computer Science (EATCS) Chairman of Singapore's Expert Panel on Mathematics and Informatics (2006-2014) Member of Singapore's Academic Research Council (since 2013) Ong has supervised 20 doctoral students to completion and currently co-supervises 9 doctoral candidates. His research has been supported by numerous grants from EPSRC and international collaborations. He has served as PC Chair for major conferences including LICS 2007, CSL 2005, FoSSaCS 2010, and TLCA 2011, demonstrating significant leadership in the theoretical computer science community. He leads research in the Centre for Metacomputation at Oxford, with active projects in higher-order model checking, algorithmic game semantics, and verification of concurrent systems. His work with the Games for Design and Verification research network has fostered international collaboration across Europe and Asia.
Pierre Senellart is a Professor in the Computer Science Department at École normale supérieure (ENS, Université PSL) and deputy director of the DI ENS laboratory, a joint CNRS/Inria/ENS unit. He leads the Valda team at Inria Paris and holds a chair in the PRAIRIE Paris School of AI. University: École normale supérieure (Université PSL) School: Department of Computer Science (DI ENS) Academic Rank: Professor Research Interests: His work bridges theoretical and practical aspects of web data management, including web crawling, archiving, information extraction, uncertainty management, and intensional data systems. He contributes to probabilistic XML data models, provenance tracking, and knowledge base construction. Recent Article Trends: His Google Scholar publications (2025–2023) focus on provability in probabilistic databases, theorem extraction from PDFs, and AI applications in uncertain data analysis. Topics span game theory, knowledge compilation, and multi-modal learning for scientific documents. Scientific Awards: Junior member of Institut Universitaire de France (2020–2025) Distinguished SIGMOD 2017 Program Committee Member ACM HyperText 2014 Douglas Engelbart Best Paper Award Adviser of Clément Genzmer (SIGMOD Programming Contest 2009 winner) Grants & Projects: He secures major funding (e.g., PRAIRIE Paris School of AI: €575k, DesCartes CNRS@CREATE: SGD50M), with roles in research projects like Dissemin (open science platforms) and ARCOMEM (social web archiving).
Nozha Boujemaa is a Research Director at Inria and Director of DATAIA Institute, leading projects in Data Sciences, Algorithmic Transparency, and Societal Impact. She co-founded the Digital Society Institute (ISN) and serves as a Senior Scientific Advisor for AI initiatives. Expert in Large Scale Multimedia Content Search, Pattern Recognition, and Machine Learning Developed methods for visual content enrichment, interactive retrieval, and satellite image analysis Scientific leader of Pl@ntNet (plant identification), CHORUS (multimedia search engines), VITALAS, MUSCLE, and TRENDS projects Her research spans Multimedia Retrieval , Big Data Applications , and Algorithmic Transparency , with over 150 publications. She has supervised 25+ PhD/Master's students and organized conferences like ACM Multimedia 2013 and European Big Data Value Forum 2017. Key scientific awards include: Knight of the National Order of Merit (France) She has contributed to international projects (NSF, European Commission), served on editorial boards for Multimedia Tools and Applications , and co-chaired workshops on visual digital libraries and AI ethics. Her work impacts web search, cybersecurity, biodiversity, and earth observation.
Arnaud Giacometti is a Professor at the University of Tours, affiliated with the Faculty of Science and Technology and the Computer Science Department. He is also the President of the University and leads research at the Tours Fundamental and Applied Computer Science Laboratory (LIFAT). Research Interests: His work focuses on data mining, pattern discovery, and knowledge graph analysis. He has developed innovative methods for frequent pattern mining, sequential pattern sampling, and constraint-based clustering, emphasizing efficiency and scalability in large datasets. Recent Publications: His research trends include trie-based sampling, reservoir pattern sampling in data streams, and semantic web-driven comparison tables. Key subfields span distributed databases, knowledge graph representativeness, and memory-aware parallelization for big data. Scientific Roles: As President of the University of Tours, he oversees institutional leadership while maintaining active research contributions. His laboratory (LIFAT) serves as a hub for fundamental and applied computer science research.
Dominique LI is a Professor in the Department of Computer Science at the University of Tours, affiliated with the Fundamental and Applied Computer Science Laboratory (LIFAT) and the Polytechnic School of the University of Tours (EPU). His research focuses on pattern mining, skyline computation, and data mining applications in domains like lithium-ion battery analysis and fluid mechanics. His recent publications highlight advancements in sequential pattern sampling, dynamic texture classification, and skyline maintenance for data streams. Keywords span Computer Science Machine Learning Database Systems Fluid Dynamics Text Classification Algorithm Design .
Professor Vassilis Christophides is a Full Professor at the École Nationale Supérieure d'Électronique et de ses Applications (ENSEA), part of the University of Cergy-Pontoise. His research focuses on Machine Learning Systems, Data Science & Big Data Computing, Databases and Semantic Web Systems, and Digital Libraries. He has published over 155 articles in top-tier journals/conferences like ACM SIGMOD and IEEE ICDE. Teaching includes courses such as Machine Learning, Big Data Computing, and Transparency in AI at the undergraduate and master's levels. He actively serves in conference roles (e.g., Tutorial Chair at WISE 2022), steering committees (EDBT Association), and as a reviewer for ERC grants. His work emphasizes ethical AI, explainable systems, and scalable data management across domains like Cultural Heritage and Environmental Sciences. Notable contributions include the BDA 2021 Best Paper Award and leadership in projects like the NOON research group. His work bridges theoretical advancements with real-world applications in data-driven decision-making and system optimization.
Louis Mandel is a Researcher at Inria, specializing in reactive programming languages and probabilistic systems. He co-developed ReactiveML and Q*cert (a verified query compiler), with applications in chatbots and cloud log analysis. His work bridges formal methods and practical tools for embedded systems.
Danai Symeonidou is a Researcher (CR) at INRAE in Montpellier since 2015, working in the GAMMA team. She holds a PhD from University Paris Sud (2014) and a joint Greek-French Master's degree from the University of Crete and University Paris Sud. Her research focuses on Semantic Web technologies, key discovery in knowledge bases, rule mining, and descriptive analytics. She has conducted postdoctoral research at Telecom ParisTech and was a visiting researcher at the Insight Centre for Data Analytics in University College Cork, Ireland. Education includes a Bachelor's degree from the University of Macedonia (2009), followed by advanced studies in France. She has extensive teaching experience across multiple institutions, including courses on Discrete Mathematics, Relational Databases, UML, Algorithms, and Semantic Web topics. Her work emphasizes scalable solutions for data linking and key discovery, with contributions to RDF data analysis, knowledge base optimization, and agrifood chain modeling. She has published widely in top venues such as ISWC, K-Cap, and EKAW, focusing on theoretical foundations and practical applications of semantic web technologies.
