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

Xuehai Qianمشاهده پروفایل

استاد

• Computer Architecture
• Computer Systems
• Hardware Security
• +۳ مورد دیگر

Xuehai Qian is a Tenured Full Professor in the Department of Computer Science at Tsinghua University since July 2024. Prior to this, he served as an Associate Professor at Purdue University (2022-2024), Assistant Professor at the University of Southern California (2015-2022), and Postdoctoral Researcher at the University of California Berkeley (2013-2015). Ph.D. in Computer Science, University of Illinois at Urbana-Champaign, USA (2013) ME in Computer Science and Technology, Institute of Computing Technology, Chinese Academy of Sciences, China (2007) BE in Computer Science and Technology, Beihang University, China (2004) His research focuses on parallel computer architecture , hardware/software co-designed domain-specific architectures for graph analytics and machine learning , hardware security , and quantum computer architecture . He has pioneered scalable cache coherence protocols for atomic block execution, hardware sequential consistency violation detection, and distributed frameworks for graph processing leveraging emerging memory technologies. Xuehai Qian’s publications span computer architecture , graph analytics , machine learning systems , and quantum computing , with a strong emphasis on distributed systems , accelerators , and memory optimization . His work includes novel architectures for graph processing, decentralized training protocols, and ReRAM-based accelerators for deep learning. NSF CAREER Award (2018) ACSIC (American Chinese Scholar In Computing) Rising Star Award (2019) IEEE Senior Member (2019) Hall of Fame inductions: ASPLOS (2018), HPCA (2019), ISCA (2021), MICRO (2021) W.J. Poppelbaum Memorial Award (2013) He has advised students who have received Microsoft Research Lovelace Fellowships , Ph.D. Fellowships , and Facebook Fellowships . His research has been supported by grants such as the NSF SPX project on FPGA-based machine learning platforms and smaller NSF grants. Notably, he has served as an Associate Editor for Science China (Information Sciences) since 2023 and as a Guest Editor for IEEE Transactions on Parallel and Distributed Systems (2019).

Donald Yeungمشاهده پروفایل

استاد

• Computer Architecture
• Computer Engineering
• Memory Systems
• +۵ مورد دیگر

Donald Yeung is a Professor and Associate Chair for Undergraduate Education in the Department of Electrical and Computer Engineering at the University of Maryland , with an additional appointment as Affiliate Professor in the Department of Computer Science . His research focuses on Computer Architecture , particularly in memory systems , 3D integration , energy-efficient processors , and parallel processing . He leads projects like Monolithic 3D Integration of CPU and Main Memory and Approximate Computing . Recent work emphasizes ReRAM-based memory architectures , extreme-scale processor design , and micro-fluidic cooling solutions for 3D CPUs. His teaching includes courses like ENE 646: Computer Architecture and ENE 150: Intermediate Programming Concepts . Key achievements include the Best Paper Award at MULTIPROG-2017 and contributions to IEEE Micro and ACM Transactions . His research spans cache optimization , reuse distance analysis , and directory coherence protocols . Current grants include funding for heterogeneous microprocessor parallelism and low-power system design . Advises graduate students Yinuo Wang and Hung-Yu Yeh, and collaborates with teams like the UMIACS Technical Report Group . His lab focuses on memory-centric computing and scalable multicore 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.

Seth Gilbertمشاهده پروفایل

دانشیار

• Distributed Systems
• Algorithmic Techniques
• Blockchain Technology
• +۳ مورد دیگر

Seth Gilbert is the Dean's Chair Associate Professor and Head of the Department of Computer Science at the National University of Singapore. His research focuses on designing robust, scalable algorithms for large-scale distributed systems, particularly in the domains of Byzantine agreement, dynamic networks, and contention resolution. He holds a PhD from MIT (advised by Nancy Lynch) and completed a postdoc at EPFL under Rachid Guerraoui. His work emphasizes three core techniques: accountability (identifying network failures), work-sharing (task distribution in asynchronous environments), and contention resolution (efficient resource allocation). Notable contributions include the DConstructor (PODC 2020) and Polygraph (ICDCS 2021) protocols for accountable Byzantine agreement. He has received multiple awards, including the Edsger W. Dijkstra Prize (2021) and Best Paper Awards at DISC, ICDCS, and IPDPS. Prof. Gilbert has served as program chair for DISC 2021, OPODIS 2019, and SPAA 2016, and currently chairs the DISC Steering Committee. His career includes industry experience at Microsoft (Visual Studio team) and early work on solar car engineering at Yale University.

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.

• Parallel and Distributed Computing
• Database Systems
• Network-Centric Computing
• +۲ مورد دیگر

Professor Ajit Singh is a faculty member in the Department of Electrical and Computer Engineering at the University of Waterloo , affiliated with the Faculty of Engineering . His expertise spans Parallel and Distributed Computing , Database Systems , Network-Centric Computing , and Software Architecture and Design . Education: BSc (BIT, India) MPhil (Jawaharlal Nehru University, New Delhi) MSc and PhD (University of Alberta) Research & Industrial Work: Founded SlipStream Data (acquired by Research in Motion/BlackBerry) to accelerate internet content delivery on low-bandwidth networks. Consulted for IBM Canada, Bell Canada, Nortel, and other tech firms. Current projects include Energy Efficient Mobile Computing and Processing Data Streams . Advising & Students: Current advisees: Liton Chakraborty, Mohammad Mursalin Akon, Rajesh Palit, Tan Wang. Past students include Dhrubajyoti Goswami, Afzal Mawji, and others. Research Themes: Focuses on scalable caching, distributed systems, and energy-efficient computing. Explores disk-based optimization for stream joins and parallel architectures.

• Computer Architecture
• GPU Systems
• Accelerators for Machine Learning
• +۴ مورد دیگر

Jose Luis Abellan Miguel is a Ramón y Cajal Fellow and Tenure-Track Associate Professor at the University of Murcia's Department of Computer Engineering and Technology. He leads the EcoArTech team and is a European R3 researcher. Previously, he held roles at the University of Ferrara, Boston University, and Universidad Católica de Murcia. His research focuses on GPU architectures, accelerators for machine learning, and privacy-preserving computing, particularly Fully Homomorphic Encryption (FHE). He has authored over 70 peer-reviewed publications and contributed to conferences like ISCA, HPCA, and MICRO. Education: Bachelor's, Master's, and PhD in Computer Science and Engineering (University of Murcia, 2007–2012) Research Interests: Abellan's work emphasizes architectural enhancements for GPU systems, customized accelerators for ML and FHE, and efficient synchronization/communication in many-core architectures. His contributions include tools like MGPU-Sim and STONNE for simulation, and frameworks like FIDESlib for FHE on GPUs. Recognition: HiPEAC Paper Awards (2011, 2019–2024) Top Picks in Hardware and Embedded Security 2024 European R3 Certificate (2024) Editorial roles at ACM TACO and Frontiers in Electronics Grants & Leadership: Recipient of a Ramón y Cajal fellowship and a Consolidación Investigadora grant. He chairs sessions at conferences like ISPASS and serves on TPCs for venues including DATE, HPCA, and MICRO. His lab collaborates with institutions like Georgia Tech, Northeastern University, and Intel. Labs/Teams: He leads the EcoArTech team, focusing on next-gen computing systems via architectural simulators. Collaborators include researchers from MIT, Boston University, and industry partners like NVIDIA and Intel.

Veljko Milutinovicمشاهده پروفایل

استاد

• Microprocessor architecture
• VLSI design
• Data mining
• +۹ مورد دیگر

Veljko Milutinovic is a Full Professor at the School of Electrical Engineering, University of Belgrade since 1990. He has also held academic positions at Purdue University (1982-1989) and consulted globally for institutions like IEEE and ACM. Current role: Computer Area Director, teaching VLSI, Data Mining, and E-Business Previous roles: Tenure Track Assistant Professor at Purdue University International collaborations: EU FP7 projects, Raiffeisen Bank, Wall Street Journal His research spans microprocessor architecture , VLSI design , data mining , and semantic web , focusing on energy-efficient architectures and e-business infrastructure. He pioneered DARPA's 200MHz GaAs RISC microprocessor and 4096-node systolic arrays. Recent work trends include: Technical and semantic interoperability in e-government Customer satisfaction accelerators in e-commerce 3D semantic web visualization Data mining for inverse engineering Academic-industry co-design methods Global university collaboration frameworks Scientific awards include: IEEE Life Fellow (2003) Foreign Member, Montenegrin Academy (2018) IPSI Awards (2007-2010) for eGov projects Best Method papers ranked #1 in Google search Supervised PhD students at Purdue, Belgrade, and Valencia Universities, with significant contributions to cache coherence, GaAs processors, and mobile network security. His publications (over 100 SCI papers) have been cited over 4000 times on Google Scholar.

Carlos Molina Clementeمشاهده پروفایل

دانشیار

• Computer Architecture
• Mobile and Sensor Networks
• Cloud Computing
• +۸ مورد دیگر

Carlos Molina Clemente is an Associate Professor of Computer Architecture at Rovira i Virgili University in Tarragona, Spain. He holds a M.Sc. in Computer Engineering (Universitat Politècnica de Catalunya, 1996) and a Ph.D. in Computer Science (UPC, 2005). His research focuses on Computer Architecture, Mobile/Sensor Networks, and Cloud Computing. He leads the Cloudlab research group and coordinates initiatives like GTDAWIN and BIOGEI. Key research areas include multicore scheduling, LoRaWAN protocols, LIDAR data analysis, and serverless computing. He has published over 50 articles in top-tier conferences/journals and supervised three doctoral theses. His work spans projects on cache architectures, real-time systems, and educational multicomputing solutions. Affiliations include the Department of Computer Engineering and Mathematics (DEIM) at URV, with offices at Campus Sescelades (Avinguda Països Catalans 26, Tarragona). Research highlights include contributions to non-uniform cache policies, predictive mobile network algorithms, and energy-efficient sensor networks.

Andrey I. Lyakhovمشاهده پروفایل

استاد

• Wireless Networks
• IEEE 802.11 Protocol
• Network Performance Analysis
• +۳ مورد دیگر

Andrey I. Lyakhov is a Professor and Doctor of Computer Science at the Institute for Information Transmission Problems of the Russian Academy of Sciences. He serves as the Head of Laboratory №18 and has been active since 1959. His research focuses on wireless networks, particularly IEEE 802.11 and 802.16 protocols. Position: Laboratory Chief Affiliation: Institute for Information Transmission Problems, Russian Academy of Sciences Research Interests: Wireless Networks, MAC Protocol Analysis, Network Performance, Distributed Control, Multicast QoS, Channel Assignment His work includes analytical modeling of data transmission, beaconing in mesh networks, and studies on network unfairness and congestion. He has contributed to patents in wireless sensor networks and piconet beacon management. Notable publications span wireless LANs, WiMAX, and sensor network optimization. Lyakhov's research has involved collaborations with international conferences and journals, focusing on throughput estimation, channel contention, and quality of service in wireless systems. Recent publications include studies on bandwidth piggybacking (2010), intra-flow interference in mesh networks (2010), and multicast QoS support in WLANs (2007). Earlier works from 1983-2008 cover foundational topics in queueing theory, cache efficiency, and distributed control systems.

• Parallel Computing
• Programming Models
• System Software
• +۳ مورد دیگر

Mats Brorsson is a Professor at the Division of Software and Computer Systems , KTH Royal Institute of Technology. His research spans multiple areas of computer architecture and parallel computing, with a focus on system software, energy-aware architectures, and performance debugging tools. He is actively involved in projects like the PaPP ARTEMIS collaboration and coordinates the KTH-SICS Scalable Computing Systems initiative. Research Interests : Mats Brorsson's work primarily addresses parallel computing , task-based programming models (e.g., OpenMP), and energy-efficient computer architectures . He has made significant contributions to NUMA system optimization , work-stealing schedulers , and runtime systems for high-performance computing. Professional Activities : Mats Brorsson serves as coordinator for the PaPP ARTEMIS project and is a member of the KTH-SICS Collaboration in Scalable Computing Systems. His publications reflect deep engagement with task scheduling , cache coherence protocols , and adaptive resource management for parallel systems.

Alberto Ros Bardisaمشاهده پروفایل

استاد

• Computer Architecture
• Parallel Computing
• Hardware Optimization
• +۶ مورد دیگر

Alberto Ros Bardisa is a Professor at the Department of Computer Engineering and Technology within the Faculty of Informatics at the University of Murcia. He holds a Doctorate from the same university, completing his thesis on Efficient and Scalable Cache Coherence for Many-Core Chip Multiprocessors in 2009. His research focuses on computer architecture , with particular emphasis on cache coherence protocols , hardware transactional memory , speculative execution , and many-core systems . He has contributed to optimizing memory subsystems, concurrency management, and scalability in parallel computing environments. His work often bridges hardware-software co-design to enhance performance and security in modern architectures. Dr. Ros Bardisa is affiliated with the Computer Architecture and Parallel Systems research group and previously contributed to the Architecture and Parallel Computing group. His publications (over 130+ listed) reflect a sustained focus on advancing cache efficiency, transactional memory systems, and speculative execution techniques. His current work explores innovative solutions for fine-grain coherence , secure prefetching , and atomic operation optimization , with recent contributions in 2025 addressing novel protocols like WoperTM and MASCOT.

Stefan Mangardمشاهده پروفایل

استاد

• Computer Security
• Hardware Security
• Cryptography
• +۴ مورد دیگر

Stefan Mangard is a Professor at the Institute of Information Security at Technische Universität Graz (TU Graz). His primary research focuses on hardware security, cryptographic countermeasures, and mitigating vulnerabilities in computer systems. He specializes in side-channel attacks, fault attacks, and secure processor architectures. Current work includes defending against kernel exploits, memory safety mechanisms, and cryptographic protocol implementations. His research interests span topics such as kernel data structure protection, memory tagging systems, and scalable isolation techniques. He has pioneered defenses against cache attacks, fault-induced control-flow hijacking, and side-channel vulnerabilities in embedded systems. Notable projects include KernelSnitch for kernel data structure analysis and TME-Box for Intel-based memory encryption. Recent work emphasizes practical exploitation of defenses (e.g., TLB side-channels), RISC-V enclave architectures (SPEAR-V), and cross-cache attacks in Linux kernels. His contributions bridge hardware-software co-design for robust security mechanisms, with a focus on real-world exploit scenarios and commodity hardware compatibility.

Vijayanand Nagarajanمشاهده پروفایل

استاد

• Computer Architecture
• Programming Languages
• Computer Systems
• +۳ مورد دیگر

Roles & Affiliations: Vijayanand Nagarajan is a Professor at the Kahlert School of Computing, University of Utah. He leads the CAPS Research Group, focusing on computer architecture, programming languages, and systems. His work emphasizes constructive, specification-driven design for efficiency and correctness. Research Interests: His research spans consistency models for distributed systems, persistent memory, coherence protocols, and hardware/software co-design. Key areas include key-value-store consistency, persistent memory optimization, and automated protocol synthesis. His group explores topics like cache coherence, fault tolerance, and scalable distributed storage. Articles Trends: Recent work emphasizes automated protocol generation (e.g., HeteroGen, PipeGen), consistency in distributed systems (LAW theorem), and fault-tolerant designs (Apta, Dve). Publications span top conferences like ISCA, ASPLOS, and VLDB, addressing both theoretical foundations and practical implementations. Advising & Grants: Advises current PhD students (An Qi Zhang, Soham Bagchi, et al.) and has mentored over a dozen alumni now in academia and industry (e.g., NVIDIA, Google, Huawei). Active in organizing and reviewing for conferences like ISCA, MICRO, and HPCA. Labs & Teams: Heads the CAPS Research Group, collaborating on projects like C3D, ATCache, and Odyssey. Engages in interdisciplinary work with robotics and compiler communities.

Ahmed Rezineمشاهده پروفایل

مدرس ارشد

• Computer Science
• Software Verification
• Machine Learning
• +۷ مورد دیگر

Ahmed Rezine is a Senior Lecturer and Associate Professor at the Department of Computer Science (IDA) , specifically within the Software and Systems (SAS) division at Linköping University . His research focuses on software verification , machine learning , and cybersecurity , particularly in the context of deep neural networks and embedded systems . Research Trends: His recent publications, such as VNN: Verification-Friendly Neural Networks (2024) and Trojans in Instruction Sets (2024), highlight his work at the intersection of AI robustness and hardware security . Earlier studies (2023-2017) emphasize formal verification of concurrent systems and GPU architectures , reflecting a consistent focus on parameterized systems and security analysis . Colleagues & Collaborations: Rezine collaborates with researchers in the Software and Systems group, part of the Wallenberg Autonomous Systems Program (WASP) . His work intersects with AI IDA and Embedded Systems (ESLAB) , focusing on autonomous systems and real-time processing .