
Research Scientist
Advancing the state of the art
About Me
PhD researcher in Computer Science focusing on distributed systems and formal verification. Published in top-tier venues including SOSP and OSDI. I build tools that help prove systems correct. Open source contributor and teaching assistant for graduate systems courses.- 🎓 PhD Candidate in CS
- 📄 Published at SOSP, OSDI
- 🔬 Formal verification research
- 👨🏫 Graduate TA
Tech Stack
GitHub Stats
Featured Projects
Verification Framework
Formal verification toolkit for distributed protocols
Benchmark Suite
Reproducible benchmarks for consensus algorithms
Course Materials
Graduate distributed systems course with hands-on labs