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

• Blockchain Technology
• Distributed Systems
• Consensus Protocols
• +۶ مورد دیگر

Mohammad Sadoghi is a Professor at the University of California, Davis, with former affiliations at Purdue University, IBM T.J. Watson Research Center, and the University of Toronto. His research focuses on distributed systems, blockchain technologies, consensus protocols, and fault-tolerant computing. He has contributed extensively to transaction processing, stream processing architectures, and the integration of edge-cloud systems with blockchain frameworks. Current Affiliation: University of California, Davis Former Affiliations: Purdue University, IBM, University of Toronto Research Interests include consensus algorithms, Byzantine fault tolerance, distributed ledger technologies, and scalable data processing. He has pioneered systems like ResilientDB and ByShard, addressing challenges in global-scale distributed systems and blockchain fabrics. His work bridges theoretical foundations with practical implementations, emphasizing real-world applications in edge computing and hybrid cloud-edge environments. Key publications highlight advancements in consensus protocols, blockchain scalability, and fault-tolerant architectures. Recent trends in his work focus on concurrent consensus mechanisms, DAG-based systems, and secure geo-replication. Contributions span both academic publications and industry-oriented solutions, such as the Bedrock platform for BFT protocol analysis. Grants and advising roles are implied through his extensive research output, though specific grants are not detailed in the provided text. His collaborations include projects on self-curating databases (e.g., L-Store) and systems like SplitJoin for stream processing.

Willy Zwaenepoelمشاهده پروفایل

استاد

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

Willy Zwaenepoel is a Professor and Dean of the Faculty of Engineering at the University of Sydney. He holds a B.S. from the University of Gent and M.S./Ph.D. from Stanford University. Previously, he served as Dean of the School of Computer and Communication Sciences at EPFL and was a faculty member at Rice University. His expertise spans operating systems, distributed systems, and high-performance computing. Education: B.S., University of Ghent, Belgium (1979) M.S., Stanford University (1980) Ph.D., Stanford University (1984) Research Interests: Dr. Zwaenepoel focuses on distributed systems, operating systems, and their applications in database replication, virtual machine performance, and software update mechanisms. His work includes foundational contributions to distributed shared memory (e.g., Treadmarks) and startups like iMimic Networking. Awards: ACM Fellow (2000) IEEE Fellow (1998) Fellow of the Australian Academy of Technical Sciences and Engineering (2020) Recipient of the IEEE Tsutomu Kanai Award (2007) Key Contributions: His research addresses challenges in distributed systems performance, such as latency reduction in key-value stores and efficient graph processing. Current projects explore I/O optimization in virtualized environments and causal consistency for geo-replicated systems. Students/Advising: Advises Ph.D. students and postdocs, including William in database replication. His mentorship led to the Rice University Teaching Award (2000).

Sebastian Angelمشاهده پروفایل

دانشیار

• Systems
• Security
• Privacy
• +۴ مورد دیگر

Sebastian Angel is an Associate Professor and Chair of Undergraduate Curriculum in the Department of Computer and Information Science at the University of Pennsylvania . He leads research in systems, security, privacy, and networking, with a focus on privacy-preserving systems, accountability in online services, consistency in distributed systems, and next-generation operating systems. Research Areas: Systems, Security, Privacy, Networking, Distributed Systems, Operating Systems Labs & Teams: Distributed Systems Laboratory, Security and Privacy Laboratory, Warren Center for Network and Data Sciences Education: Ph.D. in Computer Science from the University of Texas at Austin (2018), ACM SIGOPS Dennis M. Ritchie Dissertation Award, Bert Kay Best Dissertation Award Recent Publications (2025–2022) span serverless computing, zero-knowledge proofs, distributed transactions, privacy-preserving ad tech, and verifiable execution. His 2025 work includes serverless workflow optimization and structural logic verification, while 2024 focuses on caching frameworks and stateful serverless. Earlier 2023–2022 projects include secure federated learning, confidential cloud services, and private information retrieval. Scientific Awards: NSF CAREER Award (2021) JPMorgan Faculty Award (2021) ACM SIGOPS Dennis M. Ritchie Dissertation Award (2018) Bert Kay Best Dissertation Award (2018) ACM SIGMOD Research Highlights Award (2024) VLDB 2024 Best Paper Award Nominee Advising: Current PhD Students: Elizabeth Margolin, Jess Woods, Yuxuan Zhang Current Masters Students: Felix Adena, Sydnie Shea Cohen Alumni: Eleftherios Ioannidis (2025), Yiping Ma (2025), Haoran Zhang (2024), Ke Zhong (2024), Selin Butun (2025), Martin Sander (2025), Seungmin Han (2024), Andrew Beams (2022), Yifeng Mao (2021), Varad Deshpande (2020) Current Courses: CIS 4510/5510: Computer and Network Security (Fall 2025). He also organizes conferences like S&P, OSDI, SOSP, PETS, and EuroSys.

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

Rodrigo Miragaia Rodrigues is a full professor at the Instituto Superior Técnico (ULisboa) and a researcher at INESC-ID since 2015. He previously held roles as an associate professor at Universidade Nova de Lisboa, tenure-track faculty at MPI-SWS, and completed his PhD at MIT in 2005 under Barbara Liskov. Education: PhD in Computer Science, MIT, 2005 Research Interests: Focuses on distributed systems, fault-tolerant computing, cloud infrastructure, and consistency models. His work bridges theoretical foundations and practical implementations, addressing challenges in geo-replication, secure analytics, and resource allocation in serverless environments. He emphasizes scalable systems and resilient data management. Awards: Best Paper Award at SOSP ERC Starting Grant Google Faculty Research Award Advising & Grants: Has advised 7 PhD students as main advisor, with graduates in top institutions like Purdue, TU Munich, and USTC. Secured funding from the European Research Council (ERC) and Google, focusing on projects like DependableCloud (ERC Grant 307732). Labs & Teams: Leads research at INESC-ID and previously directed the Dependable Systems Group at MPI-SWS. Active in academic leadership roles, including President of the Scientific Council at IST.

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.

Roberto Palmieriمشاهده پروفایل

دانشیار

• Concurrency
• Synchronization
• Distributed Computing
• +۶ مورد دیگر

Roberto Palmieri is an Associate Professor in the Department of Computer Science & Engineering at Lehigh University, where he co-leads the Scalable Systems Software (SSS) Research Group. He holds a Ph.D., M.S., and B.S. in Computer Engineering from Sapienza University of Rome (2012, 2008, 2006). His research focuses on concurrency, synchronization, distributed computing, and heterogeneous systems, emphasizing protocols optimized for multicore, cluster-scale, and geo-distributed infrastructures. His work spans theoretical and practical advancements in distributed systems, including atomic registers, consensus algorithms, and blockchain concurrency control. He has received an NSF CAREER Award for research on RDMA-optimized distributed protocols. Palmieri advises students in the Rossin College of Engineering and collaborates on high-performance computing projects, contributing to frameworks like HyFlow and Shield. Education: Ph.D., Computer Engineering, Sapienza University of Rome (2012) M.S., Computer Engineering, Sapienza University of Rome (2008) B.S., Computer Engineering, Sapienza University of Rome (2006) His research emphasizes scalability, fault tolerance, and performance in distributed systems. Recent work includes protocols for RDMA systems (e.g., ALock, Rome), blockchain transaction management (OCToPus), and hardware-accelerated synchronization (HATS). He has published extensively at top venues like OPODIS, DISC, and IEEE conferences. Awards: NSF CAREER Award (2021) Grants: CAREER: Distributed Protocols and Primitives Optimized for RDMA (2021) Palmieri leads the SSS Group, which develops open-source tools for distributed systems and collaborates on industry-relevant projects. His lab investigates cutting-edge topics like NUMA-aware concurrency, transactional memory, and cloud-optimized data grids.

Tobias Distlerمشاهده پروفایل

دانشیار

• Distributed Systems
• Byzantine Fault Tolerance
• Energy-efficient Computing
• +۷ مورد دیگر

Tobias Distler is an Associate Professor (Privatdozent) at the Department of Computer Science 4 (Distributed Systems and Operating Systems) at Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU). He leads research in resource-efficient fault tolerance, energy-aware systems, and distributed coordination. His work focuses on Byzantine fault tolerance, cloud computing, real-time systems, and embedded systems resilience. Research Projects: REFIT (Resource-efficient Fault and Intrusion Tolerance) EDC (Efficient Distributed Coordination) E³ (Energy-aware Execution Environments) TClouds (Trustworthy Clouds) Research Interests: His expertise spans distributed systems, fault-tolerant replication, energy-efficient computing, real-time systems analysis, and secure cloud infrastructure. He emphasizes practical system design with rigorous theoretical foundations. Publications: Over 100 peer-reviewed papers in top venues like Middleware, EuroSys, DSN, and ECRTS. Notable contributions include Egalitarian BFT, Strome (energy-aware stream processing), and TinyBFT for embedded systems. Awards: SIGACT Research Highlights Nomination (2024) FAU Teaching Award for Junior Researchers (2021) IBM Ph.D. Fellowship (2012-2013) Professional Activities: Served on program committees for Middleware, EuroSys, DSN, and IEEE Transactions. Chair of Artifact Evaluation for Middleware '20. Founded the BCRB workshop on Byzantine consensus and blockchains. Education: Habilitation (2021) and Ph.D. (2014) from FAU, focusing on resource-aware system software for replicated services. Advisor to numerous graduate students in distributed systems research.

Kwangsung Ohمشاهده پروفایل

استادیار

• Computer Science
• Data Analytics
• Cloud Computing
• +۳ مورد دیگر

Kwangsung Oh is an Assistant Professor in the Department of Computer Science at the University of Nebraska at Omaha's College of Information Science & Technology. His research focuses on GPU-based image reconstruction, cloud computing optimization, and deep learning for software evolution. Contact: kwangsungoh@unomaha.edu . Research Areas GPU Acceleration for Biomedical Imaging Geo-distributed Data Analytics Serverless Computing Optimization Machine Learning in Software Engineering Recent publications demonstrate expertise in structured illumination microscopy algorithms, cloud storage policy frameworks, and deep learning-driven code inspection tools. His work bridges computational biology applications with distributed systems infrastructure.

Tolga Ovatmanمشاهده پروفایل

استاد

• Algorithms and Computing Theory
• Computer Software and Software Engineering
• Cloud Computing
• +۶ مورد دیگر

Prof. Dr. Tolga Ovatman is a faculty member at the Department of Computer Engineering, Istanbul Technical University , where he has been serving as Head of Department since 2024. His academic career spans roles from Research Assistant (2004-2012) to Associate Professor (2019-2023) and full Professor (2023-present). He previously held administrative roles such as Vice Dean (2018-2022) and Deputy Head of Department (2016-2018). PhD in Computer Engineering (2005-2011) MS in Computer Engineering (2003-2005) BSc from Hacettepe University (1999-2003) His research focuses on model checking , replicated state machines , cloud computing , and object-oriented software . Recent work addresses computation offloading in 6G networks , collaborative text editing data structures , and energy-efficient environmental monitoring systems . Key projects led include Design of a Multiplexed State Machine Storage System for Edge Computing (2022-2024) and Microservice Compatible Symphony Infrastructure Research (2020). He has supervised numerous theses on topics ranging from collaborative text editing to AI applications in watershed management . Publications span IEEE Transactions , Springer , and conferences like CSCE and CLOSER .

Catherine A. Macrisمشاهده پروفایل

دانشیار

• Geochemistry
• Mineralogy
• Petrology
• +۴ مورد دیگر

Catherine A. Macris serves as Associate Professor in the Department of Earth Sciences at Indiana University Indianapolis' School of Science, where she conducts experimental research on mineral-fluid-melt interactions under extreme planetary conditions. Her academic credentials include: Ph.D. in Geochemistry from University of California, Los Angeles M.S. in Geochemistry from University of California, Los Angeles B.S. in Geology from Louisiana State University Her research spans Geochemistry , Mineralogy , Petrology , Planetary Geology , and Remote Sensing , with experimental focus on: High-temperature/pressure simulations of asteroid impacts Crustal melting and vaporization processes Mineral alteration in Earth's interior Isotope fractionation dynamics Ultra-high pressure metamorphism Recent publications (2018-2022) reveal consistent methodological themes combining laboratory experiments with thermodynamic modeling, particularly in Himalayan ultra-high pressure terrains, impact glass formation, and evaporation-induced isotope effects. These works bridge planetary formation processes with deep Earth geodynamics through precise experimental replication of extreme conditions. She teaches core courses including 'Windows on Science – Climate Change and Sustainability' and 'Introduction to Mineralogy', while leading educational innovation through the Geo-Equity Modules project addressing environmental justice. Her grant activities focus on integrating DEI principles into geoscience pedagogy and research infrastructure. As director of the CAM Lab, she oversees experimental facilities for high-pressure geochemistry research. Her institutional leadership includes co-chairing the 'Strengthening DEI Across the Research Enterprise' committee, serving as School of Science DEI Ambassador, and facilitating the IU Indianapolis Equity Champions Program.

Marc St.-Hilaireمشاهده پروفایل

استاد

• Telecommunication network planning
• Wired and wireless communication networks
• Mobile computing
• +۱۲ مورد دیگر

Marc St.-Hilaire is a Professor at the School of Information Technology and cross-appointed to the Department of Systems and Computer Engineering at Carleton University within the Faculty of Engineering and Design . He holds a Ph.D. from École Polytechnique de Montréal and serves as the NET Program Coordinator. He is a Senior Member of IEEE and has received multiple awards, including the Carleton Faculty Graduate Mentoring Award and the Teaching Achievement Award. Education: Ph.D., École Polytechnique de Montréal His research centers on telecommunication network planning, mobile computing, and network optimization , with strong emphasis on wireless and vehicular networks, fog/edge computing, blockchain integration, and AI-driven network protocols . His recent work applies reinforcement learning, genetic algorithms, and fuzzy logic to solve challenges in dynamic and distributed environments. The trend in his recent publications shows a strong focus on smart infrastructure , including Internet of Vehicles (IoV), smart grids, and cloud/edge resource management . He frequently collaborates with students and researchers on topics such as virtual network embedding, SLA-aware provisioning, and cooperative positioning , often leveraging emerging technologies like blockchain and deep learning. Scientific Awards and Honors: Senior Member, IEEE Best Industry Paper Award, WF-IoT 2024 Best Paper Award, ADHOCNETS 2019 Best Paper Award, iThings 2018 IEEE WIE Best Paper Award, CCECE 2018 Best Paper Award, ADHOCNETS 2017 Carleton Faculty Graduate Mentoring Award, 2014 Carleton Teaching Achievement Award, 2014–2015 Dr. St.-Hilaire actively supervises a large team of graduate students and has mentored over 40 Ph.D., Master’s, and postdoctoral researchers to completion. He has secured significant research funding through industry and government grants, enabling extensive experimental testbeds in SDN, fog computing, and vehicular networks. His work bridges theoretical optimization with practical implementation, often releasing tools and simulators (e.g., NetAnalyzer, DEVS fog simulator). He leads a vibrant research team focused on network intelligence, edge-based complex event processing, and sustainable computing . His lab collaborates with industry partners on projects involving 5G/6G integration, TSN in cloud environments, and smart city applications such as cloud-based waste management and smart grid simulation.

Sérgio Duarteمشاهده پروفایل

استادیار

• Distributed Systems
• Cloud Computing
• Database Management
• +۳ مورد دیگر

Sérgio Duarte is an Assistant Professor at the Department of Informatics, Faculty of Sciences and Technology, Universidade Nova de Lisboa (FCT/UNL). His research focuses on distributed systems, cloud computing, and database management, particularly in consistency models and replication mechanisms. Research Interests: Distributed Systems, Cloud Computing, Conflict-free Replicated Data Types (CRDTs), Consistency Models, Geo-replication, Event-based Systems. Key Contributions: Work on causal consistency, invariant preservation in databases, and client-side fault tolerance in geo-replicated environments. Email: smd@fct.unl.pt

Viveck Cadambeمشاهده پروفایل

دانشیار

• Information Theory
• Secure Machine Learning
• Cloud Storage Systems
• +۴ مورد دیگر

Prof. Viveck Cadambe is an Associate Professor in the School of Electrical and Computer Engineering at Georgia Institute of Technology. He holds a Ph.D. from the University of California, Irvine (2006), and was a postdoctoral researcher at Boston University and MIT's Research Laboratory of Electronics (2011–2014). His research focuses on theoretical and applied aspects of information theory, with applications to secure machine learning, distributed systems, wireless networks, and cloud storage. He leads the LITES Lab, which develops foundational algorithms and systems for information processing. Key research areas include privacy-preserving computation, coded distributed storage, and interference alignment in wireless networks. His work bridges theoretical analysis (e.g., information-theoretic limits) and practical implementations (e.g., prototyping distributed systems). Prof. Cadambe has received multiple awards, including the 2009 IEEE Information Theory Society Best Paper Award, 2016 NSF Career Award, and a 2019 Google Faculty Award. He serves as an Associate Editor for IEEE Transactions on Communications. His lab actively explores topics such as Secure multiparty computation with differential privacy Geo-distributed storage systems (e.g., LEGOStore) Coded computing for fault-tolerant distributed algorithms Recent research highlights include Optimal recovery thresholds for coded matrix multiplication Latency-optimized storage schemes for distributed systems Adversarial-resistant decentralized machine learning frameworks His contributions span theoretical insights, algorithm design, and system prototyping, emphasizing practical scalability and robustness.

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

پژوهشگر

• Distributed Systems
• Byzantine Fault Tolerance
• Cloud Computing
• +۴ مورد دیگر

Michael Eischer is a researcher at the Chair of Computer Science 4 (System Software) within the Department of Computer Science at Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU). He has been actively involved in teaching exercises for courses including Middleware - Cloud Computing and Verteilte Systeme (Distributed Systems) from Winter semester 2016/17 through Winter semester 2021/22. His academic work culminated in the 2024 dissertation titled Geo-Replicated Byzantine Fault-Tolerant State-Machine Replication with Low Latency . Dr. Eischer's research focuses on distributed systems with particular emphasis on Byzantine Fault Tolerance, geo-replication, and low-latency state-machine replication. His work addresses critical challenges in cloud computing environments where fault tolerance and performance must be balanced effectively. His research has significant implications for building reliable and efficient distributed systems that can withstand malicious failures while maintaining acceptable performance levels across geographically dispersed data centers. Analysis of his publication record reveals a consistent research trajectory focused on improving Byzantine Fault Tolerant (BFT) systems. Starting with foundational work on scalable BFT on heterogeneous servers (2017), he progressed to address specific challenges including latency-aware leader selection (2018), efficient checkpointing mechanisms (2019), and ultimately developing comprehensive solutions for geo-replicated BFT systems with low latency (2024). His research demonstrates an evolution from theoretical foundations to practical implementations, with recent work culminating in the SPIDER architecture for geo-replicated cloud services. Scientific Awards: Best Student Paper Award at Middleware 2020 for Resilient Cloud-based Replication with Low Latency Dr. Eischer has made significant contributions to the field of distributed systems through his extensive publication record in top-tier conferences including Middleware, PRDC, SRDS, EDCC, and DSN. His work on Byzantine Fault Tolerance has been consistently published in premier venues for dependable computing. While specific grant information isn't detailed in the available materials, his research output suggests involvement in projects related to reliable distributed systems, likely supported by institutional or collaborative funding mechanisms. As part of the Chair of Computer Science 4 (System Software) at FAU, Dr. Eischer works within a research environment focused on system software with applications in dependable distributed computing. His work contributes to FAU's strong research profile in computer science, particularly in areas of systems research with practical applications in cloud infrastructure and distributed services.

Paolo Romanoمشاهده پروفایل

دانشیار

• Distributed Systems
• AI/ML Systems
• Autonomic Computing
• +۵ مورد دیگر

Paolo Romano is an Associate Professor at the Department of Computer Engineering, Instituto Superior Técnico (IST), Universidade Técnica de Lisboa. He is also a Senior Researcher at the Distributed Systems Group (INESC-ID). His research focuses on distributed systems, AI/ML systems, transactional memory, autonomic computing, and high-performance computing. He holds a PhD in Computer Engineering from Sapienza University of Rome (2007) and a Master's Degree (Summa Cum Laude) from the University of Rome Tor Vergata (2002). PhD Thesis: 'Protocols for End-to-End Reliability in Multi-Tier Systems' Supervised over 10 PhD and MSc students Research Interests : Dependable Distributed Systems Transactional Memory (Hardware/Software) Autonomic and Self-Optimizing Systems Performance Modelling & Evaluation Key achievements include leading the Cloud-TM EU-funded project (€1.7M), coordinating the Euro-TM COST Action, and winning multiple best-paper awards at ICAC, NETYS, and NCA conferences. He actively participates in technical committees for conferences like EuroPar, ICDCS, and Middleware. Grants & Projects : Coordinator of 'Euro-TM' (€400K) Coordinator of 'Cloud-TM' (€1.7M EC funding) Principal Investigator in national projects like 'specSTM' (€127K) He advises students in areas such as self-tuning distributed systems, transactional data stores, and hardware-software co-design for concurrency control. His work bridges theory and practice, with contributions to frameworks like D2STM and Cloud-TM.