معرفی
Alex Richardson is a Lecturer in the Department of Computer Science and Technology at the University of Cambridge. His research focuses on Computer Architecture, Security, and Programming Languages, with emphasis on memory safety, capability-based systems, and software verification.
Richardson's research spans critical areas in systems security, including pointer provenance, temporal and spatial safety for CHERI heaps, and capability enforcement for embedded devices. His work integrates formal methods with practical implementations to address vulnerabilities in software and hardware architectures.
Richardson has contributed to advancements in Capability-Based Security, Embedded Systems, and Memory Management through collaborations on projects like CHERI and SOAAP. His publications highlight innovations in heap management, access control, and real-time operating systems for cyber-physical systems.
He is associated with the Computer Architecture Group and maintains active involvement in improving secure system design. His contact details include the email alr48@cam.ac.uk and the office at GE15, William Gates Building, Cambridge.
