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

Sheng Yangمشاهده پروفایل

استاد

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

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

Zirui Neil Zhaoمشاهده پروفایل

استادیار

• Computer Architecture
• Security and Privacy
• Cloud Computing
• +۴ مورد دیگر

Zirui Neil Zhao is an Assistant Professor in the Department of Electrical and Computer Engineering at the University of Texas at Austin, specializing in computer architecture, security, and cloud computing. Previously, he was a postdoctoral researcher at NVIDIA Research after completing his PhD at the University of Illinois Urbana-Champaign. His academic journey includes: PhD in Computer Science, University of Illinois Urbana-Champaign (2024), advised by Prof. Josep Torrellas BS in Applied Physics, University of Science and Technology of China (2018), School of the Gifted Young (Yan Jici Talent Program) Dr. Zhao's research centers on side-channel attacks and defenses across cloud-computing stacks, with breakthroughs including end-to-end attacks in Google Cloud (ASPLOS 2024) and low-noise side channels in Intel CPUs (USENIX Security 2022). His defense strategies span information theory, cache systems, OS design, program analysis, and data-oblivious programming, aiming to build attack-resistant public clouds. His work bridges theoretical rigor with real-world cloud environments. His 15 recent publications (2018-2025) reveal a dominant focus on hardware-software security interfaces, evolving from symbolic execution tools to cutting-edge cloud-side-channel research. Key trends include practical attack demonstrations in production clouds, defense frameworks for speculative execution, and cross-layer mitigation strategies from hardware to programming models, consistently targeting real-world deployability. His accolades include: W. J. Poppelbaum Memorial Award for architectural creativity (UIUC, 2023) IEEE Micro Top Picks 2025 and 2024 Honorable Mention Top Picks in Hardware and Embedded Security 2024 Actively recruiting graduate students for hardware/system security research, Dr. Zhao teaches ECE 382N: Security at the Hardware-Software Interface (Fall 2025). His service includes program committees for CCS 2025, HPCA 2024, and Top Picks in Hardware Security 2024. While specific grants aren't detailed, his prolific output in top venues (ASPLOS, ISCA, MICRO, USENIX Security) indicates robust research support. His lab focuses on practical cloud security challenges within UT Austin's ECE ecosystem.

• Computer Architecture
• Processor Microarchitecture
• Memory Systems
• +۴ مورد دیگر

Rakesh Kumar is an Associate Professor in the Department of Computer Science at NTNU, affiliated with the Computer Architecture Lab (CAL). He received his PhD from UPC Barcelona in 2014 and previously worked at Uppsala University, the University of Edinburgh, and Intel Barcelona Research Center. His research focuses on improving datacenter efficiency through microarchitecture and memory systems, hardware/software co-design, and dynamic code translation. Education: PhD in Computer Architecture, UPC Barcelona (2014) MEng in Microelectronics, BITS Pilani (2008) BTech in Electronics and Communications, Kurukshetra University (2005) Research Interests: His work emphasizes processor microarchitecture, memory systems, and energy-efficient designs. Key areas include hardware/software co-design (e.g., Nvidia Denver alternatives), dynamic vectorization, and server optimization. Recent projects target server front-end bottlenecks, address translation efficiency, and BTB organization for data centers. Publications: Recent work includes contributions to IEEE/ACM MICRO, HPCA, and ISCA, focusing on topics like uneven block size instruction caches, address translation optimizations, and server architecture improvements. Awards: Intel Spontaneous Level II/Excellence Award (2014) Distinguished Artifact Award at IEEE/ACM MICRO 2023 Teaching & Advising: Teaches courses like TDT4258 Low Level Programming and advises students on projects such as vector unit design and microarchitecture optimization. Active in mentoring PhD candidates and leading the Computer Architecture Lab. Labs/Teams: Affiliated with the Computer Architecture Lab (CAL) and collaborates on projects like DARCO, an infrastructure for HW/SW co-designed virtual machines.

Adam Chlipalaمشاهده پروفایل

استاد

• Programming Languages
• Formal Methods
• Computer Systems
• +۱۲ مورد دیگر

Adam Chlipala is the Arthur J. Conner (1888) Professor of Computer Science at the Massachusetts Institute of Technology (MIT), where he is a faculty member in the Department of Electrical Engineering and Computer Science (EECS), the Computer Science and Artificial Intelligence Laboratory (CSAIL), and leads the Programming Languages & Verification Group. He has been a faculty member at MIT since 2011, following a postdoctoral position at Harvard University. PhD in Computer Science, UC Berkeley (2007) BS in Computer Science, Carnegie Mellon University (2003) His research lies at the intersection of programming languages and formal methods, with a strong emphasis on using the Coq proof assistant to build verified compilers, cryptographic systems, and hardware-software stacks. His work spans from high-level language design to gate-level hardware verification, aiming for end-to-end correctness proofs. Recent efforts focus on high-performance parallel computing systems with full formal assurance. The 15 most recent publications highlight a consistent trend in verified compilation, cryptographic security, hardware verification, and tensor/ML program optimization. His work increasingly integrates software and hardware verification, emphasizing modular, extensible frameworks and end-to-end correctness. Key themes include side-channel resistance, automated proof techniques, and practical deployment of formally verified systems. Advisory Board Member, BlueRock Systems (formerly BedRock Systems) Member, DARPA Information Science and Technology (ISAT) Study Group (2018–2022) Advisory Board Member, SiFive Former Advisor, krypt.co (acquired by Akamai) Chlipala has advised numerous PhD and Master’s students and regularly teaches core MIT courses such as 6.009 (Fundamentals of Programming), 6.042 (Mathematics for Computer Science), and 6.822/6.5120 (Formal Reasoning About Programs). He is the author of the widely used textbook Certified Programming with Dependent Types and co-developer of the FRAP (Formal Reasoning About Programs) educational materials. He is also the founder of Nectry, a startup based on Ur/Web and UPO, aiming to democratize enterprise application development through AI-assisted, type-safe programming. His research group develops tools and frameworks for modular verification, verified compilation, and formal analysis of complex digital systems. The work is deeply collaborative, involving students, industry partners, and open-source contributions via GitHub. Projects like Fiat Cryptography have been deployed in major web browsers, demonstrating real-world impact.

Mohammadkazem Taramمشاهده پروفایل

استادیار

• Computer Architecture
• Computer Security
• Microarchitectural Attacks
• +۴ مورد دیگر

Mohammadkazem Taram is an Assistant Professor in the Department of Computer Science at Purdue University, joining in Fall 2022. He holds a PhD from the University of California San Diego (UCSD), completed in 2022. His research focuses on computer architecture and computer security, particularly microarchitectural attacks, performance mitigations, and security-enhanced hardware design. He has been awarded the ACM SIGMICRO Dissertation Award for his doctoral work and has received several best paper awards for his publications in top-tier conferences like ASPLOS and ISCA. His research interests include hardware security vulnerabilities, secure execution environments, and optimizing performance-security trade-offs. Notable contributions include work on Extended User Interrupts (xUI) , Pathfinder control-flow attacks, and Hardware-Assisted Fault Isolation (HFI) . He actively collaborates with industry and academia, evidenced by his roles in developing novel mitigation techniques against speculative execution and side-channel attacks. Teaching: CS-426 (Computer Security), CS-593 (Microarchitecture Security), and CS-593 (Principles in Computer Architecture) at Purdue. Students: Advises Milad Esrafilian Najafabadi, Berk Aydogmus, and others, with co-advisory roles on Qi Ling and Gustavo Franco Camilo. Labs/Teams: Leads a research group focusing on hardware security and architecture, with a focus on practical and scalable defenses. Publications span top venues like ASPLOS, ISCA, and USENIX Security, with artifacts and open-source contributions. His work emphasizes bridging the gap between theoretical security concepts and real-world hardware implementations.

Guy E. Blellochمشاهده پروفایل

استاد

• Parallel Computing
• Programming Languages
• Algorithms and Complexity
• +۵ مورد دیگر

Guy E. Blelloch is the U.A. and Hellen Whitaker University Professor at Carnegie Mellon University , affiliated with the Computer Science Department . He focuses on the intersection of algorithms and programming languages within parallel computing , with significant experimental and theoretical contributions. His recent work includes the PSCICO project (with Gary Miller, Bob Harper, Peter Lee) exploring high-level programming constructs in geometric algorithms, and continued development of the NESL programming language for parallel computation. Research spans Parallel Garbage Collection Work-Efficient Scheduling Deterministic Parallel Algorithms Processing-in-Memory Models Key publications since 2022 show trends in dynamic data structures , cache-oblivious algorithms , and concurrent memory management , with applications in graph processing (PIM-tree), geometric computation (tree-based sorting), and multiversioning systems. His work often bridges theory and practice, demonstrated in frameworks like Ligra , GBBS , and Aspen for large-scale graph analysis. Scientific awards include ACM Paris Kanellakis Theory and Practice Award (2023) IEEE Charles Babbage Award (2021) Best Paper Awards at PPoPP 2022, SPAA 2021 SCS Doctoral Dissertation Award (Honorable Mention) He has advised numerous PhD students including Magdalen Dobson (current student on nearest-neighbor problems), Daniel Anderson (parallel batch-dynamic algorithms), and Julian Shun (graph processing frameworks). His teaching includes advanced courses on Parallel and Sequential Data Structures and Parallel and Concurrent Algorithms .

Martin Hildebrandمشاهده پروفایل

استاد

• Probability on finite groups
• Combinatorics
• Random Walks
• +۶ مورد دیگر

Martin Hildebrand is a Professor in the Department of Mathematics & Statistics at the University at Albany. His research focuses on Probability on finite groups and Combinatorics . Contact: Hudson 247A, (518) 442-4016, mhildebrand@albany.edu Courses: Spring 2025: Mathematics 367 (Discrete Probability), 468/555 (Mathematical Statistics). Fall 2025: Mathematics 403 (Actuarial Mathematics), 467/554 (Mathematical Statistics), 469 (Actuarial Exam P Preparation). His publications analyze random processes on finite groups, including Markov chains , random walks , and Chung-Diaconis-Graham processes , with applications in probability theory and combinatorics. Recent work (2022) explores symmetrized random processes, while earlier studies (2000-2014) address packing density, log-concavity, and convergence rates of random walks.

• Wireless Communications
• Public Safety Communications
• Cybersecurity
• +۳ مورد دیگر

Phoenix Fang is an Assistant Professor in the Computer Science and Software Engineering Department at California Polytechnic State University (Cal Poly San Luis Obispo). She is also affiliated with the Computer Engineering Program. Her research focuses on wireless communications, public safety communications, cybersecurity (including 5G, IoT, and critical infrastructure security), and privacy preservation. She teaches courses such as Intro to Computer Security and Wireless Security. Education: PhD in Electrical and Computer Engineering, University of Nebraska-Lincoln (2019) MS in Mechatronic Engineering and Automation, Shanghai University (2014) BS in Astronautics, Harbin Institute of Technology (2011) Her research projects include improving communication energy efficiency in public safety systems, enhancing 5G security with privacy preservation, and developing schemes for IoT device protection. She has published extensively in journals like Ad Hoc Networks and conferences such as IEEE ICC and VTC. Phoenix emphasizes hands-on cybersecurity education for diverse students and collaborates on interdisciplinary projects involving smart grids and cyber-physical systems.

Alexandra Jimboreanمشاهده پروفایل

دانشیار

• Compiler Design
• Hardware-Software Co-Design
• Code Optimization
• +۵ مورد دیگر

Alexandra Jimborean is a Ramón y Cajal researcher at the University of Murcia and affiliated Associate Professor at Uppsala University. She holds a PhD from the University of Strasbourg and specializes in compile-time code analysis, optimization, and software-hardware co-designs for performance and energy efficiency. Research focuses on: Instruction prefetching and speculative execution mechanisms Compiler-assisted code optimization techniques Hardware-software co-design for secure and efficient processors Dynamic program analysis frameworks Significant contributions include the development of the DAEDAL and Clairvoyance compiler technologies, commercialized through the EtaScale startup. Holds leadership roles in major conferences including Program Chair for CGO 2019 and CC 2020.

• Computer Operating Systems
• Computer Simulation/Modeling
• Computer Systems Analysis
• +۳ مورد دیگر

Elizabeth Varki is an Associate Professor and Graduate Program Coordinator in the Department of Computer Science at the University of New Hampshire's College of Engineering and Physical Sciences. Her research focuses on computer operating systems, simulation/modeling, and systems analysis. She holds a Ph.D. in Computer Science from Vanderbilt University and multiple advanced degrees from the University of Delhi and Villanova University. Her work emphasizes performance evaluation of computing systems, storage optimization, and parallel systems design. Key research contributions include innovative approaches to storage positioning (GPSonflow), RAID systems (RAIDX), and cache prefetching techniques. Her teaching spans courses like Operating System Fundamentals, Database Systems, and Distributed Systems. Varki's publications span ACM Transactions, IEEE journals, and major conferences in performance evaluation and storage systems. Her advising and grants focus on advancing storage and distributed systems research, though specific grant details are not provided here. She is affiliated with the UNH's Computer Science department and contributes to interdisciplinary efforts in computational performance analysis.

Ed Ferrariمشاهده پروفایل

استاد

• Housing Market Analysis
• Housing Policy and Strategy
• Strategic Spatial Planning
• +۳ مورد دیگر

Professor Ed Ferrari is Director of the Centre for Regional Economic and Social Research (CRESR) at Sheffield Hallam University. He holds a PhD and is a Fellow of the Higher Education Academy (FHEA). His expertise spans housing market analysis, strategic planning, GIS applications, and transport policy. He co-led the £6m Collaborative Centre for Housing Evidence (CaCHE) and serves as Managing Editor of Housing Studies , a leading journal in the field. Key roles include advising the Sheffield City Region on housing policy and chairing the Housing Studies Association. Education : PhD (Housing Studies) Bachelor of Arts (BA Hons) Diploma in Teaching in the Physical Sciences (DipTP) Research Focus : Ed specializes in housing policy, spatial analysis, and the intersection of transport and housing markets. Recent projects include evaluations of the Affordable Homes Programme and the Doncaster Health Determinants Research Collaboration. His work emphasizes evidence-based policy, particularly in addressing low-income neighborhood challenges and urban planning. Publications : He has authored over 50 peer-reviewed articles focusing on housing markets, GIS applications, and policy impact. Notable works include analyses of transport barriers to employment and the role of online property platforms in market dynamics. Grants & Projects : Lead on £6m CaCHE (2017-2022) Active Travel Portfolio Research (Department for Transport, 2022-2027) Evaluation of Housing Twenty11 (Red Kite Community Housing Association, 2018-2021) Advisory Roles : He advises regional governments and contributes to national housing taskforces, emphasizing equitable urban development and policy innovation.

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

دانشیار

• Artificial Intelligence
• Reasoning Under Uncertainty
• Constraint Satisfaction
• +۳ مورد دیگر

Dr. Michael Horsch is a retired Associate Professor in the Department of Computer Science at the University of Saskatchewan. His research focuses on Artificial Intelligence, Reasoning Under Uncertainty, Constraint Satisfaction, and Machine Learning. He has contributed to bioinformatics through the P2IRC sub-theme, linking genotype and environment to phenotype using computational methods. Education: PhD (Computer Science, UBC, 1998), M.Sc. (Computer Science, UBC, 1990), B.Sc. (Computer Science & Physics, University of Toronto, 1988). Postdoctoral work at Simon Fraser University (2000). Research interests emphasize practical AI applications, including Bayesian networks, constraint satisfaction algorithms, and machine learning. His work bridges theoretical foundations and real-world problems, such as path planning and sensor optimization. Teaching highlights include courses on AI (CMPT 317), programming (CMPT 145), and machine learning (CMPT 423/820). He revised first-year curricula to improve student accessibility, replacing C++ with more user-friendly languages. Recognized for teaching excellence with the 2014 Provost’s Award. Publications span constraint satisfaction, probabilistic reasoning, and Bayesian networks, with notable contributions to algorithm design and optimization.

• Edge Computing
• Satellite Communications
• Network Virtualization
• +۳ مورد دیگر

Haffay ABREHA is a Doctoral researcher at the University of Luxembourg's Interdisciplinary Centre for Security, Reliability and Trust (SnT), within the SigCom department. His research focuses on advanced networking technologies, including edge computing, satellite communications, and federated learning. He holds a strong interest in network virtualization, resource management, and optimizing mission-critical applications in distributed systems. Contact: haftay.abreha@uni.lu Research Interests: ABREHA’s work spans satellite edge networks, federated learning frameworks, fog computing monitoring, and resource-aware caching strategies. He explores how machine learning can enhance adaptive systems and improve network reliability in dynamic environments. Recent studies emphasize fairness-aware VNF scheduling, SDN/NFV integration, and optimizing content delivery in multi-layer satellite architectures. Labs/Teams: Active member of the SigCom research group at SnT, contributing to interdisciplinary projects on secure and reliable communication systems.

Xenofontas Dimitropoulosمشاهده پروفایل

دانشیار

• Internet Measurements
• Software Defined Networks
• Wireless Networks
• +۳ مورد دیگر

Xenofontas Dimitropoulos is an Associate Professor at the University of Crete's Computer Science Department and Affiliated Researcher at Foundation for Research and Technology Hellas (FORTH), where he leads the INSPIRE research group focusing on Internet security, privacy, and intelligence. His research examines software defined networks, Internet measurements, and cybersecurity frameworks. Education: PhD in Electrical and Computer Engineering, Georgia Institute of Technology (2006) MSc in Electrical and Computer Engineering, Georgia Institute of Technology (2002) BS in Physics, Aristotle University of Thessaloniki (2001) His research focuses on developing novel approaches to Internet routing security, privacy-preserving network monitoring, and SDN-based infrastructure optimization. Recent work explores BGP hijacking mitigation, IXP architectures, and mobile edge caching systems. Publications demonstrate consistent focus on network security and Internet measurements, with recent studies concentrating on practical solutions for routing vulnerabilities, colocation facility disruptions, and mobile edge computing optimizations. Earlier foundational work established privacy-preserving computation frameworks for multi-domain networks. Scientific Awards: ERC Proof of Concept Grants (2018, 2019) IEEE Security Symposium Best Paper Award (2013) ACM CoNEXT General Chair (2018) Marie Curie Reintegration Grant (2007) Fulbright Fellowship (2001) Research Leadership: Directs the INSPIRE research group with over 15 members including postdocs, PhD students, and research engineers. Secured €1.41M ERC Starting Grant for innovative Internet routing research. Current projects include RAVEN (BGP vulnerability assessment) and PHILOS (hijacking detection system).

Polyvios Pratikakisمشاهده پروفایل

دانشیار

• Parallel Programming
• Distributed Systems
• Programming Languages
• +۲ مورد دیگر

Polyvios Pratikakis is Associate Professor in the Computer Science Department at University of Crete and Visiting Researcher at FORTH-ICS. Research develops tools for parallel/distributed software execution, focusing on programming languages, runtimes, and static analysis for modern hardware. Current projects include EuroEXA (programming models for exascale applications) and ETAK (earthquake simulation deployment in cloud environments). Past projects include ASAP (big data workflows), Myrmics/BDDT/PARTEE (task-parallel runtimes), and GreenVM (JVM for non-cache-coherent architectures). Additional research examines software fault tolerance and static analysis for parallel programs. Teaching includes undergraduate/graduate courses on Parallel Programming, Type Systems, Multicore Programming, and Computer Science fundamentals. Supervises multiple MSc/PhD students in compiler design, runtime systems, and social network analytics. Service includes program committees (EuroPar, CF), HiPEAC organization, and faculty committees at University of Crete.