Prasita Mukherjee
Graduate Student
Supervising Graduate Teaching Assistant
Joined department: Fall 2019
Selected Publications
P. Mukherjee and Haoteng Yin. OCTAL: Graph Representation Learning for LTL Model Checking. DLG-KDD 2023 - Selected as a Contributed Talk}
K. Nagar, P. Mukherjee and S. Jagannathan. Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems. CAV 2020
Last Updated: Jul 9, 2025 11:23 AM