Nigel C.

Nigel C. is a Security Software Engineer at SpaceX, having started in September 2023. Prior experience includes working as a Research Assistant at UC Berkeley's Electrical Engineering & Computer Sciences department, where Nigel led the development of a formal verification framework for memory-safe CPU microarchitectures in collaboration with Intel Labs. Nigel also completed a Research Internship at UC Santa Barbara, developing a framework for reverse engineering Intel CPU microarchitectural behavior, along with previous roles in vulnerability research and security engineering at Raytheon Technologies and Battelle. Nigel's background in security research includes an internship at the Software Engineering Institute at Carnegie Mellon University, focusing on Android kernel development, and experience in HCI research at Stanford University. Nigel holds a Bachelor of Arts in Computer Science from the University of California, Berkeley.