جست‌وجوی استاد و پژوهشگر

Manik Varmaمشاهده پروفایل

استاد مدعو

• Machine Learning
• Deep Learning
• Information Retrieval
• +۱۶ مورد دیگر

Manik Varma is a Distinguished Scientist and Vice President at Microsoft Research India, and an Adjunct Professor at the Indian Institute of Technology Delhi. He is a Fellow of the Indian Academies of Science (IASc, INSA, NASI), the Indian National Academy of Engineering (INAE), and the Association for Computing Machinery (ACM). He has received prestigious awards such as the Shanti Swarup Bhatnagar Prize and Microsoft Gold Star Award. Education : BSc in Physics from St. Stephen's College (David Raja Ram Prize) BA in Theoretical Physics from the University of Oxford (Rhodes Scholar) DPhil in Computer Vision and Machine Learning from the University of Oxford (University Scholar) Post-doctoral Fellow at the Mathematical Sciences Research Institute (MSRI), Berkeley Visiting Miller Professor at UC Berkeley His research focuses on Machine Learning (Extreme Classification, Resource-efficient ML, Supervised Learning), Information Retrieval (Computational Advertising, Dense Retrieval, Recommender Systems), and Computer Vision (Image Search, Object Recognition). Recent work includes graph-regularized encoders, label variance reduction, and multimodal classification frameworks. His publications span extreme classification algorithms like NGAME , SiameseXML , and DECAF , with applications in IoT, web search, and recommendation systems. He leads a research group at Microsoft Research India and advises PhD students at IIT Delhi. Scientific Awards : Shanti Swarup Bhatnagar Prize (Government of India) Microsoft Gold Star and Achievement Awards WSDM 2019 Best Paper Prize BuildSys 2019 Best Paper Runner-up Fellow of ACM, IASc, INSA, NASI, INAE He has supervised numerous PhD students, including Sonu Mehta and Suchith Prabhu, and collaborates with institutions like Microsoft Research India, IIT Delhi, and UC Berkeley. His research has led to scalable solutions for billion-label classification and resource-constrained IoT applications.

• Marketing Analytics
• Customer Behavior
• Machine Learning
• +۳ مورد دیگر

Arno De Caigny is an Associate Professor at IÉSEG School of Management in France, specializing in Marketing Analytics. He holds a Ph.D. in Sales and Marketing from the University of Lille and Masters in Economics/Mathematics and Finance from Ghent University. His professional experience includes work as a Business Analyst at Deloitte. His primary research interests include customer churn prediction, AI applications in marketing, explainable AI for business, and life event-based marketing. He develops advanced machine learning models for customer behavior prediction and retention strategies. De Caigny's recent publications demonstrate strong focus on developing interpretable machine learning models for business applications, particularly in customer churn prediction and financial decision support. His work increasingly incorporates deep learning and natural language processing techniques.

Nils Holzenbergerمشاهده پروفایل

استادیار

• Natural Language Processing
• Artificial Intelligence
• Legal AI
• +۳ مورد دیگر

Nils Holzenberger is an Assistant Professor at Télécom Paris, France, since February 2023, affiliated with the Data Intelligence Graphs (DIG) research team within the Information Processing and Communication Laboratory (LTcI). His work bridges artificial intelligence, natural language processing, and legal domains through neuro-symbolic approaches to statutory reasoning, particularly in tax law. Education: PhD in Computer Science, Johns Hopkins University (2017-2022) Master's in Engineering, Mines ParisTech (2013-2017) Preparatory Classes, Lycée Louis-le-Grand (2011-2013) Holzenberger's research centers on legal artificial intelligence with emphasis on statutory reasoning limitations in large language models. He pioneered the SARA dataset for tax law reasoning and LegalBench benchmark, developing hybrid symbolic-neural frameworks that expose LLMs' shortcomings in precise legal interpretation. His work integrates Prolog solvers with NLP techniques to create executable tax code mappings and contract analysis tools, establishing foundational methods for verifiable legal AI systems. Analysis of his 15 most recent publications (2019-2024) reveals three dominant research thrusts: (1) Tax law reasoning benchmarks exposing LLM hallucinations, (2) Neuro-symbolic integration for statutory interpretation, and (3) Low-resource template extraction for legal documents. His work consistently demonstrates that pure neural approaches fail at precise legal reasoning, necessitating symbolic grounding for reliable legal AI applications. The DIG research team at Télécom Paris, where Holzenberger leads legal AI initiatives, is actively hiring faculty for neuro-symbolic projects. While specific grant details aren't public, his collaborations with HEC Paris, Copilex startup, and featured podcast appearances indicate substantial industry-academia engagement in legal tech development. Holzenberger directs the legal AI vertical within LTcI's DIG team, focusing on data intelligence for statutory reasoning. His group develops tools for tax minimization strategy discovery, contract analysis, and legal information extraction, maintaining close ties with legal practitioners through projects like the Prolog-based tax code interpreter. The team's infrastructure supports both academic research and startup partnerships in computational law.

Stefania Dumbravaمشاهده پروفایل

دانشیار

• Formal methods for databases
• Graph databases
• Property graphs
• +۷ مورد دیگر

Stefania Dumbrava is an Associate Professor of Computer Science at ENSIIE (École Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise) and a permanent member of the ACMES team in the SAMOVAR laboratory at Télécom SudParis, Institut Polytechnique de Paris. She is also actively involved in the Property Graph Schema Working Group and the European Research Network on Formal Proofs (EuroProofNet). Education PhD in Computer Science, Université Paris-Sud (2016) MSc in Computer Science, Jacobs University Bremen (2012) BSc in Mathematics, Jacobs University Bremen (2010) Research Interests Dumbrava's research lies at the intersection of formal methods and data management . She designs and verifies algorithms and systems for graph databases , with emphasis on property graphs , schema discovery , query optimization , and distributed graph processing . Recently, her work focuses on certifying large-scale distributed graph systems under the ANR JCJC VERDI project (2025–2029). Awards & Honors SIGMOD Best Paper Award 2023 – “PG-Schema: Schemas for Property Graphs” SIGMOD Research Highlight Award 2023 – “Threshold Queries” VLDB 2022 Best Regular Research Paper Runner-Up – “Threshold Queries in Theory and in the Wild” SIGMOD 2025 Distinguished Reviewer Award ICDE 2025 Best Program Committee Member Award EASST Best Software Science Paper Award, ICGT 2025 Students & Grants Dumbrava has supervised numerous research interns and is actively recruiting PhD students for her ANR VERDI project on verified foundations of large-scale distributed graph systems. She has also served on six PhD thesis committees as examiner since 2021. Labs & Teams She leads the ACMES research group within the SAMOVAR laboratory (Télécom SudParis, Institut Polytechnique de Paris), where her team develops formally verified graph-database engines and tools such as GRASP, VerDILog, and DatalogCert.

Cezary Kaliszykمشاهده پروفایل

استاد

• Automated Reasoning
• Formal Methods
• Formalized Mathematics
• +۷ مورد دیگر

Cezary Kaliszyk is a Professor in Theoretical Computer Science at the University of Melbourne, previously affiliated with the University of Innsbruck. He is actively involved in research and leadership in formal methods, automated reasoning, and machine learning for theorem proving. Research Interests: Automated Reasoning and Interactive Theorem Proving Formalized Mathematics and Proof Automation Machine Learning for Logic and Theorem Proving Integration of AI with Proof Assistants (Coq, Isabelle) Dependent Type Theory and Higher-Order Logic His recent publications (2023–2025) span topics in dependently-typed logic, learning for proof guidance, formalization of surreal numbers, and blockchain-based formal methods. The works consistently bridge formal logic with machine learning, emphasizing automation, explainability, and cross-system integration. Scientific Leadership and Projects: Principal Investigator, ERC project FormalWeb3 Lead Developer, CoqHammer , Tactician , ProofWeb WG5 Leader, COST Action EuroProofNet (until 2024) Contributor to HOL(y)Hammer , Isabelle Enigma He supervises multiple PhD students and has mentored several graduates in formal methods and AI. He teaches courses in theoretical computer science, logic, and machine learning. There are no listed awards in the provided data, but his extensive publication record and project leadership indicate significant recognition in the field. Labs and Research Groups: He leads a research group focused on formal methods and learning-based reasoning, collaborating internationally on projects involving proof automation, formal libraries, and semantic technologies.

• statistical machine learning
• optimization
• sparse methods
• +۵ مورد دیگر

Francis Bach is a Professor and researcher at INRIA, leading the SIERRA project-team since 2011, which is part of the Computer Science Department at Ecole Normale Supérieure (ENS) within PSL Research University. His work bridges CNRS, ENS, and INRIA as a joint research effort. Elected to the French Academy of Sciences in 2020, he currently runs the ERC project SEQUOIA following his previous ERC project SIERRA (2009-2014). His research spans statistical machine learning with focus on optimization, sparse methods, kernel-based learning, neural networks, graphical models, and signal processing. Bach completed his Ph.D. in Computer Science at U.C. Berkeley under Professor Michael Jordan, followed by work at Ecole des Mines de Paris and the WILLOW project-team at INRIA/ENS/CNRS (2007-2010). His recent book "Learning Theory from First Principles" was published by MIT Press in December 2024. Bach's publication record shows consistent high-impact contributions across machine learning theory and applications, with recent work focusing on conformal prediction, diffusion models, optimization theory, and learning theory foundations. His research demonstrates strong connections between theoretical guarantees and practical algorithms, with applications spanning generative modeling, robust optimization, and statistical inference. Elected to French Academy of Sciences (2020) ERC project SIERRA (2009-2014) ERC project SEQUOIA (current) Author of "Learning Theory from First Principles" (MIT Press, 2024) Bach actively mentors numerous PhD students and postdocs, with many alumni now holding faculty positions at institutions like EPFL, Ecole Polytechnique, University of Washington, and University of Montreal. His teaching includes advanced courses on learning theory at ENS's Master's programs. He regularly presents tutorials at major conferences including COLT, NeurIPS, and ICML, demonstrating his leadership in the theoretical machine learning community.

Véronique Perdereauمشاهده پروفایل

استاد

• Robotics
• Dexterous Manipulation
• Tactile Feedback Systems
• +۴ مورد دیگر

Véronique Perdereau is a Full Professor at Sorbonne Université's Institute of Intelligent Systems and Robotics (ISIR) , specializing in robotics and dexterous manipulation. She leads the ASIMOV research team and serves as a principal investigator for multiple European projects, including SOFTMANBOT, INDEX, and CORSMAL, focusing on tactile feedback, multimodal control, and human-robot interaction. Role: Full Professor (2024) Email: veronique.perdereau@sorbonne-universite.fr Office: H13, Campus Pierre et Marie Curie, Paris Research Focus Perdereau's work centers on tactile-driven robotic control systems, human-inspired manipulation strategies, and multimodal fusion for industrial automation. Her research bridges theoretical modeling (e.g., Cosserat mechanics, dual quaternions) with practical applications in manufacturing sectors. Key Themes: Tactile Feedback Systems Dexterous In-Hand Manipulation Human Motion Data Integration Autonomous Grasp Stability Flexible Object Handling Reproducibility in Robotic Experiments Notable Projects She has spearheaded projects like: SOFTMANBOT (2019–2023): Advanced robotic technology for handling soft materials in manufacturing. INDEX (2019–2022): Developing motor action dictionaries for robotic hands. CORSMAL (2019–2022): Multimodal fusion for collaborative object recognition. Scientific Leadership Perdereau has led work packages in 10+ international collaborations with institutions across Europe, including Decathlon, IIT, and Queen Mary University. Her research emphasizes safety, ethics, and industry 4.0 applications.

• Static Program Analysis
• Abstract Interpretation
• Programming Languages
• +۳ مورد دیگر

Caterina Urban is a Research Scientist (Chargé de Recherche) at INRIA and École Normale Supérieure (ENS) in Paris, France. She is a member of the INRIA research team ANTIQUE (ANalyse StaTIQUE), where she focuses on formal methods and static analysis. Prior to her current position, she was a postdoctoral researcher at the Chair of Programming Methodology, led by Peter Müller at ETH Zurich. Dr. Urban holds a PhD in Computer Science (2015) from École Normale Supérieure, Paris, where she worked under the joint supervision of Radhia Cousot and Antoine Miné. She also earned a Master's degree (2011) and Bachelor's degree (2009) in Computer Science, both with full marks and honors (summa cum laude) from the Università degli Studi di Udine, Italy. Her research interests span the whole spectrum of formal methods with a focus on developing rigorous methods and tools to enhance the reliability of computer software, particularly data science applications. Her main area of expertise is static analysis based on abstract interpretation. Dr. Urban is currently engaged in several research projects including Lyra (focusing on data science software), Libra (fairness certification for neural networks), and SAIF (addressing safety concerns in machine learning-based systems). Dr. Urban's recent publications demonstrate her expertise in applying abstract interpretation to diverse areas including machine learning, data science, program verification, and security. Her work bridges theoretical foundations with practical applications, particularly in ensuring the reliability and trustworthiness of increasingly critical data science and machine learning systems. She has received recognition for her work through invitations to serve on program committees for major conferences including OOPSLA 2026, PLDI 2026, and CAV 2026. She is also the general chair of iFM 2025 in Paris. Dr. Urban actively mentors the next generation of researchers, supervising PhD students and postdoctoral researchers. She teaches courses on abstract interpretation and its applications at the Master Parisien de Recherche en Informatique (MPRI) and various international summer schools. She has developed several open-source software tools including Lyra (a static analyzer for data science applications), Libra (for fairness certification of neural networks), and Typpete (SMT-based static type inference for Python).

Laurent Daudetمشاهده پروفایل

استاد

• Machine Learning
• Optics
• Signal Processing
• +۳ مورد دیگر

Laurent Daudet is a Professor of Physics at Université Paris Cité (on leave) and CTO & co-founder of LightOn, a startup developing optical computing technologies. His research spans signal processing, wave physics, and machine learning, with a focus on scalable AI solutions. He holds a PhD in Applied Mathematics from Marseille University and is a graduate of École Normale Supérieure in Paris. Research Interests: Laurent’s work bridges academia and industry, addressing challenges in massive-scale AI, optical computing, and hardware optimization. He leads cross-disciplinary R&D projects at LightOn, advancing technologies like the Optical Processing Unit (OPU) for low-power, parallel computing. Awards: Fellow of the Institut Universitaire de France Grants & Advising: Over 200 scientific publications and patents; collaborates globally with researchers and engineers. Former academic roles include Visiting Senior Lecturer at Queen Mary University of London and Visiting Professor at the National Institute for Informatics (Tokyo). Labs & Teams: Leads LightOn’s R&D initiatives, integrating optics, ML, electronics, and software engineering to tackle AI scalability challenges.

Pierre-Henri Parisمشاهده پروفایل

دانشیار

• Artificial Intelligence
• Knowledge Graphs
• Information Extraction
• +۲ مورد دیگر

Pierre-Henri Paris is an Associate Professor (Maître de Conférences) at Paris-Saclay University since September 2024. Previously, he worked as a Postdoctoral Researcher at Telecom Paris (Institut Polytechnique de Paris) from September 2020 to August 2024. His academic journey includes a PhD in Artificial Intelligence from Sorbonne University and CNAM (Conservatoire National des Arts et Métiers) completed in 2020. Education: PhD in Artificial Intelligence, 2020, Sorbonne University and CNAM M.Sc. in Artificial Intelligence, 2016, CNAM M.Sc. in Mathematics, 2008, CY Cergy Paris University (incomplete) Pierre-Henri Paris's research focuses on the intersection of artificial intelligence, knowledge representation, and natural language processing. His work particularly emphasizes knowledge graphs, entity linking, and data quality. He has made significant contributions to projects like YAGO 4.5, which enhances knowledge bases with cleaner, logically consistent structures, and MAFALDA, a benchmark for fallacy classification. His research often bridges theoretical foundations with practical applications, particularly in how knowledge can be effectively represented, extracted, and utilized in complex systems. His recent publications reveal a strong focus on knowledge graph enhancement, semantic representation, and natural language understanding. The work on YAGO 4.5 demonstrates his commitment to creating more robust knowledge bases, while MAFALDA shows his interest in the intersection of language understanding and logical reasoning. His research trajectory indicates a consistent exploration of how structured knowledge can be integrated with linguistic analysis to create more intelligent systems. Advising: PhD students: Simon Coumes (2022-), Chadi Helwe (2022-2024), François Amat (2022-) Master's students: Syrine El Aoud (2021), Ayoub Mountassir (2013-2015) Bachelor's students: Khalil Halloul (2013-2014) Pierre-Henri Paris is actively involved in teaching at Paris-Saclay University, where he instructs courses including Introduction to Machine Learning, Introduction to Neural Networks, Algorithms for Data Science, Databases, and Data Warehousing. His teaching reflects his research expertise, providing students with both theoretical foundations and practical applications in artificial intelligence and data science.

Pierre Marionمشاهده پروفایل

پژوهشگر

• Deep Learning Theory
• Optimization of Neural Networks
• Generative Models
• +۲ مورد دیگر

Pierre Marion is a Researcher at INRIA Paris, working within the Sierra research team since September 2025. His work focuses on the theoretical foundations of deep learning and he is beginning to explore applications of AI in mathematics. Marion has established collaborations across multiple institutions including EPFL, Sorbonne Université, and Google DeepMind. His educational background includes: Engineering degree from École polytechnique (2015-2018) with specialization in Applied Mathematics Master's degree from Sorbonne Université (2019-2020) PhD from Sorbonne Université (2020-2023) under the supervision of Gérard Biau and Jean-Philippe Vert Postdoctoral research at EPFL (2024) supervised by Lénaïc Chizat Marion's research interests primarily focus on the theory of deep learning, where he investigates the optimization and statistical properties of various neural network architectures. His work spans from shallow networks to complex generative models, with a particular emphasis on understanding the mathematical foundations that govern deep learning performance. Recently, he has begun exploring applications of AI in mathematical research, aiming to bridge the gap between theoretical machine learning and mathematical discovery. His research often combines rigorous theoretical analysis with practical implications for training deep neural networks. Analysis of Marion's recent publications reveals several key trends in his research. He has made significant contributions to understanding the role of large learning rates in optimization dynamics, demonstrating how they can accelerate convergence in logistic regression and prevent memorization in score-based generative models. His work on attention mechanisms has provided theoretical guarantees for their effectiveness in specific tasks like single-location regression and clustering. Additionally, Marion has extensively studied the connections between residual networks and neural ordinary differential equations , establishing generalization bounds and exploring scaling properties in the large-depth regime. His earlier work included contributions to natural language processing and quasi-Monte Carlo methods, reflecting a broad mathematical foundation that informs his current deep learning research. Marion has received several notable scientific awards: Runner-up PhD Award of AFIA (French Association for Artificial Intelligence) in 2024 Google PhD Fellowship in 2022 Ecole polytechnique Grand Prize of Research Internships in 2018 As an advisor, Marion currently supervises PhD student Yu-Han Wu (since 2024), with whom he has co-authored multiple publications on large learning rates and denoising score matching. Previously, he co-supervised several Master's students including Seorim Park, Yerkin Yesbay, and Nathan Doumèche. Marion has been actively involved in the machine learning community through conference organization (NeurIPS@Paris meetups), session chairing (ICSDS 2022), and extensive reviewing activities. He has served as a reviewer for top journals including JASA and Annals of Statistics, and conferences including NeurIPS and ICLR, where he was recognized as a top reviewer at NeurIPS 2023. Marion is a member of the Sierra research team at INRIA Paris, which focuses on machine learning theory and applications. He has also collaborated with researchers at CREST (Center for Research in Economics and Statistics), as evidenced by his participation in seminars organized by Anna Korba and Karim Lounici. His work often bridges theoretical computer science, statistics, and applied mathematics, reflecting the interdisciplinary nature of modern machine learning research.

Kiwon Umمشاهده پروفایل

استادیار

• Physics-based Simulations
• Deep Learning
• Perceptual Evaluation of Simulations
• +۳ مورد دیگر

Kiwon Um is a tenured Assistant Professor in the Computer Graphics group at Télécom Paris, France, since October 2019. He focuses on physics-based simulations and data-driven approaches using deep learning, with an emphasis on human visual perception in computer graphics and engineering applications. Education: Ph.D. in Computer Science and Engineering from Korea University His research explores effective simulation of natural phenomena through refined data utilization and develops reliable data acquisition methods for machine learning. He also investigates perceptual evaluation of simulations to advance numerical method understanding. Recent work trends include: (1) turbulence modeling with machine learning integration, (2) elastic material simulation stability, (3) fluid dynamics optimization, and (4) differentiable physics frameworks. His publications range from 2008 to 2025, covering topics like SPH solvers, porous shell simulations, and numerical method validation.

• Statistics
• Learning Theory
• High-dimensional statistics
• +۴ مورد دیگر

Jaouad Mourtada is an Assistant Professor in the Department of Statistics at ENSAE/CREST, École Nationale de la Statistique et de l'Administration Économique since September 2020. Previously, he was a postdoctoral researcher at the Laboratory for Computational and Statistical Learning at the University of Genoa (2019-2020). He completed his PhD in Statistics at École Polytechnique under the supervision of Stéphane Gaïffas and Erwan Scornet. His educational background includes a Master's degree in Mathematics with specialization in Probability and Random Models (2016), a Master's degree in Fundamental Mathematics (2015), and a Bachelor's degree in Mathematics from Pierre and Marie Curie University and École Normale Supérieure (2013). Dr. Mourtada's research focuses on the intersection of statistics and learning theory, with particular interest in high-dimensional statistics, online learning, and density estimation. His work explores the complexity of prediction and estimation problems through rigorous theoretical analysis. His research spans statistical learning theory, robust statistics, and the theoretical foundations of machine learning algorithms. His publication record since 2017 demonstrates consistent contributions to top-tier venues in statistics and machine learning, with recent work focusing on universal coding, aggregation methods, robust regression, and the theoretical analysis of kernel methods and random forests. His research shows a progression from online learning and expert aggregation to more complex statistical learning problems involving high-dimensional data and model misspecification. He teaches courses including Statistical Learning Theory for Master 2 Data Science students and Probability Theory at ENSAE. His teaching spans theoretical foundations of machine learning and core probability concepts for advanced statistics students.

• Computational Statistics
• Machine Learning
• Monte Carlo Methods
• +۴ مورد دیگر

Alain Durmus is a Professor at École Polytechnique, affiliated with the applied mathematics department (CMAP). His research focuses on computational statistics, machine learning, and stochastic methods, including Monte Carlo algorithms, Bayesian inference, and optimization. He explores topics such as Markov chain Monte Carlo (MCMC), stochastic approximation, and generative models. His work emphasizes theoretical guarantees for algorithms like Langevin Monte Carlo and Hamiltonian Monte Carlo, with applications to high-dimensional Bayesian inference and inverse problems. Key contributions include hypocoercivity analysis of piecewise deterministic MCMC processes, convergence guarantees for stochastic gradient methods, and the development of efficient sampling techniques. He has also contributed to Bayesian imaging and federated learning through works like the QLSD algorithm. Awarded the Best Student Paper Award at ICASSP 2020 for his work on the Sliced-Wasserstein distance. His teaching spans mathematical statistics, stochastic methods, and probability at École Polytechnique and ENS Paris-Saclay. He has also contributed to conferences and workshops on topics ranging from MCMC convergence to optimization in machine learning.

Pierre Alliezمشاهده پروفایل

پژوهشگر

• Geometry Processing
• Computer Graphics
• Computational Geometry
• +۵ مورد دیگر

Pierre Alliez is a Senior Researcher and Team Leader at Inria Sophia Antipolis – Méditerranée, leading the TITANE project-team. He holds roles such as President of the Inria Evaluation Commission and Scientific Coordinator of the Inria-DFKI partnership. His research focuses on Geometry Processing, including mesh compression, surface reconstruction, and optimal transportation. Alliez has authored numerous scientific publications and book chapters, receiving accolades like the Eurographics Young Researcher Award (2005) and ERC grants (IRON, TITANIUM). His academic activities include supervising over 50 PhD students and postdoctoral researchers, and leading projects like GRAPES (Learning and Processing Shapes) and BIM2TWIN (digital twin construction). He has served on editorial boards for Computer Graphics Forum and ACM Transactions on Graphics , and organized major conferences like Pacific Graphics and Eurographics. His work bridges computational geometry, computer graphics, and applied mathematics, with practical applications in 3D printing, cultural heritage, and urban modeling. Education: No specific educational details provided, but has authored a textbook on Polygon Mesh Processing (AK Peters, 2010). Research Interests: Geometry Processing, Mesh Generation, Surface Reconstruction, Optimal Transport, and 3D Data Analysis. Grants & Projects: ANR Pisco, ERC IRON, BIM2TWIN, GRAPES, and collaborations with industries like Dassault Systèmes and Dorea Technology. Labs/Teams: Leads the TITANE team at Inria, contributing to software like CGAL and advancing open-source tools for geometric processing.