فیلترهای فعال:

جستجوی استاد راهنمای دانشگاهی

برای مسیر پژوهشی‌تان، استاد راهنما، استاد دانشگاه و پژوهشگر مناسب را پیدا کنید و با آن‌ها ارتباط بگیرید.

نمایش ۱۶-۳۰ از ۸۵۲ استاد راهنما

اطلاعات پروفایل‌ها از صفحات عمومی دانشگاه‌ها گرفته شده و ممکن است به‌روز نباشد.

Andrzej Murawskiمشاهده پروفایل

استاد

InriaFrance

Andrzej Murawski is a Professor of Computer Science at the University of Oxford and a Tutorial Fellow at Worcester College . His research focuses on the semantics of programming languages and software verification, with applications in automata theory, probabilistic computation, and concurrency. Current affiliations: University of Oxford, SIGLOG Vice-Chair, FoSSaCS Steering Committee Research interests: Game semantics, higher-order recursion, probabilistic systems, differential privacy Recent publications address probabilistic verification, equivalence checking, and game semantics for concurrent systems. He has chaired program committees for conferences such as ESOP and PERR, and his work has earned recognition like the POPL 2025 Distinguished Paper Award . Current students : Benedict Bunting, Haoxuan Yin Past students : Conrad Cotton-Barratt, David Hopkins, Guanyan Li, Dominik Wagner, Fabian Zaiser

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

Sophie Lanoneمشاهده پروفایل

پژوهشگر

Mondor Institute of Biomedical ResearchFrance

Sophie Lanone is a researcher and team leader of the Genetic-environment Interactions in COPD, Cystic Fibrosis, and Respiratory Pathologies (GEIC2O) team at the Mondor Institute of Biomedical Research (IMRB), affiliated with Université Paris-Est Créteil. Her work focuses on understanding the interplay between genetic and environmental factors in respiratory diseases, particularly COPD, cystic fibrosis, and surfactant-related pathologies. She leads a multidisciplinary team of clinicians and scientists investigating molecular mechanisms, inflammation resolution, and environmental impacts on pulmonary health. Key research themes include the molecular basis of cigarette smoke-induced COPD, genetic and cellular aspects of cystic fibrosis, and the role of specialized pro-resolving mediators in disease. Funding sources include EU programs (e.g., H2020 REMEDIA), ANR, and patient associations like Vaincre la Mucoviscidose. Recent advances include identifying lipid mediator defects in CF patients and demonstrating resolvin E1’s efficacy in correcting ciliary dysfunction. Team members have received awards, such as Khadeeja Adam Sy’s 2024 prize for active participation in CF research. Collaborations span in vitro/ex vivo models, patient cohort studies, and translational approaches toward personalized therapies. The team also explores environmental exposures (e.g., asbestos, nanoparticles) and their long-term respiratory health impacts.

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

Éric Tanterمشاهده پروفایل

استاد

InriaFrance

Éric Tanter is a Full Professor in the Computer Science Department (DCC) at the University of Chile, where he also leads the PLEIAD Lab. He holds an Inria International Chair (2025–2029) and is an Associate Researcher at the Millenium Institute for Foundational Research on Data (IMFD). His academic leadership includes prior roles as Director and Deputy Director of the DCC, and Coordinator of the PhD Program in Computer Science. His research centers on programming languages and software engineering, with a strong focus on gradual typing, type systems, program verification, and secure programming. He explores both theoretical foundations and empirical practices, aiming to bridge the gap between static and dynamic language paradigms. His recent work emphasizes gradual verification, refinement types, and applications in proof assistants and security. The trends in his recent publications show a deep engagement with foundational aspects of gradual and dependent typing, often aiming to enhance the reliability and security of software systems. These works frequently involve formalization in proof assistants like Coq and explore applications in differential privacy, secure interoperability, and symbolic execution. Inria International Chair (2025–2030) Best Paper Awards at POPL 2019, OOPSLA 2018, ICFP 2018, MSR 2011, AOSD 2010, SBLP 2008, DAIS 2006 Most Influential/Most Notable Paper Awards at DLS, Programming, DLS Facebook Research Testing and Verification Award (2018) Google Faculty Research Awards (2015, 2016) Best Professor Award, University of Chile (2011) Éric Tanter has advised numerous PhD and Master’s students, many of whom have gone on to publish influential work in top venues. He has led multiple research projects funded by FONDECYT, ANID, INRIA, and other national and international agencies. His service includes editorial roles in journals such as the Journal of Functional Programming and Science of Computer Programming, and extensive participation in program committees of major conferences like POPL, ICFP, and OOPSLA. He leads the PLEIAD Lab at the University of Chile, a research group focused on programming languages, software engineering, and formal methods. The lab fosters collaboration with international institutions and emphasizes both theoretical rigor and practical impact.

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

Geoffroy Couteauمشاهده پروفایل

پژوهشگر

InriaFrance

Geoffroy Couteau is a CNRS research scientist at IRIF (Institut de Recherche en Informatique Fondamentale), Université Paris Cité, where he conducts research in theoretical and applied cryptography. He obtained his PhD from École Normale Supérieure de Paris in 2017 under the supervision of David Pointcheval and Hoeteck Wee, followed by a postdoctoral position at Karlsruhe Institute of Technology (KIT) from 2017 to 2019. His primary research interests include secure multiparty computation, zero-knowledge proofs, and the theoretical foundations of cryptography, with a particular emphasis on pseudorandom correlation generators and efficiency improvements in cryptographic protocols. He has made significant contributions to fine-grained cryptography, non-interactive zero-knowledge proofs, and post-quantum secure computation. The recent publications reflect a strong trend toward foundational advances in secure computation, with increasing focus on efficiency, practicality, and connections to complexity theory and learning theory. His work often bridges theoretical hardness assumptions with practical protocol design. ERC Starting Grant (2023) for project OBELiSC (Overcoming Barriers and Efficiency Limitations in Secure Computation) Geoffroy Couteau has advised numerous PhD and master’s students, including Dung Bui, Clément Ducros, Eliana Carozza, and Ulysse Léchine. He has also hosted many visiting students and postdocs, fostering a vibrant research group. He has served on the program committees of major conferences such as EUROCRYPT, CRYPTO, TCC, and PKC. He is currently leading research in cryptography at IRIF and is involved in postdoctoral hiring for projects in advanced cryptographic primitives. He maintains a research blog and resource collection for students, including LaTeX templates, a probability cheat sheet, and curated answers to common cryptography questions.

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

Adam Baczkoمشاهده پروفایل

پژوهشگر ارشد

Sciences PoFrance

Adam Baczko is a Research Fellow at CNRS (Centre National de la Recherche Scientifique) affiliated with Sciences Po's Center for International Studies (CERI) in Paris. His work focuses on the formation of legal institutions by armed movements in contexts of armed conflict, with particular expertise on Afghanistan and Syria. Baczko has conducted extensive fieldwork in conflict zones across Afghanistan, Syria, Iraq, and the Democratic Republic of Congo, examining how non-state actors establish judicial systems during civil wars. His research interests include the sociology of civil wars, Taliban tribunals in Afghanistan, armed conflict in Syria, and Western military interventions. Baczko approaches these topics through a comparative lens, analyzing how legal institutions function in multiple conflict settings to identify patterns and variations in how armed movements establish governance structures. His fieldwork methodology emphasizes direct observation and interviews in dangerous environments, which he argues provides epistemological privilege over desk-based research on conflict zones. Baczko's publications reveal a consistent focus on how legal systems operate in civil wars, particularly examining the Taliban's judicial apparatus in Afghanistan as a case study of how armed movements use law as a strategic tool. His work demonstrates how the Taliban's courts contributed to their eventual victory by providing accessible, reliable justice that contrasted with the failures of the Western-backed government system. His comparative approach extends to Syria, where he has documented similar dynamics of competing legal orders. Order, Conflict and Violence Fellow at Yale University Visiting Fellow at the Institut für die Wissenschaften vom Menchen (IWM) Trajectories of Change Fellow at the Zeit-Stiftung Ebelin und Gerd Bucerius Baczko has been actively involved in the ERC program 'Social Dynamics of Civil Wars' since 2016, working under Gilles Dorronsoro at the University of Paris 1 Panthéon-Sorbonne. His multilingual capabilities (French, English, Spanish, Polish) facilitate his comparative research across multiple conflict zones. He has been a vocal advocate for the importance of fieldwork in conflict zones despite security challenges, arguing that direct observation provides irreplaceable insights into how civil wars function.

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

Samuel Herrmannمشاهده پروفایل

استاد

University of BurgundyFrance

Samuel Herrmann is a Professor of Applied Mathematics at the University of Burgundy, France. He is a member of the Statistics, Probability, Optimization and Control team and an external member of the TOSCA project team at INRIA. His research focuses on stochastic processes, particularly asymptotic analysis of non-linear stochastic processes, large deviations, and stochastic resonance phenomena, with applications in climatology, biology, and financial modeling. Education: PhD in Mathematics (2001) - University of Burgundy Habilitation (2009) - Asymptotic analysis related to stochastic processes Research Interests: Stochastic differential equations and their numerical simulation Large deviation phenomena in stochastic processes Self-stabilizing diffusions and stochastic resonance First-passage and exit time problems for diffusions Applications in climatology, biology, and finance Scientific Contributions: Professor Herrmann has published extensively on stochastic processes, with over 50 peer-reviewed articles and a monograph on stochastic resonance. His work includes exact simulation methods for diffusion processes, studies on self-stabilizing systems, and theoretical contributions to large deviations theory. He has collaborated with leading researchers such as Peter Imkeller and David Peithmann. Awards and Recognition: Contributed to the encyclopedia of mathematical physics Co-authored the book "Stochastic Resonance: A Mathematical Approach in the Small Noise Limit" (2014) Teaching and Supervision: He teaches courses on stochastic processes and their simulation at both undergraduate and master's levels, including the Master in Turin program. He has supervised numerous PhD and master's students in stochastic processes and related fields.

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

Hugo Paquetمشاهده پروفایل

پژوهشگر

InriaFrance

Hugo Paquet is a Researcher at INRIA Paris and a member of the ANTIQUE team at École Normale Supérieure , PSL University. He completed a PhD in Computer Science (2015–2019) at the University of Cambridge under Glynn Winskel , focusing on concurrent game semantics for probabilistic programming. His postdoctoral work includes positions at LIPN, Paris (2022–2024, funded by a Marie Skłodowska-Curie Award) and University of Oxford (2020–2022). He has contributed to conferences including LICS , ESOP , FSCD , and POPL . Education : PhD in Computer Science (University of Cambridge, 2019) Research Interests : Probabilistic programming (semantics, inference algorithms, nonparametric models), categorical semantics (game semantics, concurrency models, adjunctions), combinatorial species, and 2-dimensional categories. Teaching : Category Theory (2023–2024), Bayesian Statistical Probabilistic Programming (2021–2022), Lambda-calculus and Types (2020–2021), and small-group teaching at Cambridge (Logic, Discrete Mathematics, Semantics). Awards : Marie Skłodowska-Curie Award under the Paris Region Fellowship Programme Labs : INRIA Paris, ANTIQUE team (2024–present)

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

Nofar Carmeliمشاهده پروفایل

پژوهشگر

École Normale SupérieureFrance

Nofar Carmeli is a researcher at Inria , affiliated with the Boreal joint project-team (LIRMM, Inria, University of Montpellier, CNRS) in Montpellier, France. Her work focuses on theoretical aspects of database query optimization, particularly through the lenses of fine-grained complexity and enumeration complexity. PhD from Technion (2015-2020), advised by Prof. Benny Kimelfeld Postdoctoral Researcher at ENS Paris (2021-2022) and Inria's Valda project-team Holds the Schmidt Postdoctoral Award (2021-2022) Her research explores optimal algorithms for database query answering, including direct access to ranked answers, quantile computation, and handling of conjunctive queries with self-joins or negation. She investigates how structural properties of queries and data constraints like functional dependencies affect computational complexity. Key contributions include: Establishing tractability boundaries for direct access to conjunctive queries Developing efficient algorithms for minimal triangulation enumeration Advancing probabilistic database representations for infinite domains Creating explainable opinion graph frameworks for review summarization Scientific awards: Google PhD Fellowship (2019) Schmidt Postdoctoral Award (2021-2022) PODS Best Student Paper (2019) She has served on program committees for STACS (2025), PODS (2023-2025), and ICDT (2022-2024), and contributed to open-access research dissemination through Arxiv and dblp.

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

Marie-Florence THOMASمشاهده پروفایل

استاد

School for Advanced Studies in Public HealthFrance

Marie-Florence THOMAS is a Professor at the School of Public Health, affiliated with the LERES Laboratory for Study and Research in Environment and Health, UMR 1085 IRSET, and the Observatory of the Environment and Sustainable Development. She holds a Doctorate in Process Engineering, a Master’s in Air and Water, and a DEA in Hydrology. Education Doctorate in Process Engineering Masters in Air and Water DEA in Hydrology Her research focuses on water and climate change , water quality measurement , urban water systems , and water risk management . She employs a multidisciplinary approach integrating environmental sciences, public health, and policy analysis. Recent projects include PHARE (HAloacetic acid production under climate change), URB-Bain (urban swimming and climate change), Aladins (climate vulnerability modeling in Brittany), and Expo-Eau (exposure to disinfection by-products). Her scientific expertise spans water quality monitoring, microbial contamination, and health determinants in urban environments. She serves on the Creseb Scientific Committee, the ANR’s Environmental Technologies Evaluation Committee, and the EHESP Board of Directors. Her work emphasizes interdisciplinary collaboration and decision-support tools for climate resilience. She teaches in academic, professional, and continuing education programs, including modules for Health Studies Engineers, the Master’s in Water Sciences, and the Master’s in Public Health. Her pedagogical approach integrates water quality, risk control, and sustainable urban practices.

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

Julie Grollierمشاهده پروفایل

استاد

Paris-Saclay UniversityFrance

Julie Grollier is a physicist and CNRS director of research at the Albert Fert Laboratory (LAF - Univ. Paris-Saclay/National Centre for Scientific Research, CNRS/Thales). As a specialist in spintronics and artificial intelligence, her research focuses on developing neuromorphic chips that physically reproduce neural networks. Her research interests center on creating energy-efficient neural networks using spintronics. She has pioneered work in creating artificial neurons and neural networks using spintronic components, with her team demonstrating a nano-neuron capable of recognizing spoken numbers from zero to nine. Her current research explores building hardware neural networks that function more like the human brain, with spintronic components communicating via microwaves. 2018 CNRS Silver Medalist 2021 Irène Joliot-Curie Woman Scientist of the Year Julie Grollier leads research within the European RadioSpin program, where her work has significant potential to reduce AI power consumption by factors of 100-1,000. Companies like Thales and Bosch have shown interest in her research for applications in medical diagnosis. She has established an interdisciplinary research group that brings together experts from materials science, electronics, computing, and neuroscience.

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

Youssef TLICHEمشاهده پروفایل

استادیار

Normandy Business SchoolFrance

Youssef TLICHE is an Assistant Professor in Supply Chain Management and Logistics at EM Normandie, where he has been since 2021. He previously held an assistant professorship at Université Le Havre Normandie (2019–2020). He serves as Academic Director of the Graduate programs in Supply Chain Logistics Innovations. He holds a PhD in Management Sciences from Université Le Havre Normandie (2020) and an Engineering degree in Statistics and Data Analysis from ESSAI Tunis (2015). His research focuses on quantitative methods in supply chain management, including collaborative forecasting, decentralized supply chain optimization, and blockchain applications. He also explores decarbonization strategies in maritime logistics and the impact of AI on e-commerce. Key contributions include work on demand inference, inventory optimization, and blockchain in finance. His recent articles address topics such as AI-driven recommendation systems, wind-powered vessel financing, and Industry 4.0’s impact on supply chain vulnerability. No scientific awards are listed. His advising and grant activities remain unspecified in the provided text.

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

Théo Winterhalterمشاهده پروفایل

پژوهشگر

InriaFrance

Théo Winterhalter is a researcher at INRIA Saclay and a member of the Laboratory of Mathematics and Computer Science (LMF) at ENS Paris-Saclay . He previously held a postdoctoral position at the Max Planck Institute for Security and Privacy (MPI-SP) and completed his PhD at the Gallinette research team in Nantes, supervised by Nicolas Tabareau and Matthieu Sozeau. Education PhD in Computer Science, 2017–2020, University of Nantes (Gallinette/Inria) MSc in Computer Science, École Normale Supérieure de Rennes Research interests include type theory , proof assistants , formal verification , and dependent types . He actively works on improving the safety and usability of proof assistants like Rocq (formerly Coq), focusing on rewrite rules, erasure, and cryptographic verification. His work often involves formalizing results within proof assistants and developing tools for verified programming. Contributions span conferences like POPL, ICFP, CPP, and TYPES. Recent projects include foundational verification of high-speed cryptography ( The Last Yard ), type-preserving rewrite rules ( The Rewster ), and modular cryptographic proofs ( SSProve ). His publications emphasize formal methods and computational assumptions in type theory. Teaching includes the Proof Assistants course at MPRI , a joint master’s program. He co-supervises PhD students like Yann Leray and has mentored interns on topics such as erased data implementation and Autosubst tooling. Labs and Teams : Deducteam (INRIA Saclay) – Developing deduction tools and formal verification LMF (ENS Paris-Saclay) – Laboratory for Mathematics and Computer Science Gallinette (former) – Team at INRIA Nantes MetaCoq Project – Collaborative effort on Coq verification

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

Nathalie Bertrandمشاهده پروفایل

پژوهشگر

InriaFrance

Nathalie Bertrand is an Inria Researcher and Head of the DEVINE team at Inria Centre Rennes and IRISA lab. She co-heads the working group on Verification of the GDR IFM of the CNRS with Pierre-Alain Reynier, and co-leads the gender equality commission of IRISA and Inria Rennes with Elisa Fromont. She is also an active member of the Inria committee on gender equality and equal opportunity. PhD from ENS Cachan (October 2006) 1-year post-doc at TU Dresden Hired as Inria researcher (October 2007) Habilitation (HDR) from University Rennes 1 (November 2015) Dr. Bertrand's research focuses on formal methods, verification, model checking, parameterized systems, quantitative models, automata, and games. Her work bridges theoretical computer science with practical applications in distributed systems, probabilistic verification, and game theory. She develops efficient model-based formal methods to verify and enforce functional and non-functional properties of dependable distributed systems that include quantitative aspects such as time, cost, or probabilities. Her recent publications demonstrate a strong trend toward parameterized verification of distributed algorithms, probabilistic systems, and game-theoretic approaches to verification problems. Her research has evolved from foundational work on timed automata and probabilistic systems to increasingly complex problems involving distributed algorithms with arbitrary numbers of participants, blockchain consensus, and randomized fault-tolerant systems. Dr. Bertrand serves on the editorial boards of JLAMP and TCS, and has been a program committee member for numerous prestigious conferences including STACS, TACAS, Concur, QEST, LICS, FoSSaCS, ICALP, MFCS, and many others. She has co-chaired program committees for Formats'20, QEST'17, QAPL'14, and QAPL'15. As an advisor, she has supervised numerous PhD students including Nicolas Waldburger, Bastien Thomas, Suman Sadhukhan, Anirban Majumdar, Engel Lefaucheux, Paulin Fournier, and Amélie Stainer. She currently supervises postdoc Gaëtan Staquet and PhD candidates Pranav Ghorpade, Luca Paparazzo, and Luc Lapointe. She leads the DEVINE project-team (created January 2024), which focuses on developing efficient model-based formal methods to verify and enforce properties of dependable distributed systems with quantitative aspects. Previously, she was part of the SUMO team. Her current projects include ANR MAVeriQ (2021-2025), ANR BISouS (2022-2025), and ANR PaVeDyS (2024-2028).

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

Duong Hieu Phanمشاهده پروفایل

استاد

École Normale SupérieureFrance

Duong Hieu Phan is a Professor at Telecom Paris, part of the Institut Polytechnique de Paris, and Head of the Cybersecurity-Cryptography team. He holds a Ph.D. in Computer Science from Ecole Normale Supérieure and has extensive postdoctoral experience at University College London and research roles at France Telecom R&D. His academic career includes roles as an assistant/associate professor at LAGA, University of Paris 8 (2007–2015), and later as a professor and director of the Master 2 Maths CRYPTIS program at XLIM, University of Limoges (2015–2020). His research focuses on cryptography, with emphasis on provable security, functional encryption, privacy-preserving systems, and anamorphic cryptography. Key areas include secure communication mechanisms against oppressive surveillance, decentralized systems, and post-quantum security. He has contributed to foundational work on CCA security for FHE, quantum-resistant protocols, and verifiable functional encryption. Prof. Phan is actively involved in professional committees, including IACR ASIACRYPT and PKC steering committees, and editorial boards such as the IACR CIC Journal. He promotes Franco-Vietnamese scientific collaboration through roles in the CNRS IRL partnership. His teaching spans cryptography, algorithms, and mathematics at undergraduate and master’s levels, including program coordination and research supervision.

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

Christophe Darcelمشاهده پروفایل

استاد

University of RennesFrance

Christophe Darcel is a Full Professor at the University of Rennes 1, specializing in homogeneous catalysis with a particular focus on iron-based catalysts. His research spans multiple areas of sustainable chemistry, utilizing earth abundant transition metals for various catalytic transformations. Dr. Darcel earned his PhD in 1995 from the University of Rennes 1 under the supervision of C. Bruneau and P. H. Dixneuf, focusing on ruthenium and palladium catalyzed transformations of functional alkynes. He completed postdoctoral research in Geneva with W. Oppolzer on asymmetric synthesis of natural products using sultam auxiliary, followed by a Humboldt fellowship with P. Knochel in Marburg developing chiral zinc derivatives. He served as an associate professor at the University of Cergy-Pontoise and the University of Burgundy before his 2007 appointment as full professor at University of Rennes 1. His research program centers on homogeneous catalysis with earth abundant transition metals, particularly iron. Key research areas include catalyzed hydroelementation reactions (hydrosilylation of carbonyl and carboxylic derivatives, hydroboration of alkenes and alkynes), iron-catalyzed borylation and methylation reactions, novel hydrogenation and hydrogen borrowing processes, ruthenium-catalyzed C-H bond activation, and asymmetric catalysis using P-chirogenic organophosphorus ligands. His work emphasizes sustainable chemistry approaches using non-noble metals and benign oxidants. Analysis of his recent publications reveals a strong focus on iron catalysis for sustainable synthesis, with significant contributions to hydrosilylation chemistry, reductive amination processes, and C-H functionalization. His research demonstrates a consistent trend toward developing practical, environmentally friendly catalytic methods that utilize abundant metals instead of precious metals, with applications in pharmaceutical and fine chemical synthesis. Dr. Darcel teaches at both Licence and Master levels, with courses in Homogeneous Catalysis, Organometallic Chemistry, Organic Synthesis, and Green Chemistry. He leads research within the Labcom GreenCARE (Demeta-UR1-CNRS joint lab), which focuses on sustainable chemical processes including lignin upgrading. His work has resulted in multiple patents filed between 2018-2019 related to sustainable chemical processes.

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