A Formalization of the Correctness of the Floodsub Protocol 🏆 Best student paper award
ACL2 Workshop 2025
... a PhD candidate working with Prof. Panagiotis Manolios at Khoury College, Northeastern University. My research interests lie in Formal Methods, Theorem Proving and Disproving, Decision Procedures, Programming Languages and Distributed systems.
In my free time, I like to dabble in astrophotography as well as play chess and tabletennis.
Contact
News
- 2025-05-19 🚀 Returning as an Applied Scientist Intern at Amazon Web Services.
- 2025-05-14 🏆 Our paper "A Formalization of the Correctness of the Floodsub Protocol" won the best student paper award at ACL2 Workshop 2025.
- 2024-12-10 💍 Got married :)
- 2024-04-30 🎖️ Won the Dissertation Completion Fellowship for Summer 2024.
- 2024-02-19 🎓 Successfully proposed my thesis: "Refinement based reasoning of P2P pubsub protocols is feasible and useful"
- 2023-11-14 🏆 Our paper "Verification of Gossipsub in ACL2s" won the best student paper award at ACL2 Workshop 2023.
- 2023-06-07 💼 Started an internship at Rivos Inc in Portland, Oregon.
- 2023-01-28 🎤 Selected to chair the session on "Forming and Evaluating Student Groups Papers" at SIGCSE 2023
- 2022-11-09 🎙️ Presented our work on verification of GossipSub protocol in an invited talk on LibP2P day @ IPFS Camp 2022, Lisbon, Portugal, and at Khoury Systems Day, 2023
- 2022-09-02 ✅ Successfully completed an internship @ Amazon Minneapolis, during Summer 2022
- 2022-07-30 🌟 Attending and Volunteering at FLoC 2022
- 2021-07-09 📄 Our paper: Mathematical Programming Modulo Strings got accepted at FMCAD 2021
- 2019-10-21 🎯 Selected to attend PLMW @ POPL 2019 in New Orleans
Publications
Formal Model-Driven Analysis of Resilience of GossipSub to Sybil Attacks
IEEE Symposium on Security and Privacy 2024
Verification of GossipSub in ACL2s 🏆 Best student paper award
ACL2 Workshop 2023
Proving Calculational Proofs Correct 🏆 Second best student paper award
ACL2 Workshop 2023
Calculational Proofs in ACL2s
arXiv Preprint 2023
Automated grading of automata with ACL2s
ThEdu 2022
Mathematical Programming Modulo Strings
FMCAD 2021
Talks
Caraxes: Tracking Critical Data in the Cloud
September 2, 2022
End of internship talk at Amazon, where Drew Walter and I showed how to "lift" taint analysis from code level to cloud level, and also demoed a prototype tool we developed called Caraxes. The slides and video of this talk are available in the Amazon internal network.
Mathematical Programming Modulo Strings (Invited Talk at Boston Computational Club)
October 15, 2021
Talked about my first FMCAD paper on Mathematical Programming Modulo Strings.
Automated Grading of Automata with ACL2s
July 11, 2022
Talk on automatic grading and feedback generation for Theory of Computation assignments using the ACL2s theorem prover, during ThEdu '21.
History of Rank Polymorphic Type Systems in Array Programming Languages
Lecture notes for a seminar on type systems for array programming languages covering APL, implicit scaling, Haskell and Remora.
Dependently Typed Proof Assistants
Lecture notes for a seminar on the implementation of dependently typed proof assistants, comparing and contrasting NuPRL and Coq proof assistants.
Teaching
I have been a TA for the following courses: Algorithms, Logic and Computation, Theory of Computation, and Computer Aided Reasoning. Over the years, I've taught these courses across multiple semesters, helping students understand fundamental concepts in computer science and formal methods.