Soufiane Kherrazi is a Researcher-Lecturer at CESI (CESI LINEACT research group), based in Rouen, France. He holds a French qualification as Maître de Conférences (Associate Professor) from the National Council of Universities (CNU06, 2021) and a PhD in Management Science from Paris-Saclay University (2020). His academic background includes advanced studies in Business Intelligence (University of Angers, 2016) and Business Management (Kénitra, Morocco, 2015). His research focuses on Innovation , Digital Transformation , and Change Management . He leads projects like the ID4C initiative (exploring individual drivers for change) and contributed to the A3L program on Augmented Law. He actively participates in EURAM , AoM , and AIMS conferences, serving on scientific committees and as a reviewer for journals like Innovations and Management Decision . Recent work emphasizes governance challenges in EU-sponsored R&D consortia and strategic alignment in legal functions. His 2023 publications analyze perceptual drivers of change readiness and R&D governance structures, while 2025 preprints explore digital transformation frameworks and open social innovation. As a former research director at EDHEC’s Augmented Law Institute, he bridges academic research with professional practice, contributing to Harvard Business Review France and Corporate Lawyer Magazine . He oversees student internships in innovation, intellectual property, and organizational sociology.
Messaoud Chibane is an Assistant Professor in Finance at NEOMA Business School and Director of the MSc Finance & Big Data program. His research focuses on asset valuation, macro-finance linkages, sustainable finance, and cryptocurrencies. He holds a PhD in Finance from EDHEC Business School, a DEA in Applied Economics from Université Paris-La Sorbonne, and engineering degree from École Centrale Paris. Prior to academia, he spent 18 years as a quantitative analyst at international investment banks. His research spans topics such as cryptocurrency behavior during geopolitical events, housing market disasters' impact on asset prices, and ESG investment strategies under rating uncertainty. Notable publications include Finance Research Letters , Economic Modelling , and Risk Magazine . He actively engages in academic conferences, presenting at venues like the Southern Economic Association and the International Finance and Banking Society. Chibane's work bridges theoretical finance with practical applications, leveraging both academic and industry expertise. His recent articles highlight trends in quantifying Bitcoin's safe-haven properties and modeling rare disaster effects on financial markets.
Yassine Lakhnech is a Professor at the University Joseph Fourier (Grenoble 1), leading the 'Distributed and Complex Systems' research team within the VERIMAG laboratory. His work focuses on computer security, cryptography, formal verification, and programming language semantics. He has been actively involved in coordinating major interdisciplinary research initiatives like the PERSYVAL-lab, which addresses cyber-physical systems (CPS) challenges. His research bridges computational and formal approaches, with contributions to cryptographic protocol analysis, information flow control, and automated theorem proving. Key projects include the development of tools like HERMES for cryptographic protocol verification and involvement in ANR-funded projects such as Verso, PROSE, and AVOTE. He has also organized international conferences and workshops, including the Canada-France MITACS Workshop on Foundations & Practice of Security and the Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign. His publications span over 147 papers, with an h-index of 25 and g-index of 42, reflecting significant contributions to formal methods, security protocols, and hybrid systems. Despite his role as Vice President of Research, he maintains active scientific productivity, emphasizing the integration of theoretical and practical advancements in CPS and security.
Yao Li is an Assistant Professor of Computer Science at Portland State University, specializing in Programming Languages, Formal Verification, and Dependent Types. They earned a Ph.D. in Computer and Information Science from the University of Pennsylvania (2022), supervised by Stephanie Weirich, and hold a Master’s and Bachelor’s in Software Engineering from Shanghai Jiao Tong University (2016, 2013) under Zhengwei Qi. Ph.D., Computer and Information Science, University of Pennsylvania (2022) M.S., Software Engineering, Shanghai Jiao Tong University (2016) B.S., Software Engineering, Shanghai Jiao Tong University (2013) Their research focuses on formal verification of functional programming languages, particularly Haskell, and mechanized proofs using tools like Coq. They work on specifying and verifying networked servers, lazy program cost analysis, and embedded systems through program adverbs and Tlön embeddings. Recent publications (2018-2025) demonstrate expertise in Haskell verification, formal methods, and interaction trees. Key trends include bridging the gap between mechanized formalization and real-world code, advancing lazy evaluation semantics, and enhancing software verification through dependent types. Yao Li actively participates in academic service as a committee member and session chair in conferences like POPL, ICFP, and PLDI, contributing to artifact evaluation, program organization, and student research competitions.
Hanjun Kim is a researcher at Yonsei University, focusing on compiler design, machine learning optimization, and hardware-aware programming techniques. His work bridges theoretical research with practical implementations in embedded systems and security domains. Research Interests Compiler-driven optimization for PIM (Processing-in-Memory) architectures Homomorphic encryption compiler design Parallel computing for DNN/LLM inference Network function program analysis Recent research trends include: application of compiler techniques to optimize resource utilization in heterogeneous computing environments, particularly for AI workloads and secure computation. His publications demonstrate expertise in tackling performance bottlenecks through architectural and compiler co-design. Conference Service 2025 SPLASH OOPSLA Review Committee 2025 LCTES Program Committee 2024 CGO Program Committee 2023 LCTES Program Committee 2022 CGO Organization Committee 2020 LCTES Program Committee
Jeanne Crassous is a CNRS Research Director at the Institut des Sciences Chimiques de Rennes , University of Rennes, France. She holds a prominent position in the field of chiral molecular materials, with a focus on helicenes and their applications in optoelectronics and fundamental chirality studies. Position: CNRS Director of Research (DR1) Institution: University of Rennes, Institut des Sciences Chimiques de Rennes (ISCR) Email: jeanne.crassous@univ-rennes.fr Office: 236, Building 10A, Campus de Beaulieu, Rennes Education PhD in Organic Chemistry, École Normale Supérieure de Lyon (1996) Research Habilitation, École Normale Supérieure de Lyon (2005) Post-doctoral Research, ETH Zurich (1997) Student, École Normale Supérieure de Lyon (1989) Research Interests Dr. Crassous specializes in the molecular engineering of helicenes , including organic and organometallic variants with chromophores or aggregating units. Her work explores chiroptics and fundamental chirality , with a focus on chiral organometallic complexes and vibrational circular dichroism (VCD) . She investigates how molecular chirality influences optical, electronic, and spin properties, enabling applications in advanced materials and quantum technologies. Publication Trends Her recent publications (2016–2023) reflect a strong focus on chiral luminescent materials , circularly polarized luminescence (CPL) , and chiral-induced spin selectivity (CISS) . She integrates synthesis, spectroscopy, and computational modeling (TDDFT) to design and characterize novel helicene-based systems for optoelectronics, spintronics, and parity violation experiments. Scientific Awards CNRS Silver Medal (2023) Distinguished Member of the French Chemical Society, senior category (2023) CNRS Talent (2023) Chemistry Europe Fellow (2020/2021) National Prize of the Organic Chemistry Division (SCF, 2020) Elected Member of the European Academy of Sciences (2021) Victor Grignard–Georg Witting Lecture Award (GDCh/SCF, 2024) Advising, Grants, and Collaborations Dr. Crassous leads and collaborates on numerous national and international research projects, including ANR-funded programs such as SMM-CPL, ChirON, and iCHIRALight. She mentors early-career researchers and collaborates with leading experts in France (ENS Lyon, Strasbourg, Angers) and abroad (USA, UK, Spain, Israel, Poland, Netherlands, Greece). Her work bridges organic, inorganic, and physical chemistry, fostering interdisciplinary innovation. Laboratories and Research Teams She is based at the Institut des Sciences Chimiques de Rennes (ISCR) , a leading French research institute in chemistry. Her team works within the Organométalliques et Catalyse (OMC) and Physique de la Matière Molle (PMM) groups, focusing on the synthesis and characterization of chiral molecular systems. The ISCR provides state-of-the-art facilities for spectroscopy, crystallography, and materials testing, supporting her cutting-edge research in chiral functional materials.
Natasa Danelciuc-Colodrovschi is a Lecturer and Deputy Director of the Louis Favoreu Institute (ILF-GERJC) at Aix-Marseille University's Faculty of Law and Political Science. She specializes in constitutional law with a focus on post-Soviet countries, European and international human rights law, and the processes of state reconstruction and democratization. Her academic work examines the crisis of democracy and the rule of law in contemporary political contexts. Her research interests span constitutional law (institutional, normative, and substantive aspects), Constitutional Law of Post-Soviet Countries, European and international human rights law, Law of State reconstruction/democratization processes and democratic consolidation, and the Crisis of democracy and the rule of law. She has developed expertise in analyzing how constitutional courts function in Eastern European countries, particularly in relation to democratic transitions and challenges to the rule of law. Dr. Danelciuc-Colodrovschi's recent publications (2023-2025) demonstrate a strong focus on contemporary political challenges in Eastern Europe, particularly regarding elections, democratic backsliding, and European integration. Her work frequently analyzes Moldovan and Romanian constitutional developments, the role of the European Court of Human Rights, and the challenges faced by countries seeking EU membership. She has published extensively in French, Romanian, and English across various formats including journal articles, book chapters, and conference proceedings. Her teaching portfolio includes Constitutional litigation law, General theory of fundamental freedoms, Litigation protection in European law, and European Union Law across various degree programs at Aix-Marseille University.
Jean Auriol is a researcher affiliated with the Signals and Systems Laboratory , focusing on advanced control theory and partial differential equations (PDEs). His work spans robustness, hyperbolic systems, and infinite-dimensional systems, often addressing real-world applications in engineering and physics. Research Interests: PDEs and Control Theory Robustness in Dynamical Systems Hyperbolic Systems and Networked Control Stochastic and Delayed Systems Recent Publications: Stability analysis of triangular hyperbolic systems Smart traffic management for autonomous vehicles Stochastic hyperbolic PDE stabilization Minimum time control of coupled PDEs Neural network-based parameter estimation for drilling systems
Abdelhafid Bendahmane serves as Research Director and Deputy Director of the Institute of Plant Sciences-Paris Saclay (IPS2) at the National Research Institute for Agriculture, Food and Environment (INRAE). His distinguished career spans over two decades at INRAE, where he has established international expertise in plant genomics and breeding, particularly focusing on cucurbits like melons and cucumbers. Bendahmane earned his PhD in Plant Biology from the University of East Anglia, Norwich (UK) in 1996, following a DEA in Plant Pathology from University Paris XI. His early research included work at The Sainsbury Laboratory in Norwich before joining INRAE in 1999 as a Researcher, where he was promoted to Research Director in 2005. His research centers on the molecular mechanisms of plant sex determination and floral development, with groundbreaking work on identifying sex determination genes in cucurbits. Bendahmane's research bridges fundamental science and practical applications, aiming to improve crop yields through better understanding of plant-pollinator interactions and plant genetics. His current ERC-funded projects include NectarGland (improving flower attractiveness for pollinators) and HybridSeed (using sex determination genes for hybrid seed production). Analysis of Bendahmane's publication record reveals a consistent trajectory from fundamental discoveries about sex determination mechanisms to applied research addressing agricultural challenges. His work demonstrates sophisticated integration of genomic and post-genomic approaches to identify agronomically important genes, with significant emphasis on translating basic research into practical solutions for sustainable agriculture. ERC Advanced Grant (2013) - €2.5 million for SexyPart project ERC Advanced Grant (2023) - €2.5 million ERC Proof of Concept Grant (2023) - €150,000 Gold Medal, French Academy of Agriculture (2022) INRAE Scientific Challenge Laurel (2018) Georges Morel Prize, Academy of Sciences (2014) As Deputy Director of IPS2, Bendahmane oversees a major plant science research institute while leading a productive research program. His work has resulted in approximately 20 cloned agronomically important genes, eight patents, and numerous international collaborations. He is particularly focused on addressing food security challenges through understanding plant-pollinator relationships, recognizing that 35% of human food depends on insect pollination and 90% of flowering plants require insects for reproduction.
Frédéric Chédin is a Professor in the Department of Molecular and Cellular Biology at the University of California Davis, College of Biological Sciences. He has held continuous faculty positions at UC Davis since 2004, progressing from Assistant Professor (2004-2010) to Associate Professor (2010-2015), and currently serving as full Professor (2015-present). His research focuses on R-loop biology, DNA methylation, and epigenetic regulation. Chédin's laboratory investigates how RNA:DNA hybrids form, persist, and impact genome stability, with particular emphasis on their roles in transcription, chromatin organization, and disease mechanisms. His work has established foundational methodologies for R-loop detection and mapping, including critical assessments of common techniques like the S9.6 antibody. Chédin's publication record demonstrates consistent leadership in R-loop research, with numerous high-impact papers in journals like PNAS , Nature Communications , and Molecular Cell . His recent work explores protein-mediated R-loop stabilization, R-loop classification systems, and connections between R-loops and topological stress management. Director of NIH T32 Predoctoral Training Program in MCB (2020-present) Co-Director of NIH T32 Program (2019-2020) Chair of Integrative Genetics and Genomics (2015-2019) His laboratory trains numerous graduate students and postdoctoral researchers, with frequent collaborators including Stella Hartono and Lionel Sanz appearing as first authors on key publications. Chédin maintains active service roles in graduate education and program leadership at UC Davis.
Elise MARESCAUX is a Full Professor and Dean for Faculty at IÉSEG School of Management in France, specializing in Human Resource Management (HRM). She holds a Ph.D. and Master's in Business Economics from KU Leuven. Her research focuses on HR differentiation, idiosyncratic deals (i-deals), talent management, and organizational behavior. She has held leadership roles, including Head of the Department of 'People, Organizations and Negotiation' and Track Coordinator for Human Resource Management. Her work bridges HR practices with employee outcomes, emphasizing developmental HRM, leadership, and work-family dynamics. Education: Ph.D., Business Economics, KU Leuven (2013) Master of Science, Business Economics, KU Leuven (2008) Bachelor in Business Economics, KU Leuven (2007) Research Interests: Elise’s work explores how HR practices impact employee well-being, performance, and organizational outcomes. Key themes include: Idiosyncratic deals and their effects on co-workers and employees Talent management strategies and their ethical implications Developmental HRM practices and leadership roles Work-family balance and organizational culture High performance work practices and innovation Publications & Awards: Her research has been recognized with the 2014 Emerald/EFMD Outstanding Doctoral Research Award and the 2008 Acerta Best Paper Award. Recent articles examine i-deals, elite workforce dynamics, and cross-cultural leadership, reflecting her focus on practical HR challenges. Teaching & Leadership: Elise teaches courses on HRM, talent management, and research methodology. As Dean, she oversees faculty development and academic programs. She co-authored chapters on talent management in Routledge’s companion series and contributed to theoretical frameworks in HR differentiation. Labs & Teams: Her work often involves interdisciplinary collaborations, particularly with colleagues at KU Leuven and IÉSEG, focusing on organizational behavior and HRM systems.
Professor Damien Stehlé is a faculty member at École Normale Supérieure de Lyon (ENS Lyon), where he is part of the AriC team within the Laboratoire de l'Informatique du Parallélisme (LIP). He is also a distinguished member of the Institut Universitaire de France. His research and teaching activities focus on cryptography, computational number theory, and computer algebra, with particular emphasis on lattice-based cryptographic systems. Stehlé's research primarily centers on the computational aspects of Euclidean lattices and their applications in cryptography. He has made significant contributions to lattice-based cryptography, particularly in the context of post-quantum cryptography. His work addresses fundamental questions about the hardness of lattice problems, algorithmic improvements for lattice reduction, and the development of practical cryptographic schemes based on lattice assumptions. He has been actively involved in the NIST post-quantum cryptography standardization process, contributing to the analysis of lattice-based candidates like Kyber and Saber. His publications span theoretical foundations to practical implementations, demonstrating a rare ability to bridge abstract mathematics with real-world cryptographic applications. Throughout his career, Stehlé has published extensively in top-tier cryptography and theoretical computer science venues. His research has been recognized with multiple best paper awards for groundbreaking contributions to the field. Best paper award at ASIACRYPT 2021 for 'On the hardness of the NTRU problem' Best paper award at ASIACRYPT 2015 for 'Improved security proofs in lattice-based cryptography' Best paper award at EUROCRYPT 2015 for 'Cryptanalysis of the Multilinear Map over the Integers' Professor Stehlé has supervised numerous PhD students over the years, often collaborating with other leading researchers in the field. He serves on program committees of major cryptography conferences and is a member of editorial boards for prestigious journals including the Journal of Cryptology and Designs, Codes and Cryptography. His research group at LIP's AriC team is recognized as a leading center for lattice-based cryptography research in Europe.
Federico Pigni serves as Dean of Faculty, Pedagogy, and Research at Grenoble Ecole de Management (GEM), where he holds a full Professorship in Information Systems within the Management of Technology and Strategy department. His academic journey includes a cum laude Business Administration degree and a Ph.D. in Management Information Systems and Supply Chain Management. He has held teaching roles at institutions including Carlo Cattaneo University, the Catholic University of Milan, and Università Commerciale Luigi Bocconi in Milan. Beyond academia, Pigni co-founded Lab4Consulting (2000–2006), a web and software consultancy focused on IT innovation in banking, and completed a post-doctorate at France Télécom R&D in Sophia Antipolis, developing inter-organizational ICT adoption methodologies. His research focuses on strategic applications of information systems, particularly in interorganizational contexts and digital technologies for customer service innovation. Notable projects include the EU-funded EpilepsyPOWER initiative promoting workplace inclusion for epilepsy patients, and the TRIPBAM project leveraging digital data streams for pandemic resilience. His work spans digital transformation frameworks, cybersecurity investments, and big data analytics' impact on competitive advantage. He has authored over 100 publications, including seminal works on IT ambiguity, DevOps frameworks, and supply chain digitalization. Pigni has led collaborative initiatives like the ECOLEAD network supporting SMEs' interorganizational systems and contributed to projects such as the SOLMED solar energy desalination initiative. His expertise bridges academic research with industry practice, emphasizing real-world applications of emerging technologies to drive organizational value creation and societal impact.
Sylvain Conchon is a Professor at Université Paris-Saclay, affiliated with the Laboratoire Méthodes Formelles (LMF, UMR 9021) and the Toccata research team, a joint project with INRIA Saclay – Île-de-France. His work lies at the intersection of formal methods, automated reasoning, and software verification. Research Interests: His primary research areas include SMT solving, automated deduction, program verification, model checking for parameterized systems, and information flow analysis. He develops theoretical foundations and practical tools to ensure software correctness, particularly in safety-critical and concurrent systems. Publications and Tools: His recent work centers on projects like BPI IDemo ARGOS (2024) and PEPR Secureval (2022), focusing on industrial software verification and cybersecurity. He is the main developer of Alt-Ergo , an SMT-based theorem prover, and Cubicle , a model checker for parameterized systems. His publications span formal methods, logic in computer science, and static analysis, with a strong emphasis on tool building and application. Scientific Awards: Advising and Grants: He has advised several PhD students including Guillaume Girol, Alain Mebsout, and Mohamed Iguernelala. He has led and participated in numerous research projects funded by ANR, FUI, PEPR, and industrial partners, demonstrating sustained grant success in formal methods and verification. Labs and Teams: He is a core member of the Toccata team at INRIA Saclay and the LMF laboratory, where he collaborates on advancing the state-of-the-art in deductive program verification and automated reasoning.
Amin Timany is an Associate Professor in the Department of Computer Science at Aarhus University, Denmark, where he conducts research in programming languages, type theory, and formal verification. He is a member of the Logic and Semantics Group and actively contributes to the development of logical relations, separation logic, and proof assistants such as Coq and Iris. He holds a PhD in Computer Science from KU Leuven (2018) and was previously a postdoctoral fellow with FWO at KU Leuven. His research focuses on mechanized semantics, program equivalence, concurrency, and distributed systems verification. He is particularly known for solving the long-standing problem of proving encapsulation in the ST monad using logical relations. His recent publications span top-tier venues including POPL, ICFP, PLDI, and CPP, with key contributions in guarded interaction trees, higher-order separation logic (e.g., Trillium), and modular verification of CRDTs and virtual machines. His work emphasizes formalization and mechanization in Coq, often within the Iris framework. He has served on numerous program committees and has chaired conferences such as CPP and sessions at CoqPL. Notably, his paper 'Modular Denotational Semantics for Effects with Guarded Interaction Trees' received a Distinguished Paper Award at POPL 2024. PhD, KU Leuven, 2018 MSc, TU Dresden, 2013 He teaches courses such as Compilation, Program Logics, and Advanced Topics in Programming Language Theory. He collaborates extensively with researchers like Lars Birkedal, Robbert Krebbers, and Derek Dreyer, and mentors students in formal methods and PL theory.
