Johan Taflin is a Lecturer at the University of Burgundy, affiliated with the Institute of Mathematics of Burgundy (IMB) under the Faculty of Science. His research focuses on complex dynamics in several variables and pluripotential theory, with significant contributions to attracting sets, equidistribution, and moduli spaces of dynamical systems. He has led the ANR DynAtrois project since 2025 and oversees the new Master of Mathematics program launching in 2025. Research Interests: Complex dynamics in projective spaces and several variables Pluripotential theory and its applications Dynamical systems, attractors, and moduli spaces Interdisciplinary links with mathematical physics and algebraic geometry Publications Trends: His work spans complex dynamics, including studies on blenders, postcritically finite maps, and equidistribution toward Green currents. Key subfields include holomorphic endomorphisms, algebraic geometry, and mathematical physics. Leadership: He directs the ANR DynAtrois project (2025–2030) and manages the Dijon Master of Mathematics program, which emphasizes fundamental and applied mathematics with ties to artificial intelligence.
Ronald McGarvey is a Full Professor at IÉSEG School of Management since 2022, with prior roles including Associate Professor with Tenure at the University of Missouri (2013-2022) and Senior Operations Researcher at RAND Corporation (2002-2022). He holds a Ph.D. in Industrial Engineering and Operations Research from Pennsylvania State University and an H.D.R. in Industrial Engineering from the University of Paul Sabatier, France. Education : H.D.R. (2024), Industrial Engineering, University of Paul Sabatier Ph.D. (2002), Industrial Engineering and Operations Research, Pennsylvania State University His research focuses on Operations Research and Robust Optimization applied to diverse domains: Healthcare Logistics : Modeling access disparities in rural obstetric care for American Indian populations Environmental Sustainability : Analyzing biomass energy systems, forest carbon impacts, and waste management frameworks Network Design : Developing optimization models for supply chain resilience, military logistics, and urban transit safety Policy Analysis : Evaluating multi-state environmental collaborations and localized food systems His publications demonstrate strong interdisciplinary applications of mathematical programming and spatial optimization to real-world challenges in healthcare access, energy sustainability, and transportation systems. Key Collaborations : Working with researchers in public health (Thorsen, Noble), environmental science (Aguilar), and engineering (Mirzaee, Gutierrez-Lopez)
Stefano NASINI is an Associate Professor at the University of Lille 3, specializing in Quantitative Methods within the Economics and Mathematics Sciences. He holds a HDR (Habilitation à Diriger des Recherches) from the University of Lille 3 (2021), a Ph.D. in Statistics and Operations Research from the Polytechnic University of Catalonia (2015), and a Master in Statistics (2011). His research focuses on optimization, complex networks, statistical inference, and microeconomic applications. He has held academic positions including a post-doctoral role at IESE Business School (2014–2016) and a visiting researcher role at the University of Lisbon (2014). His work spans scheduling optimization, network analysis, financial contagion modeling, and energy system planning. Key contributions include specialized algorithms for large-scale optimization problems and frameworks for decentralized portfolio management. He is a member of the LEM research group and teaches courses in optimization, econometrics, and social network analysis at the Grande École and MSc levels. Publications highlight interdisciplinary applications, including network-based diffusion models, multi-market financial strategies, and dynamic choice analysis. His research bridges theoretical advancements in operations research with practical challenges in economics, energy, and transportation systems. No scientific awards are explicitly listed in the provided materials. His advising roles and grants are not detailed here, but his extensive publication record reflects active collaboration within academic and applied domains.
Anush Tserunyan is a Professor of Mathematics at McGill University, Canada, and a Visiting Professor at the Unit of Pure and Applied Mathematics (UMPA) at École normale supérieure de Lyon from December 1, 2024, to January 31, 2025. She holds a bachelor's and master's in computer science and applied mathematics from Yerevan State University (2005–2007) and a Ph.D. in Mathematics from UCLA (2013), focusing on finite generators for group actions, equivalence relations, and recursive program complexity. Research Interests: Anush Tserunyan specializes in Ergodic Theory , Combinatorics , and Group Actions , with notable contributions to graph theory, hypergraphs, and Ramsey theory. Her work bridges combinatorial structures with analytic methods, particularly in dynamical systems and descriptive set theory. Collaborations: During her visit to UMPA, she collaborates with teams in Geometry, Groups and Dynamics , and Number Theory , alongside researchers like Benjamin Schraen and Sophie Morel. Her stay includes seminars on GGD, Number Theory, and the 'Actions!' working group. Publications: Her research spans topics like ergodic theorems, disjoint matchings in graphs, and algebraic hypergraphs, reflecting a focus on foundational mathematical structures and their applications.
Mohamed Amara is a full-time Professor at the University of Pau and the Pays de l'Adour (UPPA) since 1996, affiliated with the Laboratory of Mathematics and their Applications (CNRS-UMR 5142). He served as its director (1999-2007), Director of the Doctoral School of Exact Sciences (ED211, 2007-2008), and UPPA's Scientific Council Vice-President (2008-2012). He has been UPPA's President since 2012 (re-elected until 2020). Education: Mathematics from University of Algiers (1973), Pierre and Marie Curie University (DEA 1974, Doctorate 1978, State Doctorate 1983) Academic Roles: Research Associate at Ecole Polytechnique (1978-1982), Algerian Electricity and Gas Company (1983-1992), Professor in Algiers (1988-1994), Tunis (1994-1995), and Associate Professor at Paris 6 (1995-1996) His research focuses on numerical simulation of partial differential equations for environmental/energy applications, including mechanics in porous media (petroleum engineering, geoscience), fluid mechanics (aerodynamics, estuarine hydrodynamics), non-Newtonian flows, and wave propagation. Articles highlight expertise in discontinuous Galerkin methods, Helmholtz problems, finite element discretization, and multiphysics systems. He managed 20 doctoral theses and led national mathematics programs at ANR (2007-2011). He chairs the Cocktail association for higher education IT systems and collaborates with INRIA's Magique 3D team (since 2006).
Joseph Eremondi is an Assistant Professor in the Department of Computer Science at the University of Regina, Faculty of Science, Canada. He began his tenure in 2024 after serving as a Royal Society Newton International Fellow at the University of Edinburgh, where he conducted postdoctoral research with Ohad Kammar in the Laboratory for Foundations of Computer Science. He earned his PhD from the University of British Columbia (UBC) under the supervision of Ron Garcia at the UBC Software Practices Laboratory. His research is centered on programming languages theory, with a strong focus on type systems that enhance software reliability and usability. He is particularly known for his work in dependent types, gradual typing, and the integration of both paradigms. His research interests include: Dependent pattern matching and its semantic foundations Gradual dependent types and approximate normalization Error message generation and usability in dependently typed languages Static analysis using set constraints and SMT solvers Theoretical properties of reversal-bounded counter automata and shuffle operations His recent publications, appearing in premier venues like POPL, ICFP, and CPP, reflect a consistent trajectory toward making advanced type systems more accessible and practical. Key themes include coverage semantics for dependent pattern matching, formal models of gradual dependent typing, and improving the developer experience through better tooling and error diagnostics. Notable scientific recognitions include the NSERC Discovery Grant (awarded in 2025) and the prestigious Royal Society Newton International Fellowship. These awards underscore the impact and promise of his research program on the usability of dependently typed programming languages. Joseph is actively mentoring and recruiting graduate students, particularly in areas such as dependently typed programming (Lean, Agda, Idris, Coq), gradual typing, live programming environments, and static analysis. He emphasizes close collaboration within a small, focused research group. He has also served on program committees, including for TyDe and POPL Artifact Evaluation, demonstrating active engagement in the programming languages community. His work bridges theoretical rigor with practical implementation, evident in his artifact releases on GitHub and integration with tools like Ott and DrRacket. He maintains a personal website and open-source repositories that support reproducibility and community involvement.
Salim ROSTAMI is an Associate Professor at the IÉSEG School of Management in France, specializing in Operations Management. He holds a Ph.D. in Economics and Mathematics Sciences from KU Leuven (2019) and a Master’s in Engineering from KU Leuven (2013), alongside a Bachelor’s in Industrial Engineering from Ferdowsi University of Mashhad (2012). His research focuses on scheduling under uncertainty, project planning, combinatorial optimization, and healthcare logistics. Notable achievements include the 2016 2nd Best Conference Paper Award from the University of Valencia. Education: Ph.D., Economics and Mathematics Sciences, Operations Management, KU Leuven, Belgium (2019) Master, Engineering, Operations Research, KU Leuven, Belgium (2013) Bachelor, Engineering, Industrial Engineering, Ferdowsi University of Mashhad, Iran (2012) His work spans stochastic resource-constrained project scheduling, sequential testing of systems, and chemotherapy appointment scheduling. He has published widely in journals like the European Journal of Operational Research and Flexible Services and Manufacturing Journal. Teaching roles include courses on operations management and project management across undergraduate and graduate programs. Awards: 2016: 2nd Best Conference Paper Award, University of Valencia His research emphasizes practical applications in healthcare and project management, leveraging dynamic programming and metaheuristic algorithms. Collaborations include work with institutions like École des Mines de Saint-Étienne and KU Leuven.
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 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.
Raphaël Beuzart-Plessis is a CNRS Research Fellow affiliated with Aix-Marseille University and the Institute of Mathematics of Marseille (I2M) at Luminy Campus. He specializes in advanced areas of mathematics, including harmonic analysis, automorphic forms, representation theory, and number theory, with a focus on unitary groups and conjectures like Gan-Gross-Prasad. His work bridges algebraic geometry, differential geometry, and operator theory. Arithmetic, Geometry, Logic and Representations Group (AGLR) 2022-2027 ERC RELANTRA grant recipient Research interests span automorphic representations, L-functions, periods of automorphic forms, and harmonic analysis on real spherical spaces. He works extensively on the local and global Gan-Gross-Prasad conjectures, endoscopy, and supercuspidal representations. His recent publications analyze Plancher1el formulas, spherical characters, and congruences of automorphic forms. His 15 most recent publications (2014-2022) address topics such as the Gan-Gross-Prasad conjecture, Jacquet-Rallis's fundamental lemma, and the Asai Rankin-Selberg integrals. These works reflect his expertise in automorphic forms, representation theory, and number theory, often involving collaborations with leading mathematicians. 2016-2017 Peccot Prize for young mathematicians under 30 2022-2027 ERC RELANTRA grant for research in automorphic forms and representation theory Beuzart-Plessis has no listed students or laboratory teams but participates in the AGLR-RGR (Reduction Group Representations) team and has been an invited speaker at the 2022 International Congress of Mathematicians. His career includes guest lectures at Collège de France, including four sessions on Period factorizations and Plancherel formulas in 2017.
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.
Julio Parra-Martinez is a Permanent Professor at the Institut des Hautes Études Scientifiques (IHES) since 2024. Originally from Spain, he completed his undergraduate studies at the University of Valencia, followed by a MASt in Applied Mathematics from the University of Cambridge in 2015, and a PhD in Physics from UCLA in 2020. Prior to joining IHES, he was a Sherman Fairchild Prize Postdoctoral Fellow at Caltech for three years and an Assistant Professor at the University of British Columbia for one year. His educational background includes: Undergraduate: University of Valencia, Spain MASt in Applied Mathematics: University of Cambridge (2015) PhD in Physics: University of California Los Angeles (2020) Parra-Martinez is a theoretical physicist specializing in quantum field theory, scattering amplitudes, gravitation, effective field theories, and string theory. His recent work focuses on importing techniques from particle physics to classical general relativity, with applications to gravitational-wave and black-hole physics. He has made significant contributions to understanding how scattering amplitude techniques, originally developed for particle colliders, can be applied to gravitational systems. His research bridges the gap between quantum field theory and classical gravity, particularly in the context of binary black hole systems and gravitational wave emission. His publication record shows a consistent focus on using scattering amplitude methods to tackle problems in gravitational physics. Over the past five years, he has published extensively on post-Minkowskian expansions, gravitational waveforms, soft theorems, and connections between quantum field theory and classical gravity. His work often involves collaborations with leading researchers in the field and demonstrates how techniques from particle physics can be adapted to gravitational systems, particularly in the context of extreme mass ratio binaries and gravitational wave physics. Among his notable scientific achievements are: Mayhew Prize (2015) Fulbright Fellowship (2015-2020) Sherman Fairchild Prize Postdoctoral Fellowship Parra-Martinez is actively involved in the theoretical physics community, with numerous upcoming seminars, talks, and lectures scheduled through 2026 at institutions worldwide including ICTP Trieste, Universidade de Sao Paulo, University of Southampton, and others. His research program continues to explore the connections between particle physics techniques and gravitational physics, with particular emphasis on gravitational wave astronomy and black hole physics.
Mingsheng Ying is a Distinguished Professor and Research Director of the Centre for Quantum Computation and Intelligent Systems (QCIS) at the Faculty of Engineering and Information Technology, University of Technology Sydney, Australia. He also holds the position of Cheung Kong Professor at the State Key Laboratory of Intelligent Technology and Systems, Department of Computer Science and Technology, Tsinghua University, Beijing, China. Professor Ying graduated from the Department of Mathematics, Fuzhou Teachers College, Jiangxi, China, in 1981. His primary research interests span quantum computation (particularly quantum programming and model-checking quantum systems), programming theory and formal methods, and the foundations of artificial intelligence (focusing on logic and uncertainty). As an author of the books "Foundations of Quantum Programming" (Elsevier - Morgan Kaufmann 2016) and "Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs" (Springer-Verlag, 2001), he has published over 100 papers in top international journals and conferences. His recent research publications demonstrate a strong focus on quantum programming languages, verification techniques for quantum systems, and the theoretical foundations of quantum computation. The trend in his work shows increasing emphasis on formal verification methods for quantum systems, particularly model-checking techniques for quantum Markov chains and quantum processes. His research bridges theoretical computer science with quantum information theory, creating frameworks for reliable quantum software development. Editorial Board, Artificial Intelligence, Elsevier, Amsterdam Editorial Board, Fuzzy Sets and Systems, Elsevier, Amsterdam Vice President, International Fuzzy Systems Association (elected in 2005) Program Chair, IFSA 2005, World Congress of International Fuzzy Systems Association Chairman, Chinese Association of Fuzzy Systems and Mathematics Professor Ying has secured significant research funding including multiple Australian Research Council Discovery Projects such as "Model-checking quantum Markov chains: towards verification techniques for quantum cryptographic systems" (2013-2015) and "Process algebra approach to distributed quantum computation and secure quantum communication" (2011-2013). His work has also received funding from the National Natural Science Foundation of China and Tsinghua University. At QCIS, he leads research in quantum software theory and methodology, with applications in quantum cryptography and secure communication.
Marion Gaspard is a Lecturer in Economics at Lumière Lyon 2 University, specializing in the history of economic thought and mathematical economics. She holds leadership roles, including Co-Director of the Master's Degree in Economic and Social Sciences (Université Lyon 2-ENS de Lyon) and Director of Studies for programs such as the M1 'Theories and History of Economics in Society.' Her research focuses on the history of inter-temporal choice models, the mathematization of economics, and the contributions of figures like Harold Hotelling and Frank Ramsey. She is affiliated with the Triangle Laboratory (UMR 5206) and contributes to editorial boards and academic committees. Notable publications include analysis of Hotelling’s economic theories and their implications for climate and resource economics. Her work bridges historical analysis with contemporary challenges, emphasizing the ethical dimensions of resource allocation and the role of mathematics in economic discourse. She has participated in media discussions, including a France Culture interview on Hotelling’s contributions. Her academic service includes roles on institutional committees and international collaborations, such as a Bachelor program in Phnom Penh.
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).
