Jay Bosamiya Software Security Researcher


Hey there! I'm a PhD student in the Computer Science Department at CMU, and am advised by Bryan Parno.

My research currently focuses on exploring how we can build provably correct and secure software systems, through formal methods. I'm currently a member of Project Everest.

When not working on research, I enjoy playing CTFs (as a member of PPP; and sometimes with InfoSecIITR that I co-founded while I was at IITR), writing, reading, music, competitive coding, and more.

Some people know me better by the handle "f0xtr0t".

The best way to reach me is either by email (preferred) or by Twitter DMs.