Prasita Mukherjee - Department of Computer Science - Purdue University Skip to main content
Prasita Mukherjee photo

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: Dec 4, 2020 2:03 PM

Department of Computer Science, 305 N. University Street, West Lafayette, IN 47907

Phone: (765) 494-6010 • Fax: (765) 494-0739

Copyright © 2024 Purdue University | An equal access/equal opportunity university | Copyright Complaints

Trouble with this page? Disability-related accessibility issue? Please contact the College of Science.