Noah Evans is an accomplished systems software researcher with over 15 years of experience in *nix kernel development, formal hardware verification, and protocol design. They have managed multimillion-dollar DARPA and NNSA projects at Sandia National Laboratories, enabling scalable, high-assurance solutions for RISC-V and seL4-based systems. Currently, Noah holds the position of Principal Member of Technical Staff at Draper Laboratories. Their expertise includes formal methods, with proficiency in Yosys, Koika, and Coq, focusing on delivering “correct by construction” verification with enhanced productivity and reduced costs.
This person is not in any teams
This person is not in any offices