معرفی
Jay Bosamiya is a Senior Researcher at Microsoft Research (mapped to Researcher academic rank) and a PhD graduate from Carnegie Mellon University (advised by Bryan Parno). His research explores the intersection of Security, Systems, and Programming Languages, focusing on provably-safe software sandboxing and memory-safe execution of unsafe code.
- Education: PhD in Computer Science (CMU), BTech in Computer Science and Engineering (IIT Roorkee)
- Key Contributions: Lucet (high-concurrency sandboxing runtime), MSWasm (memory safety enforcement), and WebAssembly security frameworks
His recent publications (2020-2023) emphasize compiler design, formal verification, and secure execution environments. Notable awards include four consecutive DEFCON CTF championships (2022-2025) as a member of MushMush (MMM) and Plaid Parliament of Pwning (PPP). Beyond research, he actively participates in open-source development, CTF competitions, and occasionally shares insights on JavaScript quirks, game development, and formal methods via social media.
