Find Academic Supervisors

• Computer Architecture
• Security
• Systems and Networking
• +3 more

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
• +3 more

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 DavisView profile

Academic

• Computer security
• Operating systems
• CHERI architecture
• +2 more

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 KeirView profile

Lecturer

• High-Performance Parallel Computing
• Compilers for Heterogeneous Architectures
• Functional Programming
• +5 more

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 GilardiView profile

Lecturer

• Immersive Technologies
• Extended Realities (XR)
• 3D Reconstructions
• +9 more

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 KhatibView profile

Professor

• Robotics
• Humanoid Robotics
• Human-Robot Interaction
• +5 more

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 XuView profile

Adjunct Assistant Professor

• Computational Chemistry
• Quantum Mechanics
• Molecular Modeling
• +2 more

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 SkarlatosView profile

Assistant Professor

• Computer Architecture
• Security and Privacy
• Operating Systems
• +1 more

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 RileyView profile

Teaching Professor

• Computer Security
• Cybersecurity
• Hardware Security
• +3 more

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-NeilView profile

Visiting Professor

• Operating Systems
• Networking
• Time Protocols
• +3 more

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 TarkhaniView profile

Assistant Professor

• Computer Security
• Confidential Computing
• Privacy-Preserving Systems
• +5 more

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 AkramView profile

Lecturer

• Computer Architecture
• Hardware/Software Interface
• Storage-Intensive Applications
• +6 more

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 NorrishView profile

Associate Professor

• Formal Methods
• Interactive Theorem Proving
• Formal Semantics
• +3 more

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

Alan SillView profile

Adjunct Professor

• High Performance Computing
• Cloud Computing
• Distributed Computing
• +7 more

Alan Sill serves as Managing Director of the High Performance Computing Center at Texas Tech University and holds an adjunct professorship in the Department of Physics. He co-directs the NSF-funded Center for Cloud and Autonomic Computing (CAC@TTU), a collaborative research center. His roles also include President of the Open Grid Forum and membership in international advisory boards for cloud/grid computing standards. Sill earned a Bachelors in Physics and Mathematics from Lewis and Clark College (1977) and a Ph.D. in Particle Physics from The American University (1987). Research focuses on large-scale computing systems, distributed infrastructure design, renewable energy integration in data centers, and detector development for particle physics. He has pioneered standards for grid computing, autonomic systems, and cloud interoperability, contributing to projects like the Open Science Grid and SURAgrid. His publications emphasize HPC monitoring frameworks (e.g., Monster, Redfish-Nagios), cloud standards, and energy-efficient computing. He has advised on over 600 scientific papers across particle physics and computational fields. Sill's visiting roles include Visiting Professor of Distributed Computing at the University of Derby (2016-2020) and guest scientist positions at Fermilab and Lawrence Berkeley National Lab. He is a key member of CERN's CMS Collaboration and past leader of high-energy physics detector teams.

James WolferView profile

Professor

• Artificial Intelligence
• Computer Vision
• Medical Imaging
• +3 more

James Wolfer is a Professor in the Computer Science and Information Systems department at Indiana University South Bend (IUSB) since 2001. His research focuses on biologically-inspired computing, medical imaging applications, and computer science pedagogy. He holds a Ph.D. in Computer Science from Illinois Institute of Technology and has contributed to fields such as genetic programming, deep learning, and haptic interfaces. Education: 1993: Ph.D., Computer Science, Illinois Institute of Technology 1981: M.S., Computer Information Science, Andrews University 1975: B.A., Religion, Andrews University His research interests include applying natural algorithms to medical imaging, remote sensing, and art, alongside innovating computer science education through robotics and haptic technologies. He has served on committees for IEEE EDUCON and the Eurographics Education Committee, and is an executive member of the International Society for Engineering Pedagogy (IGIP). Key Contributions: Developed haptic interfaces for teaching computer graphics and biomedical applications. Introduced robotics into the computer organization curriculum via an AT&T/SBC Fellowship. Authored over 10 publications on pedagogical models, medical imaging algorithms, and parallel computing. Awards: AT&T/SBC Fellow (for integrating robotics into CS education) He has advised multiple student projects, including SMART Summer Fellowships focused on self-organizing maps, mammography analysis, and haptic palpation. His work bridges theoretical computing with practical biomedical and educational applications.