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

Patric Ljungمشاهده پروفایل

دانشیار

• Visualization Technologies
• Software Design
• Medical Imaging
• +۴ مورد دیگر

Patric Ljung is an Associate Professor at Linköping University, affiliated with the Media and Information Technology (MIT) division within the Department of Science and Technology (ITN). He leads the Immersive Visualization group and has been a key figure in research projects focusing on visualization technologies, software design, and medical imaging applications. Previously, he worked at Siemens Corporation in the U.S., contributing to medical visualization tools and quality management. Dr. Ljung holds an M.S. in Information Technology (2000) and a Ph.D. in Scientific Visualization (2006) from Linköping University. His research focuses on large-scale visualization technologies, software architecture for visualization systems, and direct volume rendering. Current projects explore heterogeneous data management, data provenance, and unification of transfer functions. He emphasizes immersive visualization techniques for applications in healthcare, planetary science, and public engagement through collaborations with institutions like the Visualization Center C. With over 40 peer-reviewed publications and seven patents, his work spans medical visualization, augmented reality, and interactive systems. Recent trends include leveraging immersive technologies for climate change communication and autonomous systems visualization. He has directed projects such as C-research, coordinating visualization efforts with the Visualization Center C. His leadership includes roles as head of the Immersive Visualization group and former director of C-research. Collaborations with Siemens and the Visualization Center C highlight his interdisciplinary approach.

Giovanni Ansaloniمشاهده پروفایل

مدرس

• Embedded Systems
• Reconfigurable Computing
• Low-Power Design
• +۲ مورد دیگر

Dr Giovanni Ansaloni is Senior Scientist and Lecturer at EPFL's Embedded Systems Laboratory. His research focuses on energy-efficient computing architectures including reconfigurable systems, near-memory processing, and hardware accelerators for edge AI and biomedical applications. He develops frameworks for deploying machine learning models on resource-constrained devices, specializing in hardware-software co-design for embedded systems. Recent work explores RISC-V based accelerators, in-memory computing architectures, and optimization techniques for health monitoring applications. His teaching covers embedded systems design and applications, bridging theoretical concepts with practical implementation challenges in low-power computing platforms.

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

Dr. Theo Markettos is a Senior Research Associate at the Department of Computer Science and Technology, University of Cambridge. His research focuses on computer architecture, security, and systems & networking, with notable contributions to the CHERI capability system and FPGA-based hardware prototyping. He teaches the ECAD and Architecture Practical Classes (Part IB) for undergraduate students. His work spans secure hardware-software interfaces, memory protection mechanisms, and parallel computing architectures. He has contributed to projects like Bluehive (a FPGA-based neural network simulator) and CHERI, which enhances system security through compartmentalization and capability-based protections. Recent publications address heterogeneous accelerators, dynamic scalarization for GPGPUs, and termination detection in message-passing architectures. Markettos has collaborated extensively with researchers from academia and industry on topics such as FPGA cluster interconnect design, DMA vulnerability analysis (Thunderclap), and FPGA-based SoC prototyping. His teaching emphasizes hands-on exploration of full-stack computer design using FPGAs. He is based at the William Gates Building in Cambridge and leads efforts in secure computing systems through hardware innovation and interdisciplinary collaboration.

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

Jessica Clarke is a Researcher at the Department of Computer Science and Technology, University of Cambridge, specializing in hardware-enhanced security systems. Her work focuses on the CHERI (Capability Hardware Enhanced RISC Instructions) project, bridging computer architecture, programming languages, and formal verification to address memory safety and security vulnerabilities. Her research interests center on capability-based security architectures , formal semantics for low-level programming languages , and hardware-software co-design for memory safety . Key contributions include formal mechanized semantics for CHERI C, temporal memory safety mechanisms for heap management, and architectural contracts for safe speculation. Her work integrates formal methods with practical hardware implementations to mitigate vulnerabilities like buffer overflows and use-after-free errors. Clarke's scientific impact is evident through high-impact publications at premier venues including ASPLOS and IEEE Security & Privacy. Her collaborative research spans multiple institutions, with consistent contributions to the CHERI project's evolution from theoretical foundations to hardware implementation. In advising and grants, she actively participates in the CHERI research ecosystem as part of the University of Cambridge's Computer Architecture Group. Her work supports critical infrastructure security through capability-based approaches applicable to cyber-physical systems and general-purpose computing. Clarke operates within the CHERI research team, collaborating closely with the Computer Architecture Group and Security research themes. This interdisciplinary environment combines formal verification, hardware design, and systems programming to pioneer next-generation secure computing architectures.

Brooks Davisمشاهده پروفایل

عضو هیئت علمی

• Computer security
• Operating systems
• CHERI architecture
• +۲ مورد دیگر

Brooks Davis is a Visiting Industrial Fellow in the Department of Computer Science and Technology at the University of Cambridge and Principal Computer Scientist at SRI International. He leads engineering efforts on CheriBSD, a version of FreeBSD adapted to support CHERI (Capability Hardware Enhanced RISC Instructions) architecture. Research develops capability-based security models for modern operating systems, with focus on implementing least-privilege principles. Contributions include the initial implementation of CheriABI, a pure-capability application binary interface designed to enhance security while maintaining compatibility. Work spans hardware-software co-design, formal verification, and operating system security. Professional activities bridge academic research and industrial application, advancing capability systems for real-world security challenges. Collaborations involve ARM Research, Microsoft Research, and academic partners in the CHERI project consortium.

Paul Keirمشاهده پروفایل

مدرس

• High-Performance Parallel Computing
• Compilers for Heterogeneous Architectures
• Functional Programming
• +۵ مورد دیگر

Paul Keir is a Lecturer at the School of Computing, Engineering and Physical Sciences, University of the West of Scotland. He holds a Ph.D. in Computer Science from the University of Glasgow. His research focuses on high-performance parallel computing systems, compilers for GPGPU and heterogeneous architectures, low-power computing, edge computing, secure programming, and functional programming. He has contributed to EU FP7 projects such as Peppher, LPGPU, and CARP, and is a co-investigator on Innovate UK KTP projects (Lumen Research, Visual Management Systems, and Kibble). He leads open-source projects like Curtains and C'est, and is involved with the BSI C++ Panel and Khronos advisory panels for SYCL/OpenCL. Education: Ph.D. in Computer Science, University of Glasgow Research Interests: Dr. Keir's work addresses challenges in parallel programming models for GPGPU systems, compiler optimization, and energy-efficient computing. His interests span metaprogramming, secure programming in C++/Rust, and applications of immersive technologies like virtual/augmented reality in education and smart cities. He also explores functional programming and type systems to ensure software correctness. Grants & Collaborations: Co-Investigator: Innovate UK KTP Projects (Lumen Research, Visual Management Systems, Kibble) EU FP7 Projects: Peppher, LPGPU, CARP Open Source Contributions: GCC, LLVM, Boost, SYCL, C'est Advising: Raymond Holder (M.Phil./Ph.D.): Applications of Immersive Technology to Pedagogy Andrew Gozillon (Completed 2022): Metaprogramming for Heterogeneous Parallelism Labs/Teams: He leads the development of the C++20 metaprogramming library Curtains and compile-time C++ standard library C'est , and contributes to Khronos SYCL standards.

Marco Gilardiمشاهده پروفایل

مدرس

• Immersive Technologies
• Extended Realities (XR)
• 3D Reconstructions
• +۹ مورد دیگر

Marco Gilardi is a Lecturer in the School of Computing, Engineering and Physical Sciences at the University of the West of Scotland. His research expertise lies in Extended Realities (XR) and Spatial Computing, with a focus on developing accessible XR tools for education, industrial training, and cultural heritage applications. External Examiner, University of Chester (2021–present) Advisory Board Member, The VR Hive (2021–2022) Research interests include: XR Accessibility for non-technical audiences Immersive heritage experiences (e.g., Cutty Sark VR) Haptic feedback integration in VR XR applications in nursing education and mathematics Xr trends in publications: 2025: VR sign language studies, eye-controlled 3D viewers 2024: Pedagogical XR implementation challenges 2023: Gamified AR training, Industry 4.0 design reviews Scientific recognition includes Vice-Chancellor's Innovation Fund awards and Scottish Knowledge Exchange nominations. Collaborations span Smartify, Swagelok Scotland, and cultural institutions like the Scottish Crannog Centre.

Oussama Khatibمشاهده پروفایل

استاد

• Robotics
• Humanoid Robotics
• Human-Robot Interaction
• +۵ مورد دیگر

Oussama Khatib is a Professor in the Department of Computer Science at Stanford University and Director of the Stanford Robotics Lab. His research focuses on advanced robotics control, human-friendly designs, and interactive systems. Key areas include humanoid robotics, haptic feedback, underwater exploration (e.g., OceanOne), and neuroscientific applications like Haptic fMRI. He leads a lab with over 50 students and alumni, contributing to projects such as the Simulation and Active Interfaces (SAI) framework and hybrid actuation systems. Research interests span control architectures, human-robot interaction, and applications in healthcare, disaster response, and oceanic discovery. Khatib’s work emphasizes safety, adaptability, and collaboration between robots and humans. Notable projects include OceanOne, a humanoid underwater robot that recovered artifacts from a 17th-century shipwreck, and the development of compliant control frameworks for multi-contact scenarios. His lab’s contributions include the SAI open-source framework for robotics simulation and control, as well as advancements in elastic planning and real-time motion adaptation. Khatib teaches courses like CS 223-A (Intro to Robotics) and CS 327-A (Advanced Robotics), emphasizing theoretical foundations and practical applications. Collaborations involve neuroscientists, engineers, and industry partners to bridge robotics with human capabilities. Current efforts explore next-generation human-centered robotics, including safer actuators and systems for surgical and assistive applications.

Peng Xuمشاهده پروفایل

استادیار مدعو

• Computational Chemistry
• Quantum Mechanics
• Molecular Modeling
• +۲ مورد دیگر

Peng Xu is an Assistant Adjunct Professor at the Ames Laboratory of US DOE, affiliated with Iowa State University. His research develops computational methodologies to model complex interfacial processes across multiple scales, focusing on quantum chemistry and high-performance computing implementations. Research spans quantum mechanical algorithms, molecular fragmentation methods, GPU-accelerated computing, and force field development. Recent publications demonstrate advances in protein-ligand binding calculations, catalytic surface interactions, and exascale computing portability. Contact via pxu@iastate.edu or phone (515-294-6342).

Dimitrios Skarlatosمشاهده پروفایل

استادیار

• Computer Architecture
• Security and Privacy
• Operating Systems
• +۱ مورد دیگر

Dimitrios Skarlatos is an Assistant Professor in the Computer Science Department at Carnegie Mellon University's School of Computer Science. His research bridges computer architecture and operating systems with a focus on performance, security, and scalability. His work revolves around two central themes: (1) redesigning abstractions and interfaces between hardware and OS layers to improve performance and scalability, and (2) uncovering security vulnerabilities and building defenses at the hardware-OS boundary. Research Focus: Operating system security and vulnerability prevention Virtual memory systems and page table optimizations Serverless computing architectures Hardware-software co-design for security Datacenter resource management Dr. Skarlatos advises five PhD students and has published extensively on systems research. He received his PhD from the University of Illinois at Urbana-Champaign, where his dissertation received the ACM SIGARCH & IEEE CS TCCA Outstanding Dissertation Award for contributions to redesigning hardware-OS abstractions.

Ryan Rileyمشاهده پروفایل

استاد آموزشی

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

Ryan Riley is an Assistant/Teaching Professor in the Department of Computer Science at Carnegie Mellon University’s Qatar campus, where he also serves as the Associate Area Head. His expertise lies in cybersecurity, hardware security, and malware analysis. His research interests include: Cybersecurity and hardware security, particularly focusing on Intel SGX and secure enclaves Malware analysis and detection, including kernel-level rootkits and Android native code variants Side-channel attacks and memory access control mechanisms Distributed algorithms in wireless sensor networks Mobile app security, including dynamic code loading and hidden attacks through web interfaces Dr. Riley’s work addresses critical challenges such as cross-layer attack prevention, memory permissions hardening, and data-centric security. His contributions span both theoretical frameworks and practical implementations, emphasizing the importance of secure system design. While specific grant details are not detailed here, his research has explored innovative solutions in hardware-managed isolation, cryptographic techniques, and real-world system vulnerabilities. He has advised students in these areas, though their names are not listed in the provided information.

George Neville-Neilمشاهده پروفایل

استاد مهمان

• Operating Systems
• Networking
• Time Protocols
• +۳ مورد دیگر

George V. Neville-Neil is an Industrial Visitor at the Department of Computer Science and Technology, University of Cambridge. His work focuses on networking, operating systems, and time protocols. He is known for authoring The Kollected Kode Vicious and co-authoring The Design and Implementation of the FreeBSD Operating System . He teaches courses on programming and has contributed to FreeBSD's development through research and publications. Neville-Neil holds a bachelor’s degree in computer science from Northeastern University. He is active in professional organizations like ACM and Usenix. His research interests include code spelunking (analyzing large codebases), optimizing network performance in FreeBSD, and securing IPv6 implementations. He has explored topics like hardware performance counters and socket programming through publications and conference talks. His articles span decades, reflecting a consistent focus on system-level software, networking protocols, and performance. Notable contributions include analyses of FreeBSD's networking stack, IPv6 security, and kernel optimization techniques. Neville-Neil’s work often bridges theoretical concepts with practical implementations, emphasizing real-world applicability. No scientific awards are explicitly listed, but his extensive publications and contributions to open-source projects highlight his influence. He collaborates with industry and academia, as evidenced by his roles as a columnist and co-author. His involvement in conferences like BSDCan and SIGCOMM underscores his active participation in the computer science community. Neville-Neil’s work environment includes the Department’s research groups, though specific labs or teams are not detailed. His current efforts likely continue in system software and networking, leveraging his expertise in both academia and industry.

Zahra Tarkhaniمشاهده پروفایل

استادیار

• Computer Security
• Confidential Computing
• Privacy-Preserving Systems
• +۵ مورد دیگر

Zahra Tarkhani is an Assistant Professor in the Department of Computer Science and Technology within the School of Technology at the University of Cambridge. She is based in the William Gates Building (Room GC01) at 15 JJ Thomson Avenue, Cambridge CB3 0FD, and can be contacted at zt233@cam.ac.uk. Her research focuses at the intersection of hardware security, confidential computing, and privacy-preserving systems. Key interests include trusted execution environments, secure machine learning implementations, memory safety mechanisms, and security for wearable brain-computer interfaces. Her work bridges theoretical security principles with practical system implementations, particularly addressing challenges in heterogeneous computing environments. Analysis of her 11 publications from 2017-2024 reveals a strong trajectory toward secure machine learning systems, with recent work systematizing knowledge in confidential computing for ML. Earlier research established foundations in memory protection (Tiles/μTiles), enclave orchestration (Sirius), and heterogeneous enclave management (Snape), demonstrating consistent innovation in privilege separation and compartmentalization techniques. Her scientific contributions address critical gaps in hardware-software security interfaces, with applications spanning cloud infrastructure, edge computing, and biomedical devices. The publications demonstrate technical depth in both architectural design and implementation security.

Shoaib Akramمشاهده پروفایل

مدرس

• Computer Architecture
• Hardware/Software Interface
• Storage-Intensive Applications
• +۶ مورد دیگر

Shoaib Akram is a Lecturer at the ANU School of Computing, Australian National University. He holds a Ph.D. in Computer Science and Engineering from Ghent University (Belgium) and an M.S. in Electrical and Computer Engineering from the University of Illinois at Urbana-Champaign. He has received prestigious awards such as the Fulbright Scholarship (2007-2009) and a Marie Curie Fellowship (2010-2012). His research focuses on optimizing storage-intensive applications, computer architecture, and hardware-software interfaces, particularly for modern data-centric systems. He leads the Vertically Integrated Computer Systems (VICS) research group and has published extensively in top-tier conferences like PLDI, ASPLOS, and ISPASS. He teaches foundational computer architecture courses to over 400 students annually and restructured ANU’s computer systems curriculum. Education: Ph.D. in Computer Science and Engineering, Ghent University (Belgium) M.S. in Electrical and Computer Engineering, University of Illinois at Urbana-Champaign (USA) Research Interests: Storage-Intensive Applications Non-Volatile Memory Systems Garbage Collection Algorithms Big Data Framework Optimization Performance Analysis Hardware-Software Co-Design Awards: NVMW Memorable Paper Award (2019) HiPEAC Paper Awards (ASPLOS 2023, PLDI 2018) Marie Curie Fellowship (2010-2012) Fulbright Scholarship (2007-2009) Teaching & Service: Introductory and Advanced Computer Architecture Courses Program Committee Member for ISCA, MICRO, HPCA, and ASPLOS Artifact Evaluation Committee for OOPSLA and PLDI Labs/Groups: He leads the ANU's Vertically Integrated Computer Systems (VICS) research group, focusing on interdisciplinary system-level research.

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

دانشیار

• Formal Methods
• Interactive Theorem Proving
• Formal Semantics
• +۳ مورد دیگر

Dr. Michael Norrish is an Associate Professor at The Australian National University , affiliated with the School of Computing and the Mathematical Sciences Institute . He specializes in formal methods, interactive theorem proving (particularly with the HOL4 system), and formal semantics for complex systems. His work emphasizes rigorous software verification and foundational computer science research. Dr. Norrish holds a PhD in Computer Science from the University of Cambridge (1999) , along with a BA and BSc(Hons) from Victoria University of Wellington. His research has led to significant contributions in verified compilers (e.g., CakeML), formalized algorithms (e.g., AKS primality test), and reproducibility challenges in scientific software. Research Interests include: - Formal verification of theorem provers - Verified systems programming - Machine learning integration in automated reasoning - Reproducibility in computational research His recent articles focus on advancing theorem proving tools (e.g., HOL4), reproducibility debt in scientific software, and verified compiler frameworks like PureCake and Pancake. He co-organized the 15th International Conference on Interactive Theorem Proving (ITP 2024) and leads projects on AI trustworthiness in Health, Safety & Environment (Tech4HSE). Current projects include: - Tech4HSE: AI Trust & Trustworthiness (ANU, 2024–2029) - Formalization of mathematical algorithms in HOL4