Neelanjana Pal
Senior ML Engineer (MathWorks AI Services Team)
Boston, Massachusetts, United States
Summary
🎓
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.
7 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 UniversityDoctor of Philosophy - PhD, Electrical and Computer Engineering, Doctor of Philosophy - PhD, Electrical and Computer Engineering at Vanderbilt UniversityInternship, MULTI/INTERDISCIPLINARY STUDIES, Internship, MULTI/INTERDISCIPLINARY STUDIES at IIT Khararagpur
Github Skills (8)
neural-network10
autonomy10
verification10
reachability10
formal-verification10
formal-methods10
deep-learning4
pytorch4
Programming languages (3)
Github contributions (5)
verivital/nnv
Apr 2020 - Jul 2021
Neural Network Verification Software Tool
Contributions:26 commits, 16 PRs, 1 comment in 1 year 2 months
network-verificationautonomyneural-networkcyber-physicalneural-network-verification
Neelanjana314/vnn-comp
Jul 2020 - Jun 2021
Contributions:2 PRs, 8 pushes, 1 branch in 11 months
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.