Programming Models Professors and Supervisors in France | ApplySharif

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

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

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

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

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

دانشیار

Télécom SudParisFrance

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.

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

Jérôme Picardمشاهده پروفایل

پژوهشگر

ParisTech School of BridgesFrance

Jérôme Picard is a Researcher at the French National Center for Scientific Research (CNRS) affiliated with UMR 8586 - PRODIG at Campus Condorcet. His work focuses on Geomatics, Remote Sensing, Cartography , and Environmental Changes . His research involves GIS project management Linguistic and ethnic cartography Land use and territorial dynamics in Central Africa and the Himalayas Recent publications include cartographic contributions to linguistic studies in Africa, Asia, and the Himalayas (2016-2021), with methods integrating GIS and remote sensing for analyzing environmental and societal issues . Scientific awards include Award at Pastoralism and Wide Open Spaces festival for 'The Waters of Discord' He has collaborated with institutions like the University of Bangui, ENSG-Marne la Vallée, and the French Society of Photogrammetry and Remote Sensing (SFPT), and contributed to GIS training programs for doctoral students and researchers.

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

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

استاد

InriaFrance

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.

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

Caroline Andreمشاهده پروفایل

دانشیار

NEOMA Business SchoolFrance

Caroline Andre is an Associate Professor of Law at NEOMA Business School, specializing in private law with a focus on labor law, marketing law, and cooperative law. She teaches undergraduate and graduate students in both initial and continuing education programs, and has practiced law professionally. Her research bridges legal and management disciplines, addressing topics like social and solidarity economy (SSE), circular economy intersections, CSR policies, and entrepreneurial values. Her academic contributions span legal journals and management science publications, including monographs like Creating the Circular Economy (2024). She actively participates in national/international communities like EURAM and ACfas. Recent work examines SSE's role in ecological transition, pandemic crisis adaptation, and labor law compliance in SMEs. Key research outputs include analyses of social audits in SME acquisitions (2022), employer pooling models (2019-2020), and legal frameworks for SSE organizations. Her work frequently explores regulatory pressures and ethical governance in business environments. Caroline has no listed scientific awards but has contributed to numerous regionally funded research projects. Her teaching extends to professionals via continuing education, emphasizing practical legal applications in business contexts.

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

Diane DE SAINT AFFRIQUEمشاهده پروفایل

استاد

SKEMA Business SchoolFrance

Prof. Diane DE SAINT AFFRIQUE is a full-time Professor at SKEMA Business School (France) since 2019, specializing in Business Law, Ethics, and Governance. She holds a Doctorat d'Etat en Droit (2002) from Université Paris 2 Panthéon-Assas, with additional qualifications from ESSEC Business School and other institutions. Her academic leadership roles include Head of the Contract Law Master program (2016–present), Head of the Law Department (2003–2014), and responsible for the Master in Business Law (2006–2016). Research Focus: Her work centers on corporate governance, sustainable finance, AI ethics in healthcare and business, and legal frameworks for responsible business practices (RSE). She explores tensions between regulatory compliance and corporate autonomy, with recent emphasis on duty of vigilance legislation and AI accountability. Key Contributions: Over 30+ publications include analyses of: Legal implications of AI in medicine and business Corporate social responsibility and judicialization trends Religious freedom in French workplaces Data sovereignty and AI governance Affiliations & Impact: She chairs the French Academy of Legal Studies and Business, serves on the Board of VITAMINE T, and advises institutions like IFSI Ambroise-Paré. Her work frequently bridges legal theory with practical business challenges, emphasizing interdisciplinary solutions for global governance issues.

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

Raphaël Beuzart-Plessisمشاهده پروفایل

پژوهشگر ارشد

Paris Sciences et Lettres UniversityFrance

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مشاهده پروفایل

استاد

École Normale SupérieureFrance

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.

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

Mingsheng Yingمشاهده پروفایل

استاد

InriaFrance

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.

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

Esther Dufloمشاهده پروفایل

استاد

Paris Sciences et Lettres UniversityFrance

Esther Duflo is the Abdul Latif Jameel Professor of Poverty Alleviation and Development Economics at MIT's Department of Economics. She co-founded and co-directs the Abdul Latif Jameel Poverty Action Lab (J-PAL) and holds the Chaire Pauvreté et politiques publiques at the Collège de France. A graduate of École Normale Supérieure (Paris) and MIT (PhD, 1999), her work focuses on experimental approaches to combat poverty through health, education, financial inclusion, environment, and governance research. She received the 2019 Nobel Prize in Economics for her experimental methods in development economics, alongside Abhijit Banerjee and Michael Kremer. Other honors include the John Bates Clark Medal (2010), MacArthur Fellowship (2009), and Princess of Asturias Award (2015). Duflo has advised governments and international bodies, including the U.S. President’s Global Development Council (2013–2021). Her books Poor Economics and Good Economics for Hard Times popularized her research. She also authored children’s books explaining poverty, aiming to demystify socioeconomic challenges for younger audiences.

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

Bruno Palierمشاهده پروفایل

پژوهشگر

Sciences PoFrance

Bruno Palier is a CNRS Research Director at Sciences Po, affiliated with the Centre d'études européennes et de politique comparée (CEE) and a key member of the Laboratoire interdisciplinaire d’évaluation des politiques publiques (LIEPP). He is a leading scholar in comparative politics and public policy, focusing on the reform of social protection and pension systems in France and Europe. University: Sciences Po School: Centre d'études européennes et de politique comparée Academic Rank: Researcher (CNRS) His research interests lie at the intersection of political science, sociology, and public policy. He is a foremost expert on the political economy of welfare state reform, social investment strategies, and the dynamics of pension reforms. His work examines how political institutions, economic pressures, and social actors shape the evolution of social policies across advanced democracies. Palier's recent projects center on the contemporary crisis of work in France. He coordinated the 2023 collective work What Do We Know About Work? , which brought together 60 social scientists to document the realities of working conditions, management practices, digitalization, and inequalities. This project has sparked a major public and academic debate, leading to a follow-up initiative, Working Better , which aims to translate research findings into concrete policy proposals for improving the quality of work. Major Works: What do we know about work? (2023) Working Better (2025, forthcoming) The World Politics of Social Investment (2022, 2 vols.) Refonder le système de protection sociale (2014) Réformer les retraites (2021) Throughout his career, Palier has led major research initiatives, including serving as the director of LIEPP (2014-2020) and coordinating the European Network of Excellence RECWOWE. He has also held visiting professorships at Harvard, Tokyo, and Stockholm universities, demonstrating his international academic standing. His work is highly influential in both academic circles and public policy debates, particularly in France. He has a strong record of scientific mediation, actively engaging with the media and policymakers to bridge the gap between academic research and public discourse. His current work on the future of work and social investment represents a significant contribution to understanding and addressing some of the most pressing social challenges of our time.

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

Nabila Aghanimمشاهده پروفایل

استاد

Paris-Saclay UniversityFrance

Nabila Aghanim is an astrophysicist and cosmologist at the Institute of Space Astrophysics (IAS), a joint research unit of Université Paris-Saclay and the French National Center for Scientific Research (CNRS). Appointed as a CNRS Director of Research in 2010, she has held significant leadership roles including Deputy Director of the IAS and Director of the Science Observatory at Université Paris-Saclay from 2017 to 2021. Dr. Aghanim completed her PhD thesis at the IAS under the direction of Jean-Loup Puget in 1996. Following her doctorate, she served as a temporary teaching fellow (ATER) at Université Paris-Sud (now Université Paris-Saclay) for one year before undertaking post-doctoral fellowships at the University of California at Berkeley and with CNES. Nabila Aghanim's research focuses on cosmology and astrophysics, with particular emphasis on the cosmic microwave background (CMB), dark matter, and dark energy. Her work involves predicting physical models to measure theoretical scenarios and translating instrumental data into testable theories. She has been instrumental in major international space telescope projects, particularly the Planck mission which measured tiny temperature variations in the CMB - the fossil radiation from the Big Bang. Her current research includes the ByoPIC project (the Baryon Picture of the Cosmos), which aims to locate the 'missing' ordinary matter in the universe by combining Planck data with other information sources. She is also actively involved in the Euclid space telescope mission, contributing to the construction and scientific use of the VIS imager. 2022: Huy Duong Bui Grand Prize from the French Academy of Science 2017: CNRS Silver Medal 2017: ERC Advanced Fellowship for the ByoPIC project Dr. Aghanim serves on the scientific committee of CNES and the Council of the European Astronomical Society. Her research has significantly advanced our understanding of the cosmic web and the distribution of matter in the universe. She has coordinated international teams while analyzing satellite measurements, particularly during her leadership of one of the Planck scientific programs from 2009 to 2016. Currently, she is exploring mission concepts for observing fossil radiation to detect variations in its emission spectrum, which could reveal the thermal and energetic history of the universe from the Big Bang to the present day. She also participates in the CNES stratospheric balloon project 'BISOU' (Balloon Interferometer for Spectral Observations of the primordial Universe), focusing on scientific instrumentation.

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

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

مدرس

École Normale Supérieure de LyonFrance

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.

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

Limin Jiaمشاهده پروفایل

استاد پژوهشی

InriaFrance

Limin Jia is a Research Professor in the Electrical and Computer Engineering (ECE) department at Carnegie Mellon University, with a courtesy appointment in the Computer Science Department (CSD). Affiliated with CyLab, their work focuses on applying formal techniques to enhance software security through programming language design, formal verification, and information flow analysis. Research interests span Security Programming Languages Formal Verification Information Flow Control Intermittent Computing Rust Programming . Recent publications integrate formal methods with practical security challenges, including Node.js vulnerability detection Rust API testing Secure multi-execution Intermittent computing type systems IFTTT security analysis Browser security frameworks . Limin serves on program committees for conferences like POPL, PLDI, VMCAI, and is actively involved in teaching courses such as Browser Security (18-636) Introduction to Information Security (18-631) .

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

Claire Zalcمشاهده پروفایل

پژوهشگر

School for Advanced Studies in the Social SciencesFrance

Claire Zalc is a CNRS Research Director and Director of Studies at École des hautes études en sciences sociales (EHESS), with affiliations to the Institute of Modern and Contemporary History (IHMC), the Centre de Recherches Historiques (CRH), and the GLOBAL department at the Institut Convergence des Migrations. Her work bridges migration history, Holocaust studies, and quantitative methodologies. Her research focuses on the intersection of migration and persecution in the 20th century, particularly through prosopographical studies like Face à la persecution (2010) and Dénaturalisés (2016), which examine administrative interactions under the Vichy regime. She also explores the use of quantitative methods in historical research, co-authoring Quantitative Methods. An Introduction (2019). Recent projects, such as the ERC Consolidator LUBARTWORLD (2019–2025), analyze transnational mobilities and persecution through case studies in Lubartów and other locations. Key themes in her publications include Vichy-era denaturalization , Polish Jewish migrations , and microhistories of the Holocaust . Her work often integrates spatial analysis and relational data frameworks, as seen in contributions to sequence analysis and social network studies. Scientific Distinctions : Bronze Medal of the CNRS (2013) Prix Malesherbes d’histoire de la Justice (2017) Finalist, Eugen Weber Book Prize (2022) Prix André Conquet for Melting Shops (2010) She co-edits the journal Revue d’histoire de la Shoah and previously co-directed the Histoire-Repères collection at La Découverte (2008–2021). Her methodological expertise has shaped training programs at EHESS and collaborative research initiatives like PERSI (Internet Social Networks Study Program) and relational data analysis.

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

Caterina Urbanمشاهده پروفایل

پژوهشگر

École Normale SupérieureFrance

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).

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

فقط ۷۵۰ نتیجه اول نمایش داده می‌شود. برای رسیدن به نتایج دقیق‌تر، جست‌وجو را با فیلترها محدودتر کنید.