Bishnu Bhusal

I am a Ph.D. candidate in Computer Science at the University of Missouri, advised by Prof. Rohit Chadha, graduating July 2026. My research asks a deceptively hard question: can we prove, not just hope, that an algorithm preserves privacy? I build automated verifiers and decision procedures that answer this with mathematical rigor.

My work spans differential privacy, LLM safety, and formal verification. I have been fortunate to explore these problems across some wonderful places: Los Alamos National Laboratory, SRI International, and Amazon Web Services. Along the way, my work has appeared at AAAI, ACM CCS, and OOPSLA, and earned a Best Paper Award at GameSec 2024.

Before academia, I spent seven years as a software engineer, scaling systems to billions of daily requests and building platforms used by millions. That grounding still shapes how I think: I care about ideas that actually work, not just ideas that look good on paper.

I am actively on the job market and looking for applied scientist, privacy engineer, and faculty roles. If you work on privacy, trustworthy AI, or formal methods, I would love to connect.

Outside the lab, I chase trails, camp under open skies, and try hard to find places without Wi-Fi. Feel free to reach me at [email protected]. I am always happy to chat, collaborate, or just exchange ideas.