Neelanjana Pal

Graduate Student Research Assistant

Neelanjana Pal

Neelanjana is currently pursuing her PhD in Electrical Engineering at Vanderbilt University, and working as a graduate research assistant in the veriVITAL lab headed by Dr. Taylor T Johnson, at the Institute for Software Integrated Systems since 2019, which focuses on safe and verifiable AI systems. Her primary research interest is in Automated Verification of Neural Networks using specialized software platforms. Currently, Neelanjana is working on enhancement of a Neural Network Verification Tool, called NNV developed by the veriVITAL Lab. Her work involves studying the effect of input image perturbations on trained Neural Network Classifiers and checking the robustness of the same using Formal Methods. 

Neelanjana completed her undergraduate in Electrical Engineering from Jadavpur University, India in the year 2015. Following graduation, she joined Rockwell Automation India Pvt. Ltd and spent 2 years as a Project Engineer.