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

Cyril RANDRIAMARO is a Lecturer at the University of Picardie Jules Verne (UPJV), affiliated with the Algorithmic and Complexity (ALCO) research domain. His work focuses on distributed systems and parallel computing paradigms. Research Interests: Dr. RANDRIAMARO's expertise spans distributed storage architectures, peer-to-peer (P2P) network optimization, fault-tolerant systems, and parallel algorithm design. Key areas include dynamic data distribution strategies, cluster I/O performance enhancement, and efficient scheduling methods for block-cyclic array redistribution in high-performance computing environments. Publications: His 15 most recent articles (1996-2010) demonstrate a consistent focus on scalable distributed systems. Major themes include P2P storage resilience, parallel computation scheduling, and cluster I/O optimization, reflecting deep engagement with reliability engineering and performance tuning in networked environments. Affiliations: Historical associations include contributions to the Laboratoire de l’Informatique du Parallélisme (LIP), evidenced in his 1998 publication. No awards, student advisories, or part-time status are documented.

• Distributed Systems
• Peer-to-Peer Networks
• Parallel Computing
• +۳ مورد دیگر

Sheng Yang is a full professor at CentraleSupélec, University of Paris-Saclay, and holds an honorary associate professorship at the University of Hong Kong. His research focuses on information theory and its applications to wireless networking, including MIMO systems, non-coherent communication, interference mitigation, and physical layer security. He has authored numerous influential papers and received the 2015 IEEE ComSoc Young Researcher Award. His teaching includes courses on digital communication, information theory, and wireless communications. Educational Background: BE in Electrical Engineering (Jiaotong University, Shanghai, 2001), Engineer Degree and M.Sc. (Telecom ParisTech, 2004), and Ph.D. (Université Pierre et Marie Curie, 2007). Research Interests: Multi-antenna (MIMO) communications, non-coherent systems, hardware impairments, coded caching, federated learning, and the integration of machine learning with communication systems. Notable Contributions: Developed novel rate-splitting strategies for MIMO broadcast channels, analyzed capacity limits of 1-bit quantized MIMO systems, and pioneered CSI compression schemes using context trees. He has supervised over 10 PhD/postdoc students, many now in academia and industry leadership roles. Awards: IEEE ComSoc Young Researcher Award (2015), Associate Editor roles at IEEE Transactions on Information Theory and IEEE Transactions on Wireless Communications. Labs/Teams: Active in the MODESTY, COMEDY, and SYCOMORE research groups at L2S, focusing on system modeling and control. His work intersects energy-efficient communication, distributed computing, and future network architectures.

• Information Theory
• Wireless Communications
• MIMO Systems
• +۶ مورد دیگر

Freek Verbeek is an Assistant Professor at Virginia Tech, affiliated with the Systems Software Research Group led by Prof. Binoy Ravindran. He holds a PhD focused on Networks-On-Chips (NoCs) and specializes in applying formal verification methods to complex systems. Verbeek maintains additional connections to the Open University of the Netherlands through collaborative research projects. His research focuses on: Formal verification of security properties in industrial systems (PikeOS separation kernel) Deadlock/livelock prevention in Networks-on-Chips and cache coherent architectures Bottom-up binary verification and decompilation techniques Theorem proving using Isabelle/HOL and ACL2 systems Development of verification tools (DCI2, ADVOCAT, WickedXmas) His publication trend analysis reveals concentrated work in: Binary analysis and decompilation verification (2020) Formal methods for hardware verification (2016-2019) Network-on-Chip deadlock analysis (2013-2017) Security kernel verification (2014-2015) He received the Best Paper Award at SEFM 2020 for work on binary decompilation. Verbeek leads research in decompilation tools and verification frameworks, currently seeking PhD students and postdocs for formal methods and reverse engineering projects. He collaborates with both Virginia Tech and the Open University of the Netherlands on binary analysis research.

• Formal Verification
• Networks-On-Chips
• Deadlock Prevention
• +۴ مورد دیگر

Pietro Michiardi is a Professor and Department Head of Data Science at EURECOM, a leading institution in telecommunications and computer science. His work focuses on scalable machine learning algorithms, computational statistics, and parallel/distributed systems. He teaches courses on distributed systems and algorithmic machine learning, emphasizing cloud computing and parallel frameworks. His research explores cutting-edge topics like generative diffusion models, information-theoretic approaches to data alignment, and anomaly detection in multivariate time series. Recent work includes advancements in score-based generative models and cognitive-dissonance-aware knowledge updates in large language models. Michiardi has been recognized with several accolades, including the Best Paper Award at ITC2016 and the Etoiles de l'Europe award for the FP7 BIGFOOT project. His contributions span foundational studies in distributed systems scheduling (e.g., HFSP for Hadoop) and innovative methods for cloud caching and resource management. While no advising/grants details are explicitly listed, his extensive publication record (over 227 works) reflects impactful contributions across machine learning theory and practical system optimizations.

• Scalable Machine Learning Algorithms
• Computational Statistics
• Parallel and Distributed Systems
• +۳ مورد دیگر

Sara Alouf is an Associate Researcher and Vice-Head of the Network Engineering and Operations (NEO) project team at Inria Sophia Antipolis Méditerranée. She holds a Habilitation from Université Côte d'Azur (2017), a Ph.D. in Network Sciences (2002), and an M.Sc. (1999) from Université Nice Sophia Antipolis, along with an Electrical and Electronics Engineering Degree from Lebanese University (1998). Her research focuses on stochastic modeling , caching systems , and performance evaluation of communication networks , with past work in green networking , peer-to-peer storage , and delay-tolerant networks . Education: Habilitation (2017) - Université Côte d'Azur Ph.D. (2002), M.Sc. (1999) - Université Nice Sophia Antipolis Electrical Engineering (1998) - Lebanese University Her recent work involves no-regret caching algorithms , stochastic solar energy models , and count-min sketch analysis , while earlier research addressed power saving in cellular networks and WiMAX sleep mode optimization . Articles span topics like multi-level cache hierarchies , peer-to-peer storage reliability , and evolutionary network protocols . She has co-authored three patents related to congestion avoidance and RTT estimation . Scientific awards include the Best Paper Award at IFIP Wireless Days 2009 . Professional service highlights: Board of Directors - ACM SIGMETRICS (2019-2023) Editorial roles at IEEE/ACM Transactions on Networking and Elsevier journals Conference organization for ACM Sigmetrics/IFIP Performance (2016, 2024) and ITC (2015, 2023) She has taught Performance Evaluation of Networks at Université Nice Sophia Antipolis, Probabilities and Statistics (with Giovanni Neglia), and Optimization of Business Processes at Vrije Universiteit Amsterdam. Her lab (NEO) investigates network stochastic models , green IT solutions , and train control communication systems .

• Stochastic Modeling
• Communication Networks
• Caching Systems
• +۱۱ مورد دیگر

Pascal Richard is a Full Professor specializing in Real-Time Systems at the Institute of Technology, University of Poitiers. He is affiliated with the LIAS (Laboratoire d'Ingénierie des Applications de la Résolution des Systèmes) laboratory, which has locations at both ENSIP (École Nationale Supérieure d'Ingénieurs de Poitiers) in Poitiers and ISAE-ENSMA (Institut Supérieur de l'Aéronautique et de l'Espace - École Nationale Supérieure de Mécanique et d'Aérotechnique) in Chasseneuil. His research spans over two decades with continuous publication from 1999 through 2023. Professor Richard's primary research interests focus on real-time scheduling theory, embedded systems, and avionics. His work particularly emphasizes AFDX networks , cache-related preemption delays , self-suspending tasks , and worst-case response time analysis . His research bridges theoretical foundations with practical applications in safety-critical systems, particularly in the aerospace domain. He has made significant contributions to the understanding of scheduling anomalies, feasibility analysis, and the development of approximation schemes for complex real-time problems. His publication record demonstrates strong collaboration with researchers across France and internationally, with consistent contributions to major real-time systems conferences including RTSS, ECRTS, and RTNS. His work shows an evolution from foundational scheduling theory toward increasingly complex systems including multiprocessor platforms, mixed criticality systems, and integrated modular avionics architectures. Professor Richard has contributed to the real-time community through numerous journal publications in Real-Time Systems , IEEE Transactions on Computers , and IEEE Transactions on Industrial Informatics , among others. His most recent work continues to address cutting-edge challenges in real-time scheduling for modern computing platforms.

• Real-Time Systems
• Scheduling Algorithms
• Embedded Systems
• +۵ مورد دیگر

François Baccelli is a Professor at École Normale Supérieure (ENS) and a researcher at INRIA. His research focuses on stochastic geometry, wireless networks, and network performance evaluation. He has authored influential books such as Stochastic Geometry and Wireless Networks and Elements of Queueing Theory . Baccelli is a Member of the French Academy of Sciences since 2005 and held the Eurandom Chair (2004–2005). His work bridges applied mathematics and telecommunications, addressing congestion control, network tomography, and TCP protocol analysis. He teaches advanced courses on stochastic geometry and network dynamics at ENS and collaborates with institutions like UC Berkeley and the Newton Institute. His research group, TREC, explores interdisciplinary challenges in network science. Positions: INRIA Researcher, ENS Professor, Visiting Professor at UC Berkeley (2009–2010) Education: Background in applied mathematics and computer science (details not explicitly listed) Research Interests: Integrates stochastic processes and geometry to model complex networks. Key areas include TCP protocol analysis, coverage in wireless networks, and inverse problems in queueing theory. His work emphasizes scalability, performance evaluation, and mathematical rigor. Awards: Membership in the French Academy of Sciences (2005) Eurandom Chair (2004–2005) Grants & Collaborations: Organized the Stochastic Networks Programme at the Newton Institute (2010) and contributed to startups like N2NSoft. His research is supported by projects like the Miller Institute for Basic Research. Labs/Teams: Leads the TREC research group at INRIA/ENS, focusing on network calculus, stochastic geometry, and wireless systems.

• Stochastic Geometry
• Wireless Networks
• Network Performance Evaluation
• +۴ مورد دیگر

Prof. Hind CASTEL is a Professor at Telecom SudParis affiliated with the SAMOVAR Lab (formerly UMR 5157). Her research focuses on computational statistics, multimedia engineering, e-health, and distributed systems. She contributes to projects involving optical technologies, cybersecurity, and IoT networks. She participates in academic events such as the SOP Seminar on June 12, 2023, discussing advanced mathematical methods for optimization and boundary problems. Her work addresses challenges in memory management (disaggregated systems), high-speed optical communication (III-V-on-SOI lasers), and natural language interfaces for process data. Part of the NeSS group Active in doctoral student mentoring through Samovar's annual PhD Day events Recent publications explore garbage collection in distributed systems, laser-based optical networking, and AI-driven query interfaces for business processes.

• Computational Statistics
• Multimedia Data Engineering
• E-Health
• +۶ مورد دیگر

ZHAO Hui serves as a post-doctoral Research Fellow at EURECOM's Communication Systems Department, actively contributing to cutting-edge research in wireless communications. With recent publications extending through June 2025, Dr. Zhao maintains an active research profile focusing on theoretical and practical aspects of next-generation wireless systems. Dr. Zhao's research spans several interconnected domains within wireless communications, with particular emphasis on coded caching techniques , satellite communication systems , and MIMO technologies . The work demonstrates sophisticated mathematical analysis of wireless channel characteristics, with specific attention to stochastic modeling of satellite networks , physical layer security mechanisms , and resource allocation optimization . Recent publications show increasing focus on near-field communications and semantic communications , reflecting the evolution of 6G research directions. The research methodology combines theoretical analysis with practical implementation considerations, often addressing real-world constraints in wireless network design. Among notable recognitions, Dr. Zhao was selected as a Best Student Paper Finalist at the ACSSC 2021 conference, one of only eight papers chosen from the total submissions. This recognition highlights the quality and innovation of the research contributions in the field of wireless communications. Dr. Zhao actively collaborates with researchers including Dirk Slock, Petros Elia, and Antonio Bazco-Nogueras, suggesting participation in a well-established research group focusing on information theory and wireless communications. The consistent publication record across top-tier IEEE journals and conferences indicates successful grant funding and institutional support for this research line.

• Wireless Communications
• Coded Caching
• Satellite Communications
• +۵ مورد دیگر

Overview Rajeev Alur is the Zisman Family Professor and Director of the ASSET Center for Trustworthy AI at the University of Pennsylvania . His career spans groundbreaking work in formal methods, cyber-physical systems, and programming languages. PhD from Stanford University (1991) Bachelor's degree from IIT Kanpur (1987) Research Interests His research focuses on ensuring safety and trustworthiness in AI systems, particularly autonomous systems like self-driving cars and medical devices. Key areas include: Neurosymbolic integration Temporal logic in reinforcement learning Verification of neural network controllers Trustworthy machine learning Extending formal methods to modern AI Recent Publications Rajeev's recent work (2023-2025) emphasizes compositional verification, neurosymbolic learning, and secure microservice architectures. Notable trends include: Combining formal specifications with deep learning Scalable verification techniques for neural networks Relational query synthesis Application to autonomous systems with neural perception Chordal sparsity models for efficient analysis Scientific Recognition Alonzo Church Award (2016) Knuth Prize (2024) EATCS Award (2025) ACM/IEEE Fellow Advising & Grants He has advised 30+ PhD students now in academia (Georgia Tech, UCSD, etc.) and industry. As lead PI of the NSF Expeditions project ExCAPE , he drove program synthesis research. Currently serves as General Chair for FLoC 2026 . Labs & Teams Directs the ASSET Center and collaborates with Penn's PRECISE Center and PL Club . His work integrates with industry verification tools at Amazon, Microsoft, and Google.

• Formal Methods
• Cyber-Physical Systems
• Programming Languages
• +۷ مورد دیگر

Loïc Lagadec is a Professor in Computer Science at ENSTA-Bretagne, an engineering school in Brest, France, where he serves as Assistant Head of Research Delegate for Cybersecurity Activities and is a member of LabSticc. His career spans academic leadership, research in reconfigurable architectures, cybersecurity, and hardware-software co-design. Affiliation: ENSTA-Bretagne, LabSticc Research Focus: FPGA CAD tools, Homomorphic Encryption, RISC-V security His research explores CAD tools for unconventional architectures (e.g., NASICs), homomorphic encryption evaluation, and hardware acceleration. He employs Smalltalk-based object-oriented languages for domain modeling and software quality. Current projects include on-chip monitoring for zero-day attack detection and secure RISC-V extensions. Recent publications highlight trends in machine learning hardware acceleration , JIT compiler security , and deep-sea IoT environmental constraints . Grants include DGA-funded "Overlays for long time maintenances" (2014-2016) and "Secure Overlays" (2017-2020), and Région Bretagne CPER Cyber-SSI (2015-2020). He has supervised PhD students including Xuan Sang Le , Théotime Bollengier , and Cyrielle Feron , and collaborates with institutions like Lab-STICC and European MORPHEUS IP FP6 projects. His work bridges theoretical innovation with practical embedded systems implementation.

• CAD tools for FPGAs
• Homomorphic Encryption
• Cybersecurity
• +۵ مورد دیگر

Richard Combes is an Associate Professor at CentraleSupélec, affiliated with the Laboratoire des Signaux et Systèmes (L2S). His research focuses on Automatic Control, Telecommunications, Signal Processing, and Machine Learning. Combes is a member of several research groups, including MODESTY, COMEDY, SYCOMORE, and IPHYCOM, which explore topics like robust control systems, communication networks, and optimization. His work bridges theoretical advancements with practical applications in wireless systems and multi-agent learning. His research emphasizes the design and analysis of algorithms for communication systems, multi-armed bandits, and network protocols. Recent studies include Thompson Sampling strategies for combinatorial bandits, optimal scheduling for coded caching, and resource allocation in hierarchical beamforming systems. His contributions address challenges in high-dimensional learning, wireless reliability, and efficient spectral estimation. Combes has published extensively in top-tier venues such as IEEE Transactions, NeurIPS, and COLT. Key areas of focus include reinforcement learning, network fairness, and protocol optimization. His work often intersects with theoretical computer science and applied mathematics, driven by real-world communication and control system problems.

• Automatic Control
• Telecommunications
• Signal Processing
• +۵ مورد دیگر

Djob Mvondo is an Associate Professor at the University of Rennes 1, France, affiliated with the IRISA laboratory and the WIDE Team. He previously held a postdoctoral position at the University of Edinburgh, focusing on virtualization and cloud computing under Antonio Barbalace. His Ph.D. from the University of Grenoble Alpes (2020) explored resilience and sizing in virtualized environments under Prof. Noel De Palma and Prof. Alain Tchana. His research interests span virtualization, cloud computing, and operating systems. Notable achievements include the 2021 ASF and GDR RSD Thesis Prize for his dissertation. He advises two Ph.D. students and collaborates with institutions like Inria and Blacknut. Recent grants include a 300K€ French National Research Agency award (2023) and a 40K€ Rennes Metropole grant for heterogeneous CPU architectures. Teaching includes courses on cloud security, network security in IoT, and ACM programming at ENS Lyon. Active in the academic community, he serves on program committees for conferences such as Eurosys, Middleware, and DSN. He organizes hackathons and contributes to open-source projects like Unikraft. His work addresses challenges in distributed systems, hypervisor optimization, and cloud resilience.

• Virtualization
• Cloud Computing
• Operating Systems
• +۳ مورد دیگر