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

Darryl Veitchمشاهده پروفایل

استاد

• Computer Networking
• Traffic Modelling
• Parameter Estimation
• +۴ مورد دیگر

Darryl Veitch is a Professor in the School of Electrical and Data Engineering at the University of Technology Sydney (UTS), affiliated with the Global Big Data Technologies Centre. He holds a PhD in Mathematics from the University of Cambridge (1990) and a BSc (Hons) from Monash University (1985). His research focuses on computer networking, including traffic modeling, parameter estimation, active measurement, and clock synchronization over networks. A Fellow of the IEEE, he has held academic positions globally, including as a Professorial Research Fellow at the University of Melbourne (2000–2014). Education: PhD in Mathematics, University of Cambridge, 1990 BSc (Hons) in Mathematics, Monash University, 1985 Key Roles: Professor at UTS since 2015 Professorial Research Fellow at University of Melbourne (2000–2014) His research interests span network timing, security, and measurement methodologies. Notable contributions include work on leap second implications for global timing systems and robust synchronization protocols. He has authored over 176 research outputs and contributes to academic leadership through conference organization and editorial roles. Awards: Fellow of the IEEE (recognized for contributions to network measurement and synchronization). Teaching & Supervision: Specializes in Computer Networking, Signal Processing, and Information Theory. Taught subjects like Transmission Systems (2016) and Web Systems (2018–present). Labs/Teams: Active contributor to UTS’s Global Big Data Technologies Centre, focusing on scalable network measurement and timing infrastructure.

Eric Ruppertمشاهده پروفایل

دانشیار

• Distributed Computing
• Shared-Memory Algorithms
• Data Structures
• +۳ مورد دیگر

Eric Ruppert is an Associate Professor in the Department of Electrical Engineering & Computer Science at York University, where he has taught computer science since 2000. He is a member of the Theory of Computing Group and teaches foundational computer science courses including algorithms and theory of computation. He has served on program committees for major conferences including PODC 2025 and WADS 2025. Ruppert received his education at the University of Toronto. He has held postdoctoral positions at Brown University and served as a visiting professor at the École Polytechnique Fédérale de Lausanne. His research focuses on the theory of distributed computing, with particular emphasis on algorithm design and lower bound proofs. His recent work has centered on shared-memory data structures for multi-core architectures. His research interests span distributed algorithms, computational complexity, and the theoretical foundations of concurrent systems. He has made significant contributions to understanding the computational power of population protocols, consensus problems, and non-blocking data structures. His publication record shows a consistent focus on distributed computing theory, with recent work emphasizing non-blocking and wait-free data structures. Over the past decade, his research has increasingly addressed challenges in concurrent programming for multi-core systems, developing efficient algorithms for queues, deques, and binary search trees that provide strong progress guarantees. Ruppert has been actively involved in the distributed computing research community, serving on program committees for major conferences including PODC and WADS. His work has been published in top-tier venues such as Distributed Computing, Journal of the ACM, and proceedings of ACM SIGACT/SIGOPS conferences. At York University, Ruppert teaches courses on algorithms, theory of computation, and computational complexity. He has supervised numerous graduate students through project courses and thesis work. He is known for his dedication to teaching, including coaching students for the annual ACM programming contest. Ruppert is a member of the Theory of Computing Group at York University, which focuses on foundational aspects of computer science including algorithms, complexity theory, and distributed systems. His work bridges theoretical computer science with practical applications in concurrent and parallel computing.

• Control Systems
• Networked Systems
• Distributed Control
• +۳ مورد دیگر

Emma Tegling is a Senior Lecturer (Associate Professor) at the Department of Automatic Control , Lund University , with a Wallenberg AI, Autonomous Systems and Software Program (WASP) professorship. She holds multiple roles including Deputy Head of Department, Project Manager, and Profile Area Member in AI & Digitalization and Natural & Artificial Cognition. Her research focuses on analysis and control of large-scale networked systems , with emphasis on distributed control, power networks, and social/epidemiological networks. Tegling earned her PhD in Electrical Engineering from KTH Royal Institute of Technology (2019) and held postdoctoral positions at MIT IDSS. She has led projects on network controllability, optimization, and societal applications. Notable contributions include scalable control design for vehicular formations and optimal control of linear cost networks. Her work aligns with UN Sustainable Development Goals related to affordable clean energy and industry innovation. Education: PhD in Electrical Engineering, KTH Royal Institute of Technology (2019) M.Sc. and B.Sc. in Engineering Physics, KTH Royal Institute of Technology (2013, 2011) Research Trends: Recent articles emphasize minimax optimal control, compositional design for nonlinear systems, and multipolar opinion dynamics in biased networks. Themes include scalability limits, distributed algorithms, and transients in networked systems. Grants & Projects: Leads WASP-funded projects on learning in networks and dynamic socio-technical systems. Involved in initiatives like the European Control Conference 2024. Supervises PhD students in control systems and network dynamics. Labs & Teams: Active in the Department of Automatic Control research groups focused on network science and AI-driven control solutions, contributing to Lund University's AI and Digitalization profile.

Silun Zhangمشاهده پروفایل

استادیار

• Nonlinear Control
• Large-Scale Complex Systems
• Privacy-Preserving Algorithms
• +۳ مورد دیگر

Silun Zhang is an Assistant Professor in the Department of Mathematics at KTH Royal Institute of Technology, affiliated with WASP (Wallenberg AI, Autonomous Systems and Software Program) and the Digital Futures Faculty. He holds a Ph.D. in Optimization & Systems Theory from KTH (2019), an M.S. and B.S. in Automation from Harbin Institute of Technology, China. Prior to KTH, he was a Postdoctoral Associate at MIT's Laboratory for Information & Decision Systems (LIDS) and EECS Department (2019–2023), where he collaborated with Prof. Munther Dahleh and contributed to the MIT MicroMasters Program in Statistics and Data Science. His research focuses on nonlinear control , large-scale complex systems , privacy-preserving algorithms , and risk-averse reinforcement learning . Key areas include control on manifolds (e.g., rigid-body attitude coordination), privacy in federated learning, and moment-based modeling for collective systems. He leads projects such as 'Analysis and Synergy of Hyper-networked Autonomy' and 'Designing Interaction-Aware Multi-Robot Systems.' Current team members include Georgios Vasileiou (Ph.D.), Lantian Zhang (Postdoc), and Malintha Fernando Chakravarthige (Postdoc). His work is supported by the Wallenberg Foundations and Digital Futures. Open positions are available for motivated Ph.D. students and postdocs.

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

استادیار

• Persistent Memory
• Blockchain Scalability
• Systems Evaluation
• +۳ مورد دیگر

Miguel Matos is an Assistant Professor at Instituto Superior Técnico (IST) of Universidade de Lisboa and a Researcher at INESC-ID's Distributed Systems Group. His research focuses on Persistent Memory systems, blockchain scalability, distributed systems evaluation, and database performance. He has led major projects such as Angainor (reproducible evaluation tools) and ACT-PM (crash-consistency testing). Research interests include exploring persistent memory's challenges, blockchain Layer-2 limitations, automated bug detection (HawkSet, Mumak), and decentralized network emulation (Kollaps). He has received awards like the Gilles Muller Best Artefact Award at EuroSys 2025 and Best Paper Awards at DAIS 2017 and IPDPS 2012. He coordinates multi-million Euro grants including EU's Qualichain and national FCT projects. Teaching includes courses like 'Highly Dependable Systems' and 'Large-Scale Systems Engineering' at IST. His work bridges academia and industry, collaborating with startups like MIMA Housing and LeanXcale.

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

استاد

• Cybersecurity
• Distributed Systems
• Blockchain Technology
• +۵ مورد دیگر

Miguel Pupo Correia is a Full Professor in the Department of Computer Science and Engineering at Instituto Superior Técnico, University of Lisbon. He serves as President of the Executive Committee of INESC-ID and is a researcher in the Distributed, Parallel and Secure Systems (DPSS) group. He represents Portugal in the European Blockchain Partnership (EBP) and holds roles in Associação .PT. He holds a PhD in Computer Science from the University of Lisbon Faculty of Sciences. His research focuses on cybersecurity, dependability in distributed systems, and their applications in blockchain, cloud, and mobile environments. Key projects include TRUSTyFOOD, BIG, and MAFTIA, among others. He is an Associate Editor for IEEE Transactions on Computers and a Senior Member of IEEE. His work spans blockchain interoperability, secure cloud storage, intrusion detection, and fault-tolerant algorithms. Notable contributions include BlockSim (a blockchain simulator) and SRX (SGX data recovery). He has over 200 publications and leads initiatives like BLOCKCHAIN.PT to advance Portugal’s blockchain adoption.

Gregory Chocklerمشاهده پروفایل

استاد

• Distributed Computing
• Blockchain Technology
• Fault-Tolerant Systems
• +۳ مورد دیگر

Professor Gregory Chockler is a full professor at the University of Surrey's Department of Computer Science, affiliated with the School of Computer Science and Electronic Engineering. He is Joint Head of the Distributed and Networked Systems Group and a member of the Surrey Centre for Cyber Security. His career spans roles at MIT, IBM Research, Royal Holloway University of London, and multiple visiting positions at institutions like EPFL and KTH. Education: Bachelor's and Master's degrees in Computer Science (Israel) PhD from the Hebrew University of Jerusalem Postdoctoral research at MIT (2003-2005) Research Interests: Chockler focuses on distributed systems, blockchain, and fault-tolerant computing. His work includes scalable consensus protocols, secure distributed storage, and applications of distributed algorithms in cloud and blockchain systems. Recent efforts emphasize resilient blockchain systems and efficient consensus mechanisms under communication failures. Key Contributions: His research has led to advancements in IBM WebSphere products, including Speculative Paxos for cloud management and event-monitoring techniques. Current projects explore NVM-based durable systems (e.g., Mangosteen) and channel reliability in distributed networks. Awards & Grants: IBM Outstanding Technical Achievement Award (2010s) Stellar Development Foundation Grant (2020) Facebook Faculty Award (2015) Advising & Collaboration: Supervises PhD students in distributed systems and collaborates with industry partners like IBM, Stellar, and Facebook. His work bridges academia and industry, addressing real-world scalability and security challenges. Labs & Teams: Leads the Distributed and Networked Systems Group, contributing to Surrey's Cyber Security Centre. Active in collaborative frameworks like CoMiFin for financial infrastructure protection.

Christian Cachinمشاهده پروفایل

استاد

• Cryptography
• Blockchain Technology
• Distributed Systems
• +۵ مورد دیگر

Prof. Dr. Christian Cachin is a Professor at the Institute of Computer Science of the University of Bern, Switzerland. He leads the Cryptology and Data Security research group and serves as Deputy Director of the Institute. His work focuses on cryptography, blockchain technology, and distributed systems, with particular emphasis on consensus protocols, privacy-preserving technologies, and secure multi-party computation. He has contributed to foundational research in threshold cryptography, transaction graph models, and DAG-based consensus mechanisms. Prof. Cachin's research spans theoretical and applied aspects of distributed systems, including blockchain scalability, consensus mechanisms (e.g., Avalanche, Proof-of-Stake), and privacy-enhancing technologies like secure aggregation and untraceable payments. His group develops practical implementations, such as the Thetacrypt threshold cryptography service and analyses of protocols like FastPay and Inter-Blockchain Communication. He has authored over 150 publications in top venues, including the 2021 Principles of Distributed Computing Doctoral Dissertation Award. His work bridges academic theory and real-world applications, addressing challenges in decentralized systems, smart contract security, and blockchain interoperability.

Erica Blumمشاهده پروفایل

استادیار

• Cryptography
• Cybersecurity
• Distributed Systems
• +۳ مورد دیگر

Erica Blum is an Assistant Professor of Computer Science at Reed College, affiliated with the Computer Science Department within the Division of Mathematical and Natural Sciences. Her research focuses on cybersecurity and cryptography, particularly in designing provably secure systems for scenarios involving faulty devices. Key areas include multiparty computation and Byzantine consensus protocols. Blum holds a bachelor's degree in mathematics from Haverford College and a Ph.D. in computer science from the University of Maryland. Her work emphasizes theoretical foundations with practical applications in distributed systems security. Her recent publications (2019–2023) explore consensus protocols under dynamic network conditions, blockchain security (e.g., Algorand analysis), and hybrid asynchronous/synchronous systems. Notable contributions include the Tardigrade atomic broadcast protocol and analyses of HashGraph and Proof-of-Stake mechanisms. While no awards or grants are explicitly listed, her research demonstrates sustained engagement with foundational challenges in distributed computing security.

Michael Waidnerمشاهده پروفایل

استاد

• Cybersecurity
• Privacy
• Distributed Systems Security
• +۳ مورد دیگر

Michael Waidner is Professor of Computer Science at Technische Universität Darmstadt and Director of the Fraunhofer Institute for Secure Information Technology (SIT). He founded and directs the National Research Center for Applied Cybersecurity ATHENE. His research focuses on practical cybersecurity challenges including internet infrastructure security, cloud vulnerabilities, and cryptographic protocols. Research highlights: Internet infrastructure security (RPKI, DNSSEC) Cloud platform vulnerabilities Cryptographic protocol analysis Network attack mitigation Industrial control system security Recent work addresses vulnerabilities in resource public key infrastructure (RPKI), cloud resource management, and cross-layer network attacks. His publications demonstrate a strong focus on identifying and mitigating practical security weaknesses in critical internet infrastructure and emerging technologies.

Vladimiro Sassoneمشاهده پروفایل

استاد

• Cyber Security
• Blockchain
• Internet of Things
• +۳ مورد دیگر

Professor Vladimiro Sassone holds the Roke/RAEng Research Chair in Cyber Security at the University of Southampton, where he leads cutting-edge research in secure systems design. As a core member of the Cyber Security Academy, he directs EPSRC and EU-funded projects including IOTEE (trusted execution environments), BlockIT (blockchain for IoT), and HEALTH-I (human-centric IoT security). His work bridges theoretical formal methods with practical security implementations across critical infrastructure domains. His research focuses on cyber security with specialized expertise in blockchain systems , IoT security , formal verification , and hardware security . He develops rigorous methodologies for exception handling in capability-based architectures, scalable network fingerprinting for IoT devices, and security analysis of blockchain consensus protocols. His approach integrates mathematical formalisms with empirical validation to address real-world vulnerabilities in supply chains, smart contracts, and distributed systems. Analysis of his 2021-2025 publications reveals three dominant trajectories: (1) Hardware security advancements through CHERI capability systems and formal exception recovery; (2) Blockchain security innovations in consensus protocol evaluation, smart contract patterns, and Byzantine fault tolerance; (3) IoT security solutions via network fingerprinting and human-centric architectures. His work consistently bridges theoretical formal methods with practical security implementations. Professor Sassone's scientific recognition includes: Fellow of the British Computer Society (FBCS) Member of Academia Europaea (MAE) He currently supervises six PhD candidates across Computer Science and Business Studies, including Max Dylan Hayman (IoT security), Justin Stephen Hempson-Jones (business security applications), and Shuyan Zou (blockchain systems). His research is sustained by major grants including EPSRC's IOTEE (£1.2M), BlockIT (£850K), and EU H2020 SUNFISH (£2.1M), with recent funding focusing on hardware supply chain security and regulatory compliance frameworks. As a principal investigator in the Cyber Security Academy, Sassone leads a multidisciplinary team developing formal verification tools for secure systems. Current initiatives include CHERI capability hardware integration, blockchain consensus scalability frameworks, and serious games for supply chain security training, with industry partnerships spanning Roke, RAEng, and European cybersecurity consortia.

• Cyber-Physical Systems
• Computer Science
• Robotics
• +۴ مورد دیگر

Jaroslav Klapalek is a PreDoc Researcher in the Cyber-Physical Systems department at Vienna University of Technology (TU Wien). His work focuses on formal verification of distributed timed-automata, resilient control mechanisms, and timing anomalies in automotive architectures. He is affiliated with the Embedded Systems Group (E191-01) and has contributed to research on machine learning for industrial predictive maintenance, consensus algorithms, and energy-efficient scheduling. Research Trends: Recent publications highlight expertise in formal verification of real-time constraints, security analysis in industrial CPS, and timing predictability under clock drift and network delays. Key methods include model checking, hybrid system modeling, and safety-critical protocol validation. Scientific Awards:

Fabio Fagnaniمشاهده پروفایل

استاد

• Dynamical systems over large-scale networks
• Distributed control and estimation
• Opinion dynamics
• +۷ مورد دیگر

Fabio Fagnani is a Full Professor of Mathematical Analysis at the Department of Mathematical Sciences (DISMA) , Politecnico di Torino , Italy. He is a leading researcher in network dynamics, distributed control, and game theory, with a strong record of supervising doctoral students and leading national and international research projects. Education & Academic Background: Full Professor of Mathematical Analysis, DISMA, Politecnico di Torino 2017 Petar Kokotovic Distinguished Professor, UCSB 2019–2020 Leverhulme Visiting Professor, Royal Holloway University of London Research Interests: His research spans dynamical systems over large-scale networks , including cooperative algorithms for distributed control, estimation, and synchronization. He investigates opinion dynamics and epidemic spreading in networks, with a focus on minority influence, leadership, and heterogeneity. He also explores game theory over networks and learning algorithms in multi-agent systems. Research Trends from Publications: Recent work focuses on epidemic modeling (SIR/SIS dynamics), opinion dynamics with stubborn agents, and control of networked systems . His publications in IEEE Transactions on Control of Network Systems , Artificial Intelligence , and IEEE Control Systems Letters reflect a deep engagement with both theoretical and applied aspects of network science, including AI-driven pathfinding, coevolutionary models, and resilience analysis. Scientific Awards: 2017 Petar Kokotovic Distinguished Professor 2019–2020 Leverhulme Visiting Professor ICAPS-2020 Best Paper Honorable Mention Award PhD Supervision & Research Leadership: He has supervised numerous PhD students including Davide Sipione , Sebastiano Messina , Martina Alutto , and Roberta Raineri . He leads the Analysis and Control of Network Systems research group and has been the Principal Investigator for projects such as SUP-CHAIN-DIS (2023–2025) and Distributed AI for future mobile networks (2020). Labs & Research Groups: He is affiliated with the Analysis and Control of Network Systems group at DISMA, Politecnico di Torino, and has collaborated with institutions such as UCSB, Royal Holloway University of London, and INRIA.

• Blockchain Technology
• Distributed Systems
• Wireless Sensor Networks
• +۳ مورد دیگر

C.U. Ileri is a researcher at Delft University of Technology's Data-Intensive Systems department within the College of Electrical Engineering, Mathematics and Computer Science. His work focuses on blockchain systems, distributed algorithms, and wireless sensor networks. Research Areas: Blockchain, Web3, Sybil attack mitigation, fault-tolerant algorithms, wireless sensor networks Key Contributions: Developed latency-based Sybil defense mechanisms, blockchain interoperability protocols (XChange), and capacitated graph algorithms for WSNs His publications span blockchain-based federated learning, zero-knowledge identity frameworks, and distributed graph optimization techniques. Recent work explores IOTA 2.0's finality guarantees and zkSSI's privacy-preserving capabilities. Collaborations include joint datasets with Q. Stokkink and J. Pouwelse, focusing on latency measurements and reputation system prototypes. Research outputs demonstrate expertise in balancing security, efficiency, and scalability in decentralized systems.

Weixian Liaoمشاهده پروفایل

استادیار

• Big Data Analytics
• Cybersecurity
• Networking
• +۳ مورد دیگر

Weixian Liao is an Assistant Professor in the Department of Computer and Information Sciences at Towson University. His research focuses on big data analytics, cybersecurity, and networking in cyber-physical systems (CPS) and IoT. Dr. Liao holds a Ph.D. in Computer Engineering from Case Western Reserve University (2018), an M.S. in Electrical and Computer Engineering from Mississippi State University (2015), and a B.S. in Information Engineering from Xidian University (2012). His expertise spans secure edge intelligence, federated learning, adversarial machine learning, and IoT system resilience. Recent work includes surveys on AI model marketplaces, blockchain-empowered federated learning, and cybersecurity frameworks for smart energy systems. He has contributed to over 30 peer-reviewed publications in top journals/conferences such as IEEE Transactions and ACML. Research trends highlight his focus on interdisciplinary solutions blending machine learning with cybersecurity in critical infrastructure systems. His work emphasizes practical applications like disaster damage assessment via IoT search engines and resilient CPS design. Current projects explore edge computing security, federated learning incentives, and adversarial attack detection in distributed systems. No scientific awards or grants are explicitly listed in the provided materials. Dr. Liao’s lab focuses on advancing secure AI frameworks for IoT and CPS through innovative algorithm design and system architectures.