Secure and reliable software systems. Memory safety. Program analysis. #rustlang and C++ interop. Previously fuzzing and symbolic execution. Staff Software Engineer and Manager @ Google.