Dr Susmoy Das

About

Susmoy Das is a post-doctoral researcher specializing in formal methods for the modeling, specification, and verification of reactive systems. He holds a bachelor's and master's degree in mathematics from Jadavpur University, where he studied mathematics, statistics, and computer science. He later joined the Indian Statistical Institute, Kolkata as a researcher in applied machine learning, gaining valuable experience in data-driven techniques and interdisciplinary applications.