Neelanjana Pal
Applied AI Researcher at Princeton IT Services, Inc
Boston, Massachusetts, United States
Summary
👤
Senior🎓
Top SchoolNeelanjana Pal is a Senior ML Engineer with eight years of experience blending AI research and production engineering, currently advancing MathWorks' AI Services with a focus on scalable, trustworthy models and LLM-driven tooling. Her background in formal methods and AI verification informs practical work on model robustness, adversarial defenses, and provable guarantees for time-series and PDE forecasting using techniques like Fourier Neural Operators. She has shipped internal cost-efficient LLM prototyping frameworks and subcomponent selection methods for MATLAB Simulink that reduce compute while improving interpretability of AI explanations. Comfortable bridging theory and product, she has presented and taught at major workshops (Grace Hopper, MATLAB Expo, WiML) and contributes to climate and community initiatives like Climate Reality and the World Economic Forum Global Shapers. Colleagues value her curiosity-driven approach that pairs rigorous verification thinking with pragmatic engineering to make advanced AI reliable and usable in real-world workflows.
8 years of coding experience
6 years of employment as a software developer
Internship Non-linear Dynamics, Internship Non-linear Dynamics at Indian Institute of Science Education & Research (IISER), KolkataBachelor of Engineering (B.E.) Electrical Engineering, Bachelor of Engineering (B.E.) Electrical Engineering at Jadavpur UniversityMaster of Science - MS Electrical Engineering, Master of Science - MS Electrical Engineering at Vanderbilt UniversityInternship Multi/Interdisciplinary Studies, Internship Multi/Interdisciplinary Studies at IIT Khararagpur
Github Skills (6)
neural-network10
autonomy10
verification10
reachability10
formal-verification10
formal-methods10
Programming languages (3)
Github contributions (5)
verivital/nnv
Apr 2020 - Jul 2021
Neural Network Verification Software Tool https://www.verivital.com Documentation:
Contributions:26 commits, 16 PRs, 1 comment in 1 year 2 months
neural-networkverificationautonomycyber-physicalcyber-physical-systems
Neelanjana314/neelanjana314.github.io
Jun 2023 - Jul 2026
Contributions:25 pushes, 1 branch in 3 years
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.