SUSMOY DAS
Researcher
Dr Susmoy Das is a Postdoctoral Research Associate at the University of Glasgow, working with the TransiT hub. His research broadly focuses on the formal modelling, specification and verification of reactive systems. More specifically, he is interested in developing sound techniques, temporal logic and model-checking algorithms to enable better analysis of probabilistic and stochastic systems across various formalisms.
University of Glasgow
