… a sixth year PhD student 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.
- <2024-02-19 Mon> Successfully proposed my thesis : “Refinement based reasoning of P2P pubsub protocols is feasible and useful”
- <2023-11-14 Tue> Our paper “Verification of Gossipsub in ACL2s” won the best student paper award at ACL2 Workshop 2023.
- <2023-06-07 Wed> Started an internship at Rivos Inc in Portlad, Oregon.
- <2023-01-28 Sat> Selected to chair the session on “Forming and Evaluating Student Groups Papers” at SIGCSE 2023
- <2022-11-09 Wed> 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 Fri> Successfully completed an internship @ Amazon Minneapolis, during Summer 2022
- <2022-07-30 Sat> Attending and Volunteering at FLoC 2022
- <2021-07-09 Fri> Our paper: Mathematical Programming Modulo Strings got accepted at FMCAD 2021
- <2019-10-21 Mon> Selected to attend PLMW @ POPL 2019 in New Orleans
- Calculational Proofs in ACL2s
Drew Walter, Ankit Kumar and Panagiotis Manolios
- Formal Model-Driven Analysis of Resilience of GossipSub to Sybil
Attacks
Ankit Kumar, Max von Hippel, Cristina Nita-Rotaru and Panagiotis Manolios
- Verification of GossipSub in ACL2s 🏆 Best student paper award
Ankit Kumar, Max von Hippel, Cristina Nita-Rotaru and Panagiotis Manolios
- Proving Calculational Proofs Correct 🏆 Second best student paper award
Ankit Kumar, Drew Walter and Panagiotis Manolios
- Automated grading of automata with ACL2s
Ankit Kumar, Drew Walter and Panagiotis Manolios
- Mathematical Programming Modulo Strings
Ankit Kumar and Panagiotis Manolios
<2022-09-02 Fri> 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)
<2021-10-15 Fri> Talked about my first FMCAD paper on Mathematical Programming Modulo Strings.
<2022-07-11 Mon> Talk on automatic grading and feedback generation for Theory of Computation assignments using the ACL2s theorem prover, during ThEdu ‘21.
Lecture notes for a seminar on type systems for array programming languages covering APL, implicit scaling, Haskell and Remora.
Lecture notes for a seminar on the implementation of dependently typed proof assistants, comparing and contrasting NuPRL and Coq proof assistants.
- Won Best Student Paper Award at ACL2 Workshop 2023 for our paper : Verification of GossipSub in ACL2s
- Student Travel Fellowship to attend PLMW at POPL 2019
I have been a TA for the following courses: Algorithms (A), Logic and Computation (LC), Theory of Computation (TC) and Computer Aided Reasoning (CAR).
| Term \ Course | A | LC | TC | CAR |
|---|---|---|---|---|
| Fall’18 | X | |||
| Spring’19 | X | |||
| Fall’19 | X | |||
| Spring’20 | X | |||
| Fall’20 | X | |||
| Spring’21 | X | |||
| Fall’21 | X | |||
| Spring’22 | X | |||
| Fall’22 | X | X | ||
| Spring’23 | X | |||
| Fall’23 | X | |||
| Spring’24 | X |