Jay Bosamiya

About

I’m a senior researcher in the Security Research Group at Microsoft Research Redmond. My research focuses on improving the security of practical software systems in fundamental ways by exploring the intersection of the fields of Security, Systems, and Programming Languages.

I received my PhD in Computer Science (opens in new tab) from Carnegie Mellon University (opens in new tab). My PhD thesis (opens in new tab) focused on demonstrating that unapologetic security is achievable.

You can find my personal website here (opens in new tab).

News

• Our research group is hiring interns for summer 2026. If you are interested, please apply to the new platform link here (opens in new tab) (NOTE: you may need to re-apply if you had previously applied to the old platform link (opens in new tab)).
• At SOSP’24, our paper (opens in new tab) on Verus (opens in new tab) won the Distinguished Artifact Award.
• At CAV’24, our paper (opens in new tab) on proof actions won a Distinguished Paper Award.
• At USENIX Security’22, our paper (opens in new tab) on provably-safe sandboxing using WebAssembly won both a Distinguished Paper Award, and Internet Defense Prize.