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

Marc-Antoine Dilhacمشاهده پروفایل

دانشیار

• Ethics
• Political Philosophy
• Philosophy of Law
• +۱۱ مورد دیگر

Marc-Antoine Dilhac serves as Associate Professor in the Department of Philosophy at the University of Montreal's Faculty of Arts and Sciences, where he also directs governance and international collaboration initiatives. He holds leadership roles as Scientific Director of Algora Lab and leads the Ethics and Politics research axis at the Centre de recherche en éthique (CRÉ). His academic affiliations extend to the Centre d'études et de recherches internationales (CÉRIUM) and the Canada Research Chair in Public Ethics and Political Theory (2014-2019). Education: PhD in Philosophy and Political Science, University of Paris I: Panthéon-Sorbonne (2009) Master 2 in Philosophy and Political Science, University of Paris I: Panthéon-Sorbonne (2003) Agrégation in Philosophy, University of Paris I: Panthéon-Sorbonne (2002) Dilhac's research spans ethics, political philosophy, and AI governance, with particular focus on democratic tolerance, multiculturalism, and the ethical implications of artificial intelligence. His work bridges theoretical political philosophy with practical applications in AI policy development, sustainable finance, and democratic institutions. He has contributed significantly to UNESCO's Recommendation on the Ethics of Artificial Intelligence and leads initiatives examining AI's impact on French-speaking culture and democratic values. His recent publications reveal a clear trajectory from foundational work on tolerance and justice theory toward contemporary AI ethics challenges. The thematic evolution shows increasing engagement with practical governance frameworks, particularly in finance and education sectors, while maintaining strong philosophical grounding in democratic theory and institutional design. Key Awards and Recognition: Canada Research Chair in Public Ethics and Political Theory (2014-2019) Banting Postdoctoral Fellowship (2011) Contributor to UNESCO's Recommendation on AI Ethics (2021) Dilhac has supervised over 15 graduate students across philosophy, political science, and interdisciplinary AI ethics programs. His research is supported by multiple grants from FRQSC, FRQNT, SSHRC, and MITACS, totaling over $2 million CAD. Current projects include the Generative AI Ethics Framework for Educational Technology (2024-2025) and the Sustainable Finance AI Tools project examining ESG/DEI disclosure analysis. He co-founded and leads the CORDÉ research group on corruption and democracy, and directs Algora Lab's work on AI governance. His upcoming February 2025 panel at Université Laval will address AI and Francophone cultural perspectives ahead of the Paris AI Action Summit.

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

دانشیار

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

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

• Cybersecurity
• Blockchain Technology
• Internet of Things (IoT)
• +۳ مورد دیگر

Prof. Maryline Laurent is a Professor at Telecom SudParis, affiliated with the SAMOVAR research laboratory. Her work focuses on cybersecurity, privacy-preserving technologies, blockchain applications, and IoT security. She has contributed to numerous high-impact publications and conferences, addressing challenges in secure healthcare systems, decentralized identity management, and privacy in distributed systems. Her research spans cryptographic protocols, access control mechanisms, and compliance with EU data protection regulations. Key areas of expertise include secure communication protocols for IoT, blockchain-based solutions for healthcare, and privacy-enhancing technologies. She has collaborated on projects such as self-sovereign identity frameworks, anonymized data aggregation, and privacy-preserving smart grid systems. Her work emphasizes practical methodologies for assessing re-identification risks in anonymized datasets and designing secure systems compliant with evolving regulations. Prof. Laurent’s contributions extend to book chapters and edited volumes on digital identity management and wireless network security. She actively participates in international conferences and initiatives, advocating for privacy-by-design principles in intelligent infrastructures.

Aurèle Maheoمشاهده پروفایل

پژوهشگر ارشد

• Distributed Systems
• Parallel Computing
• Machine Learning Systems
• +۳ مورد دیگر

Aurèle Maheo is a Research Fellow at the Computer Science Department of Telecom SudParis, affiliated with the Parallel and Distributed Systems (PDS) group. His research focuses on distributed systems, parallel computing, and hardware acceleration, with applications in machine learning and high-performance computing. He has contributed to projects such as SpeedyLoader for optimizing machine learning pipelines and FPGA memory bandwidth improvements. His work bridges theoretical distributed systems principles with practical implementation challenges in large-scale environments. Affiliations: PDS Group, Computer Science Department, Telecom SudParis Research interests include distributed consensus algorithms, system scalability, and hardware-software co-design for accelerating computational workflows. Recent work highlights include presentations on machine learning pipelining techniques and FPGA-based memory optimization strategies.

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

استاد

• Artificial Intelligence
• Knowledge Representation
• Automated Reasoning
• +۶ مورد دیگر

Pierre Marquis is a distinguished Professor of Computer Science at Université d'Artois , affiliated with the Centre de Recherche en Informatique de Lens (CRIL-CNRS, UMR 8188) . Since December 2024, he has served as the vice-president for research and doctoral studies at Université d'Artois. His research focuses on Artificial Intelligence , particularly knowledge representation , automated reasoning , inconsistency handling , and knowledge compilation , with recent emphasis on Explainable AI (XAI) . Research Interests: Marquis's work spans foundational AI topics including abduction , induction , belief revision , and preference modeling . He has pioneered knowledge compilation techniques to optimize AI tasks and developed frameworks for reasoning under inconsistency through paraconsistent logics and argumentation. His EXPEKTATION chair (2020-2026) under France's national AI program drives his current focus on interpretable machine learning models. Scientific Awards: 2025: CNRS Silver Medal 2022: AAIA Fellow 2017: Senior Member of Institut Universitaire de France (IUF) 2009: EurAI (ECCAI) Fellow Doctoral Students: Mentoring Clément Lens (critical patient monitoring systems) and Mehdi Sabiri (data-knowledge integration for AI explanations). Collaborating with students like Louenas Bounia (formal XAI models) and Romain Wallon (pseudo-Boolean constraints). Grants & Projects: Leads the EXPEKTATION research chair (2020-2026) and participates in ANR PING/ACK (2019-2023), ANR THEMIS (2021-2025), CNRS IRP MAKC (2020-2024), and H2020 TAILOR (2020-2024). Previously led PIA4 MAIA (2023-2032) and Pint (2022-2023). Labs & Teams: Active in CRIL-CNRS, contributing to PyXAI (Python XAI library) and d4 (model counting), while mentoring teams on consensus belief merging and dynamic constraint processing .

• Formal Methods
• Verification
• Model Checking
• +۴ مورد دیگر

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

Elena Panteleyمشاهده پروفایل

پژوهشگر

• Nonlinear Control Systems
• Networked Systems
• Multi-Agent Systems
• +۵ مورد دیگر

Elena Panteley is a Research Director at the CNRS and a member of the Laboratoire des Signaux et Systèmes (L2S) at CentraleSupélec. She holds a PhD in Applied Mathematics from Saint Petersburg State University (1997) and has extensive experience in research, including roles at the Institute of Problems in Mechanical Engineering, Russian Academy of Sciences (1986–1998). She co-chairs the International Graduate School of Control at the European Embedded Control Institute (EECI-IGSC) and serves as a Book-reviews Editor for Automatica and Associate Editor for IEEE Control Systems Letters . Education: PhD in Applied Mathematics, Saint Petersburg State University, 1997 MSc/BSc in relevant fields (implied by career progression) Research Interests: Focuses on stability and control of nonlinear dynamical systems, networked systems, multi-agent systems, and their applications. Her work emphasizes robust control, consensus algorithms, synchronization, and distributed control strategies for autonomous systems. She explores theoretical frameworks like Lyapunov methods and adaptive control, with practical applications in robotics and communication networks. Publications: Over 100 peer-reviewed articles in top journals like IEEE Transactions on Automatic Control and Automatica . Recent trends include advancements in consensus algorithms for multi-agent systems, synchronization of nonlinear oscillators, and control under communication delays. Awards: No specific awards mentioned, but contributions to control theory and networked systems are widely recognized. Grants/Advising: Leads research on adaptive control, network synchronization, and robotics. Collaborates internationally and advises on projects involving autonomous vehicles and distributed systems. Labs/Teams: Active in L2S and affiliated with CNRS, contributing to teams like MODESTY, COMEDY, and SYCOMORE. Engaged in transverse research on energy, industry automation, and healthy systems.

Petr Kuznetsovمشاهده پروفایل

استاد

• Distributed Systems
• Algorithms
• Synchronization
• +۳ مورد دیگر

Petr Kuznetsov is a Professor at Telecom Paris (Institut Polytechnique de Paris), affiliated with the Department of Computer Science and Networks (INFRES). He leads the Autonomous Critical Embedded Systems (ACES) research team at the Information Processing and Communication Laboratory (LTCI). His work bridges theoretical foundations and practical applications in distributed systems. Research Focus: Kuznetsov specializes in distributed algorithms, synchronization protocols, failure detection mechanisms, and the application of algebraic topology to distributed computing. His recent work explores Byzantine fault tolerance, blockchain consensus, and concurrency in networking infrastructures. Recent Publication Trends (2015-2025): His articles predominantly focus on scalability and resilience in distributed systems, with emerging themes in blockchain technologies, Byzantine fault tolerance, and concurrency optimization. Theoretical contributions include computability theorems and complexity bounds, while applied work targets payment systems and distributed ledgers. Awards & Honors: Best Paper Award at DISC 2019 for Scalable Byzantine Reliable Broadcast Best Student Paper Award at PODC 2018 for An Asynchronous Computability Theorem for Fair Adversaries Projects & Advising: He directs the TrustShare Innovation Chair (large-scale data synchronization) and DISCMAT (mathematical foundations of distributed computing). Actively seeks PhD candidates for projects on distributed algorithms and concurrency. Laboratory & Teams: Heads the ACES team at LTCI, focusing on critical embedded systems and fault-tolerant distributed architectures. Collaborates internationally through workshops like SPTDC.

• Blockchain Technology
• Information Systems Governance
• Decentralized Systems
• +۵ مورد دیگر

Christoph Mueller-Bloch is an Assistant Professor at ESSEC Business School, France, specializing in information systems governance, blockchain technology, and decentralized systems. He holds a Ph.D. from the IT University of Copenhagen (2020) and has held roles including Postdoctoral Researcher (2020-2021) and Visiting Scholar at New York University (2019). His research focuses on blockchain governance, decentralization metrics, and the socio-technical challenges of distributed ledger technologies. Education: Ph.D. in Information Systems and Decision Sciences, IT University of Copenhagen (2020) M.Sc. in Business Administration and Information Systems, Copenhagen Business School (2017) B.Sc. in Business Administration, University of Göttingen (2014) Main Research Themes: Blockchain governance frameworks Decentralization in proof-of-stake systems Design principles for blockchain applications Comparative analysis of permissioned vs. permissionless blockchains Awards: 2021 AIS Impact Award Teaching & Other Activities: Develops courses on information systems and blockchain technologies at ESSEC Authored Harvard Business School case studies on blockchain adoption Contributed to media discussions on cryptocurrency trends Labs/Teams: Actively involved in ESSEC's research teams exploring blockchain applications in finance and governance.

Maryam Mehri Dehnaviمشاهده پروفایل

دانشیار

• High-Performance Computing
• Cloud Computing
• Machine Learning
• +۳ مورد دیگر

Maryam Mehri Dehnavi is an Associate Professor in the Department of Computer Science at the University of Toronto and a Principal Research Scientist at NVIDIA. She holds the Canada Research Chair in Parallel and Distributed Computing and leads the ParaMathics research group. Research focuses on high-performance computing , machine learning , sparse matrix optimizations , and compiler design for heterogeneous systems. Her work develops domain-specific languages , scalable numerical libraries , and auto-vectorization techniques for cloud and GPU platforms. Recent publications address LLM compression , sparse code translation , GPU kernel synchronization , and control flow optimization . Scientific recognition: Ontario Early Researcher Award (2021), NSF CRII Grant, NSERC New Frontiers in Research Fund. Current students: Mushegh Shahinyan , Martin Phan , Maryam Haghifam , and others. Former advisees: Kazem Cheshmi (NJIT), Zachary Blanco (MIT Lincoln Lab), Yuanxi Li (Amazon).

Alexey Gotsmanمشاهده پروفایل

استاد پژوهش

• Distributed Systems
• Software Verification
• Consensus Algorithms
• +۵ مورد دیگر

Alexey Gotsman is a tenured Research Professor at the IMDEA Software Institute in Madrid, Spain, where he leads research at the intersection of software verification and distributed computing. He also works part-time as a visiting academic at Amazon Web Services. His educational background includes a Ph.D. from the University of Cambridge, where he was previously a postdoctoral fellow. His research spans theoretical foundations and practical implementations of distributed systems, with particular emphasis on fault tolerance, consensus algorithms, and consistency models. His research interests focus on the theoretical and practical aspects of distributed systems, including Byzantine fault tolerance, state machine replication, distributed transactions, and consistency models. His work bridges the gap between formal verification techniques and real-world distributed systems implementations, with numerous publications in top-tier venues like PODC, DISC, and NSDI. His recent publications show a clear progression from theoretical foundations to practical implementations, with increasing focus on real-world applications, performance considerations, and fault tolerance in large-scale distributed systems. The research demonstrates strong connections between formal methods and practical system design, particularly in the areas of consensus protocols, replication strategies, and transaction processing. Best paper award at OPODIS'23 Best paper award at DISC'18 Best paper award at CONCUR'12 EAPLS Best Dissertation Award Runner-up prize in the BCS Distinguished Dissertation Competition ERC Starting Grant 'RACCOON: A Rigorous Approach to Consistency in Cloud Databases' (2017-2022) Ramón y Cajal Fellowship (2017-2022) Alexey actively mentors PhD students including Alejandro Naser Pastoriza, Fedor Ryabinin, and Antonio José Fernández Pinto, while his alumni have gone on to faculty positions at institutions like University of Paris 7 and University of Colorado Boulder, as well as industry roles at companies like ARM and Informal Systems. He has received significant funding including an ERC Starting Grant and served on program committees for numerous top conferences including POPL, DISC, and PODC. He currently co-organizes the International Symposium on Distributed Computing (DISC) and has been instrumental in organizing workshops focused on consistency in distributed systems. His research group at IMDEA Software Institute focuses on developing rigorous approaches to consistency in cloud databases and distributed systems, with active projects spanning theoretical analysis, protocol design, and practical implementation of fault-tolerant distributed systems.

Yackolley Amoussou-Guenouمشاهده پروفایل

استاد

• Blockchain
• Consensus
• Distributed Systems
• +۱ مورد دیگر

Yackolley Amoussou-Guenou is a Professor in Computer Science at Paris-Panthéon-Assas University, affiliated with the Center for Research in Economics and Law (CRED). His work focuses on blockchain technologies, consensus algorithms, distributed systems, and algorithmic game theory. He earned a Doctorate in Computer Science from Sorbonne University in 2020. His research explores the intersection of game theory and blockchain security, analyzing rational player behaviors, fairness mechanisms, and consensus robustness. His publications highlight trends in committee-based blockchain design, adversarial modeling, and formal verification of consensus protocols. He has contributed to venues including The Review of Financial Studies and conferences like OPODIS, NETYS, and AAMAS. His teaching includes Data Science, Python programming, and Computer Science Fundamentals, reflecting his expertise in both theoretical and applied distributed systems research.

DJEMAI Mohamedمشاهده پروفایل

استاد

• Control Theory
• Hybrid Systems
• Multi-Agent Systems
• +۹ مورد دیگر

Dr. Mohamed Djemai is a Full Professor at École Nationale Supérieure de l'Électronique et de ses Applications (ENSEA), Cergy, and INSA Hauts-de-France. He is affiliated with the Quartz Laboratory (EA 7393) and LAMIH UMR CNRS 8201 at University Polytechnic Hauts-de-France. His research focuses on nonlinear control systems theory, with emphasis on hybrid and variable structure systems, sliding mode approaches, fault detection, and applications to power systems, robotics, and vehicle dynamics. IEEE Senior Member Associate Editor for Nonlinear Analysis: Hybrid Systems Co-Facilitator of National Working Group GT-SDH (2014–present) Member of IFAC-TC-1.3 (Discrete Event and Hybrid Systems) since 2001 Member of IFAC-TC-2.1 (Control Design) since 2005 His recent publications address fractional-order control of multiagent systems, stability analysis on time scales, fault-tolerant satellite attitude control, and robust consensus algorithms for nonlinear systems. Key methodologies include sliding mode control, event-triggered control, and observer-based fault detection. Current teaching activities encompass diagnostics, linear systems, signal processing, and sensor conditioning. The trend in Dr. Djemai's research since 2022 involves advanced control strategies for cyber-physical systems, distributed fault detection mechanisms, and time scale theory applications to intermittent communication problems. Notable collaborations include work with Michael Defoort, Stefano Di Gennaro, and international institutions like Kyungpook National University and University of Reims. Scientific contributions include: IEEE Senior Member recognition Development of robust exact filtering differentiators Innovations in fixed-time consensus protocols Leadership in IFAC technical committees Editorial role in hybrid systems analysis His laboratory work at Quartz and LAMIH supports applications in aerospace systems, renewable energy conversion, and industrial risk management architectures.

• Machine Learning
• Information Fusion
• Data Clustering
• +۳ مورد دیگر

Julien Ah-Pine is a lecturer at Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS) under Université Clermont Auvergne , with affiliations at Institut national polytechnique Clermont Auvergne and École des Mines de Saint-Étienne . He also holds a Researcher position at CNRS. Research Interests His work spans machine learning , information fusion , aggregation functions , and multi-criteria decision support , with a focus on complex data types like graphs , functional data , and multi-view datasets . Recent publications emphasize anomaly detection in spectral data streams , online learning , and interpretable AI for industrial applications. Selected Publications 2025 work on OnlineBootKNN introduces a novel framework for real-time spectral anomaly detection, while 2024 research explores multiple kernel methods in functional data classification. Earlier studies cover graph-based clustering , relational data mining , and linguistic network models for NLP tasks. Laboratory & Collaborations Works within LIMOS laboratory at Université Clermont Auvergne, collaborating with institutions like Mines Saint-Étienne and CNRS. Key partnerships include Nicolas Rojas Varela and Engelbert Mephu Nguifo on data stream analysis projects.

Didier Theilliolمشاهده پروفایل

استاد

• Fault Tolerant Control
• Control Engineering
• Aerospace Systems
• +۳ مورد دیگر

Didier Theilliol is a Professor of Control Engineering at the University of Lorraine, France, since 2004. He holds a Ph.D. in Control Engineering from Nancy-University (1993). He was awarded the CAS Visiting Professorship by the Chinese Academy of Sciences (CAS) in 2012, during which he collaborated with the Shenyang Institute of Automation (SIA) on flight control and fault-tolerant systems. His research focuses on model-based fault diagnosis (FDI), fault-tolerant control (FTC) for complex systems, and reliability analysis, with applications in aerospace, industrial automation, and robotics. Education: Ph.D. in Control Engineering (Nancy-University, 1993). Research interests include advanced control strategies for linear and nonlinear systems, multi-agent coordination, and safety-critical applications. His work integrates theoretical advancements with practical implementations across industries such as steel production, wastewater treatment, and aerospace. Notable contributions include methodologies for degradation management, distributed observer design, and health-aware control. Recent article trends emphasize fault-tolerant control in multi-agent systems, reinforcement learning for safety-critical tasks, and integration of physics-informed neural networks for system modeling. His publications span topics from model-based diagnostics to real-world applications in UAVs and propulsion systems. Awards: CAS Visiting Professorships for Senior International Scientists (2012). Collaborations include co-working with SIA’s rotorcraft UAV project team and leading European R&D initiatives. He serves as Associate Editor for ISA Transactions and Unmanned Systems , and chairs conferences on fault-tolerant control systems. His research also extends to Bayesian networks for system reliability and particle filter-based prognostics in industrial settings. Labs/Teams: Active in the State Key Laboratory of Robotics (visited during his CAS tenure) and coordinates projects within the German-French Institute for Automation and Robotics.