معرفی
Susmoy Das is a Research Associate in the School of Computing Science at the University of Glasgow. His research focuses on formal methods and probabilistic systems, particularly model checking, embeddings between logical systems, and verification techniques for stochastic systems.
Recent publications demonstrate his work on bridging process mining with probabilistic model checking through embedding techniques, developing formal frameworks for stochastic system verification, and minimizing state spaces while preserving behavioral properties in Markov chains. His articles consistently explore novel intersections between formal verification methods and probabilistic modeling.
۰مقاله منتشرشده
