Senior Staff Software Engineer, Google
I am working on Linux kernel dynamic bug detection tools (KASAN, KMSAN, KTSAN), kernel fuzzing (syzkaller, syzbot) for Linux and other OSes (Fuchsia, gVisor). Before that developed ThreadSanitizer, a user-space race detector (part of llvm, gcc, Go), go-fuzz (fuzzer for Go).