Summary
Koby Chan is a Software Engineer with eight years of experience building programming language and code-generation infrastructure, currently contributing at Facebook/WhatsApp from Palo Alto. He combines industry-grade product delivery with deep academic research—his Stanford work produced formal semantics and a 57-page report used to analyze Spectre-class security vulnerabilities and inform secure compilation. At Facebook he shipped tooling for mobile ranking diagnostics and has a track record of accelerating projects (finishing a production debug tool four weeks early) and extending them with ML-facing features. Earlier internships spanned backend payment APIs at Visa, medical device firmware and mobile apps, and large-scale video analysis tools at Stanford HCI, reflecting a breadth across systems, embedded, and ML-adjacent engineering. He holds BS and MS degrees in Computer Science from Stanford and brings a researcher’s rigor to practical, shipped systems. Notably, his background blends low-level security semantics with hands-on product engineering, making him effective at turning formal ideas into production-quality tooling.
8 years of coding experience
1 year of employment as a software developer
Secondary School Program, Secondary School Program at Harvard University
High School Diploma, Valedictorian, Summa Cum Laude, High School Diploma, Valedictorian, Summa Cum Laude at Lewis Palmer High School
Bachelor of Science - BS, Computer Science, Bachelor of Science - BS, Computer Science at Stanford University