Prantik Chatterjee

Prantik Chatterjee, Ph.D., is a Senior Software Engineer at MathWorks, specializing in formal verification and machine learning. They completed their PhD in Computer Science at the Indian Institute of Technology Kanpur in 2023 and have held positions as a Senior Research Fellow and Junior Research Fellow at the same institution. Previously, Prantik was a Project Linked Person at the Indian Statistical Institute in Kolkata, contributing to projects on transfer learning and computational intelligence. They also gained valuable experience as a Research Intern at Microsoft, where they developed an innovative distributed framework for bounded model checking, resulting in a publication in FMCAD 2020.