305 N University St
Department of Computer Science
Purdue University
West Lafayette, IN, 47907
USA
Department of Computer Science
Purdue University
West Lafayette, IN, 47907
USA
Prasita Mukherjee
I am a PhD. student
in the Department of
Computer Science at Purdue University, advised by
Prof. Ben Delaware.
My research interests are at the intersection of Programming Languages and Neurosymbolic Reasoning. During my PhD., I have worked as an Applied Scientist Intern at Amazon Web Services (Summer 2022), and will be joining Bloomberg as a Research Intern in the Summer of 2025.
You can find my CV here and Cover Letter here.
My research interests are at the intersection of Programming Languages and Neurosymbolic Reasoning. During my PhD., I have worked as an Applied Scientist Intern at Amazon Web Services (Summer 2022), and will be joining Bloomberg as a Research Intern in the Summer of 2025.
You can find my CV here and Cover Letter here.
Publications
KestREL: Relational Verification using E-Graphs for Program Alignment
OOPSLA 2025
Robert Dickerson, Prasita Mukherjee, Benjamin Delaware
SYNVER: Towards Automated Verification of LLM-Synthesized C Programs
CoqPL 2025 (Workshop co-located with POPL)
Prasita Mukherjee, Benjamin Delaware
OCTAL: Graph Representation Learning for LTL Model Checking
DLG-KDD 2023 (Workshop co-located with KDD)
Selected as a Contributed Talk
Prasita Mukherjee, Haoteng Yin
Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems
CAV 2020
Kartik Nagar, Prasita Mukherjee, Suresh Jagannathan
A novel symmetric algorithm for process synchronization in distributed systems
ALAP 2018
Sourasekhar Banerjee, Prasita Mukherjee, Sukhendu Kanrar, Nabendu Chaki
Thesis
Admissible Strategies for Safety and Reachability Objectives in Graph Games
Master's Thesis
Awards and Service
Student Volunteer, POPL 2025
One-time employee recognition award (Purdue University, Amount - 1500 USD)
Travel grant for KDD 2023 (Purdue University, Amount - 500 USD)