Jay Bosamiya
Senior Researcher at Microsoft
Redmond, Washington, United States
Summary
🤩
Rockstar🎓
Top SchoolJay Bosamiya is a software security researcher and Senior Researcher at Microsoft with a PhD in Computer Science from Carnegie Mellon University where his thesis proposed principled approaches to practical security. A CTF competitor (PPP) and seasoned open-source contributor, he blends hands-on exploit/defense expertise with systems research, informed by internships on Project Everest and work under leading security researchers. Trained at IIT Roorkee (BTech) and with experience dating back to Nmap development and student leadership, he moves comfortably between low-level systems, formal thinking, and real-world engineering. Based in Redmond, he focuses on building auditable, robust security primitives that scale to industry deployments. Notably, his profile reflects both academic rigor and active community engagement, and he maintains an up-to-date project portfolio at jaybosamiya.com.
2 years of coding experience
Indian Institute of Technology RoorkeeSri Kumaran Children's Home (CBSE)Doctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at Carnegie Mellon University
Gujarati, Hindi, English
Github Skills (23)
command-line10
usermode10
console9
security9
capstone9
windows9
cmd9
windows-terminal9
rust9
virtual-machine8
windows-console8
operating-system7
virtualization5
emacs5
microkernel4
Programming languages (5)
Github contributions (5)
jaybosamiya-ms/dotfiles
May 2024 - Jul 2026
A collection of my dotfiles.
Contributions:83 pushes, 2 branches in 2 years 2 months
verus-lang/verusfmt
Jun 2024 - Jul 2026
An Opinionated Formatter for Verus
Contributions:28 reviews, 101 PRs, 123 pushes in 2 years
formatterpretty-printerverus
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.