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

Francesco Lo Iudiceمشاهده پروفایل

استادیار

• Control Theory
• Network Dynamics
• Opinion Dynamics
• +۴ مورد دیگر

Francesco Lo Iudice is an Assistant Professor of Automatic Control at the University of Naples Federico II, Italy. His research focuses on control theory applied to complex networks, including network dynamics, opinion formation, power systems, and multi-agent systems. He explores topics such as synchronization, consensus protocols, pinning control strategies, and optimal control in renewable energy communities. His work bridges theoretical advancements with practical applications in smart grids, autonomous systems, and social network analysis. Key research themes include: Controllability and observability of complex networks Opinion dynamics in social-technical systems Design of distributed control algorithms for power systems Analysis of temporal and hypergraph networks His recent publications emphasize: Explosive synchronization phenomena Optimal recharge scheduling in automated systems Strategies for parallel power system restoration Modeling vaccine hesitancy via opinion dynamics Dr. Lo Iudice collaborates internationally on interdisciplinary projects combining control engineering with network science. His work has been applied to pandemic response modeling and smart energy management systems.

Robert Souléمشاهده پروفایل

دانشیار

• Networking
• Distributed Systems
• Databases
• +۱ مورد دیگر

Robert Soulé is an Associate Professor at Yale University, holding dual appointments in Computer Science and Electrical Engineering. He previously served as an Associate Professor at the Università della Svizzera italiana (USI) in Lugano, Switzerland, and retains an Adjunct Professor position there. Soulé earned his B.A. from Brown University and his Ph.D. from New York University, followed by a postdoc at Cornell University. He is a Senior Member of the ACM and IEEE, and his research has been recognized with best paper awards at DEBS 2012, NSDI 2018, and CoNEXT 2020. His research focuses on computer systems, including networking, distributed systems, databases, and programming languages. Notable contributions include work on in-network computing, programmable data planes, and sustainable networking. He teaches advanced courses on databases, networking, and compilers at Yale and has previously taught at USI and Cornell. Soulé advises a team of PhD students and postdocs, with alumni working in industry and academia. His grants include NSF support for sustainable computing initiatives. He leads research efforts in areas like carbon-aware networking, quantum network specifications, and high-performance RPC systems. His work bridges theory and practice, emphasizing system design and verification. Affiliations: Yale University, USI (Adjunct) Education: Ph.D. (NYU), B.A. (Brown) Grants: NSF funding for sustainable computing Lab/Team: Research group focused on systems and networking innovations

Marios Kogiasمشاهده پروفایل

استادیار

• Operating Systems
• Networking
• Distributed Systems
• +۴ مورد دیگر

Marios Kogias is an Assistant Professor in the Department of Computing at Imperial College London, conducting research at the intersection of operating systems, networking, and distributed systems with a focus on tail-tolerance, fault-tolerance, and confidentiality using emerging datacenter hardware. He holds a PhD in Computer Science from EPFL (2020) supervised by Ed Bugnion, where his thesis won the Dennis M. Ritchie Award and received an Honourable Mention for the Eurosys Roger Needham PhD Award. His undergraduate degree in Electrical and Computer Engineering is from NTUA. His research spans operating systems, networking, distributed systems, cloud computing, and confidential computing, with significant contributions to microsecond-scale computing, serverless architectures, and eBPF applications. Current work emphasizes tail-latency optimization in datacenter environments and confidential computing security. Recent publications reveal strong trends in microsecond-scale systems, confidential computing, and serverless workflows, demonstrating expertise in leveraging hardware innovations for performance and security guarantees across distributed environments. His scientific awards include: Dennis M. Ritchie Award (2021) Honourable Mention for the Eurosys Roger Needham PhD Award (2021) IBM Fellowship Microsoft Swiss JRC Fellowship Distinguished Artifact Award (ASPLOS 2021) Best Student Paper Award (Eurosys 2020) Dr. Kogias actively mentors PhD students including Konstantinos Prasopoulos (co-advised with Ed Bugnion), Scofield Liu, Farzad Mohammadi, and Adel Sefiane. He teaches Networked Systems, Computer Networks and Distributed Systems, and Object-Oriented Design at Imperial, supported by fellowships from IBM and Microsoft during his doctoral research. His collaborative work spans EPFL, Microsoft Research Cambridge, and Imperial College London, focusing on systems architecture for next-generation datacenter applications.

• Fault Tolerant Distributed Algorithms
• Formal Methods
• Self-Stabilizing Systems
• +۳ مورد دیگر

Karine Altisen is an Associate Professor at Université Grenoble Alpes, affiliated with the VERIMAG Laboratory and teaching at Grenoble INP/Ensimag. She holds administrative roles as Vice-Head of Studies at Ensimag and member of the MSTIC Research Department. Her research focuses on fault-tolerant distributed algorithms and formal methods, including self-stabilizing systems, model-checking, and formal proof techniques using tools like Coq. She has contributed to projects such as ANR SkyData and ESTATE, exploring autonomous data paradigms and safety in time-varying environments. Education includes a PhD in Computer Science (2001, Verimag Lab, advisor J. Sifakis) and postdoctoral work at INRIA Rhônes-Alpes (2001–2002) on multi-task control systems. Her work bridges theoretical foundations with practical implementations, emphasizing verified algorithms and cross-layer resource allocation in wireless sensor networks. Research interests span distributed systems, formal verification, and energy-efficient protocols. Recent publications address leader election in directed networks, convergence of BFS spanning trees, and transistor-level hardware verification using SMT solving.

Yilun Shangمشاهده پروفایل

دانشیار

• Complex Systems
• Network Science
• Nonlinear Dynamics
• +۷ مورد دیگر

Yilun Shang is an Associate Professor in the Department of Computer and Information Sciences at Northumbria University. Previously, he held an Associate Professor position at Tongji University's School of Mathematical Sciences (2014–2018). His research interests span complex systems, network science, and nonlinear dynamics. He earned a PhD in Applied Mathematics from Shanghai Jiao Tong University in 2010, followed by postdoctoral appointments at institutions including the University of Texas at San Antonio and the Hebrew University of Jerusalem. Shang's work focuses on three core areas: (1) properties of complex networks (e.g., robustness, percolation, epidemic models), (2) mathematical properties of random graph models (e.g., degree distribution, connectivity, algebraic indices), and (3) nonlinear dynamics in multi-agent systems (e.g., synchronization, consensus algorithms). He has organized international conferences and delivered invited talks on topics like Estrada indices in random graphs. His academic achievements include the 2016 Dimitrie Pompeiu Prize and a presentation at the 2018 International Congress of Mathematicians. He advises postgraduate students in complex networks and systems and investigates resilient consensus protocols, graph metrics, and topological indices with applications in chemistry and engineering.

• Distributed Systems
• Data Management
• Dependability
• +۴ مورد دیگر

Rui Oliveira is an Associate Professor at Universidade do Minho in Portugal, affiliated with the Distributed Systems Group. His research focuses on dependable distributed systems, fault-tolerant database systems, and large-scale distributed systems. He teaches Distributed Systems across undergraduate, master's, and doctoral programs. Research Interests His work spans epidemic communication protocols, data management in cloud environments, and high-performance transactional middleware. Recent contributions include frameworks for privacy-preserving machine learning (SOTERIA), distributed tracing (CAT), and fault-diagnosis tools for I/O behavior analysis. Key Contributions Developed the Loom disaggregated database system, the TADA distributed agreement toolkit, and the DATAFLASKS epidemic storage substrate. His work emphasizes practical implementations of scalable and resilient distributed systems. Labs/Teams Affiliated with HASLab (Hardware and Software Systems Laboratory), focusing on distributed systems research. Collaborates with industry on cloud computing and cybersecurity challenges.

• Distributed Computing
• Blockchain
• Fault Tolerance
• +۳ مورد دیگر

Rida Bazzi is an Associate Professor at the School of Computing and Augmented Intelligence (SCAI) at Arizona State University (ASU), affiliated with the Center for Cybersecurity and Trusted Foundations. He joined ASU in 1996 after roles as an Assistant Professor at Florida International University and a senior consultant at I-Cube. His expertise spans distributed computing, blockchain, fault tolerance, and cybersecurity. Education: Ph.D. and M.Sc. in Computer Science from Georgia Institute of Technology (1994), B.E. in Computer and Communications Engineering from American University of Beirut (1989). Research focuses on distributed systems, blockchain mechanisms, secure protocols, and fault-tolerant designs. Notable work includes fractional spending in blockchain transactions, secure routing, and anti-phishing strategies. He has authored over 50 publications and holds patents in image matching and federated learning. Teaching includes courses like Principles of Programming Languages (CSE 340) and contributes to curriculum development. His grants include NSF-funded projects on scientific workflow updates and cybersecurity tools. He has served on committees for conferences like PODC and IEEE Distributed Computing Systems. Active in service roles, including the ACM Symposium on Distributed Computing (General Chair, 2008) and Fulton School Sabbatical Committee (2006–2007).

Miguel Mosteiroمشاهده پروفایل

استاد

• Algorithms
• Distributed Computing
• Internet of Things
• +۷ مورد دیگر

Miguel Mosteiro is a Professor and Chair of the Computer Science Department at Seidenberg School of Computer Science and Information Systems, Pace University. He earned his PhD and MS in Computer Science from Rutgers University and holds a Bachelor of Engineering in Electronics from Universidad Tecnologica Nacional, Argentina. Research Interests Theoretical and experimental algorithms Distributed computing in constrained environments Machine learning and game theory applications Crowd/cloud computing and radio networks His recent publications focus on distributed algorithms for anonymous networks (2024), vehicular networks (2024), and information dissemination in wireless systems (2022-2023). He co-authored the ICALP 2018 best paper and served as keynote speaker at Fun with Algorithms 2022. Scientific Awards 2016 Faculty Research Mentor of the Year (Kean University) 2018 ICALP Best Paper Award 2022 Fun with Algorithms Keynote Speaker Grants include NSF-funded projects on IoT algorithms, crowd computing security, and anonymous network computations. He advises undergraduate and graduate students, including 2016 Undergraduate Researcher of the Year Maitri Chakraborty.

• Distributed Computing
• Self-Stabilizing Algorithms
• Robotics
• +۳ مورد دیگر

Stéphane Devismes is a Professor at Université de Picardie Jules Verne and a member of the ALCO: Algorithmics and Complexity team within the MIS Lab (UR 4290). His research focuses on Distributed Computing , Self-Stabilizing Algorithms , Robotics , and Network Security . He has contributed extensively to algorithmic solutions for grid exploration by autonomous robots, leader election in dynamic networks, and certified self-stabilization frameworks. Keywords : Distributed Systems, Self-Stabilization, Robotics, Algorithmics, Complexity, Security His recent work trends include self-stabilizing unison in directed networks, infinite grid exploration by myopic robots, and certified algorithm analysis for worst-case stabilization times. Notable projects include the SASA simulator for self-stabilizing algorithms and the SR3 secure routing protocol. Devismes has received prestigious awards including the Wilkes Award 2022 and Best Student Paper Awards at ICDCN'2023 and SSS'2013. He has supervised numerous PhD and Master's theses, including those of Geoffrey Defalque and Anaïs Durand, and actively participates in international program committees and grant-funded research like the ANR SkyData project.

Tomasz Radzikمشاهده پروفایل

استاد

• Algorithm design
• Network optimization
• Wireless communication algorithms
• +۵ مورد دیگر

Professor Tomasz Radzik is a Professor of Computer Science at King's College London's Department of Informatics, within the Faculty of Natural, Mathematical & Engineering Sciences. His research focuses on algorithm design, network optimization, wireless communication algorithms, and data structures. He holds a PhD from Stanford University and an MSc from the University of Warsaw. Education: Doctor of Philosophy, Algorithms for Some Linear and Fractional Combinatorial Optimization Problems, Stanford University (1992) Master of Science, Communication and Routing in Synchronous Parallel Machines, University of Warsaw (1985) Research Interests: Radzik's work spans algorithm design for network protocols, distributed systems, and wireless communication. He explores practical implementations of algorithms and their experimental evaluation. His current projects include the Finance Hub (FinTech), Machine Learning, and Algorithms and Data Analysis groups. Grants & Projects: Concept drift in distributed IIoT networks (Toshiba Research Europe, 2021–2025) Randomized Algorithms for Computer Networks (EPSRC, 2014–2017) Expander and Random Walks research (EPSRC, 2011–2014) Collaborations & Labs: Radzik leads King's College's Algorithms and Data Analysis group. His work intersects with the Finance Hub and Machine Learning initiatives, focusing on FinTech and distributed computing challenges.

Marten van Dijkمشاهده پروفایل

استاد

• Computer Security
• Cryptography
• Secure Processor Design
• +۷ مورد دیگر

Dr. Marten van Dijk is a Full Professor in the Computer Security department at Vrije Universiteit Amsterdam (VU) since 2022 and a Group Leader for Computer Security at CWI since 2020. He also holds a Gratis Full Research Professor position at the University of Connecticut's ECE Department since 2020. Previously, he served as Associate and Full Professor at the University of Connecticut and held research roles at MIT CSAIL, RSA Laboratories, and Philips Research. PhD in Mathematics (1997, Eindhoven University of Technology) M.S. in Mathematics (Cum Laude, 1993) M.S. in Computer Science (Cum Laude, 1991) His research focuses on foundational computer security problems using cryptographic principles, including secure processor design, oblivious computation, and privacy-preserving machine learning. Notable contributions span Physical Unclonable Functions (PUFs), Aegis secure processor architecture, and oblivious RAM protocols. 15+ publications in 2023-2025 address topics like PUF cryptanalysis, differential privacy in federated learning, and Byzantine fault tolerance Key journals: IEEE Transactions on Computers, Journal of Cryptology, ACM CCS Conference Award highlights include: IEEE Fellow (2022) for secure processor design and encrypted computation IEEE Technical Achievement Award (2023) Intel Test of Time Award (2022) ACM CCS Best Paper (2013) A. Richard Newton Technical Impact Award (2015) His technical leadership spans hardware security (blu-ray error correction codes), cryptographic protocol design, and machine learning privacy frameworks. Current projects focus on secure processors with hardware-enforced isolation and differential privacy optimization.

• Formal Methods
• Distributed Systems
• Model Checking
• +۵ مورد دیگر

Stephan Merz is a Professor at the University of Lorraine, affiliated with Inria Nancy - Grand Est and the LORIA research laboratory. His work focuses on formal methods for the specification and verification of distributed systems, with a particular emphasis on the TLA+ specification language developed by Leslie Lamport. Merz has established himself as a leading expert in formal verification through decades of research and numerous collaborations with prominent figures in the field. Merz's research interests encompass several interconnected areas within theoretical and applied computer science: Formal specification languages and their theoretical foundations Distributed algorithms and fault-tolerant systems Model checking and theorem proving techniques Verification of consensus algorithms and synchronization protocols Security policy verification in modern network architectures His recent publications reveal a consistent research trajectory advancing both the theoretical underpinnings and practical applications of formal methods. The 2021-2023 publications demonstrate particular focus on extending PlusCal (a pseudo-algorithm language for TLA+), developing automatic verification techniques for distributed algorithms like the Bakery algorithm, and tackling synchronization challenges in dynamic networks. His award-winning work on synchronization modulo k highlights the practical significance of his theoretical contributions. Merz has received notable recognition for his research, including a best paper award at the 23rd International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2021) for his work on synchronization in dynamic networks. This award underscores the impact and innovation of his research within the distributed systems community. Throughout his career, Merz has collaborated extensively with researchers across institutions, co-authoring papers with Leslie Lamport and other leading figures in formal methods. His work on the TLA+ Proof System (TLAPS) has been particularly influential, bridging the gap between theoretical formal methods and practical verification tools. He has also contributed significantly to verifying real-world protocols like Pastry (a distributed hash table implementation). Merz is actively involved with the LORIA research laboratory, a joint unit of INRIA, CNRS, and the University of Lorraine, where he contributes to advancing research in formal methods and their application to critical systems. His work continues to influence both academic research and industrial applications of formal verification techniques.

• Blockchain Technology
• Bitcoin Network Security
• Distributed Ledger Systems
• +۳ مورد دیگر

Muntadher Fadhil Sallal is a researcher affiliated with the University of Portsmouth, Department of Computing and Informatics, United Kingdom. His academic work focuses on blockchain technology, Bitcoin network security, and performance optimization, with additional research interests in e-voting systems utilizing distributed ledger technology. Education: PhD in Computer Science, University of Portsmouth, UK (2018) Research Interests: Dr. Sallal's research primarily investigates the intersection of blockchain technology and network security, with a specific focus on Bitcoin network architecture and performance metrics. He explores methods to enhance propagation delay through clustering strategies and node protocol analysis. Additionally, his work extends to implementing blockchain-based solutions for secure e-voting systems with verifiability features, as well as innovative applications in 6G network spectrum management and industrial autonomous robot security. Publication Trends: His publications demonstrate expertise in blockchain performance analysis, with 15 recent works examining network optimization, security frameworks for decentralized systems, and verifiable voting mechanisms. Key research areas include cryptocurrency network topology, latency reduction in peer-to-peer systems, and blockchain-based infrastructure for secure digital processes.

João Pedro Faria Mendonça Barretoمشاهده پروفایل

دانشیار

• Persistent Memory
• Exascale Computing
• Transactional Memory
• +۵ مورد دیگر

João Pedro Faria Mendonça Barreto is an Associate Professor at Instituto Superior Técnico (University of Lisbon) and a researcher in the Distributed Systems Group at INESC-ID. His work focuses on system support for persistent memory, exascale computing, transactional memory, and blockchain consensus protocols, with significant contributions to heterogeneous memory systems and NUMA optimization.

• Neurodegenerative Diseases
• Dementia with Lewy Bodies
• Alzheimer's Disease
• +۶ مورد دیگر

Dr. Dag Aarsland is a prominent neurodegenerative disease researcher at Newcastle University, specializing in dementia with Lewy bodies (DLB), Alzheimer's disease, and Parkinson's-related cognitive impairment. As a key contributor to the DLB Consortium, he has shaped international diagnostic criteria through multiple consensus reports. His work bridges molecular mechanisms, clinical diagnostics, and therapeutic development. His research focuses on: Diagnostic criteria development for prodromal and mild cognitive impairment stages Sex-specific neurodegeneration patterns and biomarker validation Multimodal neuroimaging (EEG, MRI) and molecular pathway analysis Therapeutic target identification for amyloid-β and tau pathologies Analysis of his 2017-2025 publications reveals consistent leadership in DLB research, with increasing emphasis on multicenter validation studies (2025 EEG work), AI-driven diagnostics (2020 deep learning MRI), and sex-differentiated analysis (2024 brain atrophy study). His work demonstrates strong translational impact through DLB Consortium guidelines while maintaining rigorous basic science investigation. Dr. Aarsland maintains extensive national and international collaborations, particularly through the DLB Consortium, working with leading researchers including Professor Ian McKeith, Professor John-Paul Taylor, and Dr. Clive Ballard. His continuous publication record indicates active grant funding supporting multicenter clinical studies and translational research programs.