Dr Susmoy Das

Research Associate (School of Computing Science)

email: Susmoy.Das@glasgow.ac.uk
pronouns: He/him/his

Biography

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.

He earned his PhD in Electrical Engineering and Computer Science from the Indian Institute of Science Education and Research (IISER) Bhopal, India, under the supervision of Dr. Arpit Sharma. His doctoral research focused on developing sound techniques, temporal logic frameworks, and model checking algorithms to enhance the analysis of stochastic systems across various domains. Currently, he is a Research Associate in the UK working with Michele Sevegnani.

Research interests

Susmoy is contributing to the TransiT project, a multi-institutional collaboration involving industrial and academic partners. His work explores the use of formal (verification) methods in Digital Twins, aiming to reason about, validate, and predict system behaviors to support sustainable and resilient futures. Beyond his core research, he is keen on applying model checking techniques to emerging domains, uncovering new attributes, challenging existing principles, and offering fresh perspectives through rigorous formal analysis.

Research groups

Formal Analysis, Theory & Algorithms

Publications

List by: Type | Date

Jump to: 2025

Number of items: 2.

2025

Das, Susmoy ORCID: https://orcid.org/0000-0001-9118-7402, Almeida, Ricardo, Archibald, Blair ORCID: https://orcid.org/0000-0003-3699-6658 and Sevegnani, Michele ORCID: https://orcid.org/0000-0001-6773-9481 (2025) Formal Analysis of Resilience in Transport Systems with Bigraphs. In: 2nd International Workshop on Safety/Reliability/Trustworthiness of Intelligent Transportation Systems (SRToITS 2025) in conjunction with SAFECOMP 2025, Stockholm, Sweden, 09-12 September 2025, ISBN 9783032020178 (doi: 10.1007/978-3-032-02018-5_31)

Almeida, Ricardo, Das, Susmoy ORCID: https://orcid.org/0000-0001-9118-7402, Archibald, Blair ORCID: https://orcid.org/0000-0003-3699-6658, Calder, Muffy ORCID: https://orcid.org/0000-0001-5033-7232 and Sevegnani, Michele ORCID: https://orcid.org/0000-0001-6773-9481 (2025) Modelling Railway Networks with Bigraphs: Electrification, Failures, and Optimisation. In: 6th International Conference on Reliability, Safety, and Security of Railway Systems (RSSRail), Pisa, Italy, 26-28 Nov 2025, (Accepted for Publication)

This list was generated on Wed Nov 5 07:14:14 2025 GMT.

Jump to: Conference Proceedings

Number of items: 2.

Conference Proceedings

This list was generated on Wed Nov 5 07:14:14 2025 GMT.

Prior publications

Article

Susmoy Das, Arpit Sharma (2025) Embeddings Between State and Action Based Probabilistic Logics Formal Aspects of Computing Crossref. (doi: 10.1145/3696431)

Book Section

Susmoy Das, Arpit Sharma (2025) Process Mining Meets Probabilistic Model Checking via Model and Logical Embeddings Lecture Notes in Computer Science Susmoy Das. ISBN 9783031757754 ISSN 1611-3349 (doi: 10.1007/978-3-031-75775-4_9)

Susmoy Das, Arpit Sharma (2023) On the Use of Model and Logical Embeddings for Model Checking of Probabilistic Systems Formal Techniques for Distributed Objects, Components, and Systems Susmoy Das. ISBN 9783031353550 ISSN 1611-3349 (doi: 10.1007/978-3-031-35355-0_8)

Susmoy Das, Arpit Sharma (2022) Embeddings Between State and Action Based Probabilistic Logics Formal Aspects of Component Software Susmoy Das. ISBN 9783031208720 ISSN 1611-3349 (doi: 10.1007/978-3-031-20872-0_8)

Conference Proceedings

Das, S., Sharma, A. (2024) A Formal Framework of Model and Logical Embeddings for Verification of Stochastic Systems Proceedings of the ACM Symposium on Applied Computing Scopus - Elsevier. ISBN 9798400702433 (doi: 10.1145/3605098.3636032)

(2021) Embeddings between state and action labeled probabilistic systems Proceedings of the 36th Annual ACM Symposium on Applied Computing Susmoy Das. (doi: 10.1145/3412841.3442048)

(2021) State Space Minimization Preserving Embeddings for Continuous-Time Markov Chains Performance Engineering and Stochastic Modeling Susmoy Das. ISBN 9783030918248 ISSN 16113349 03029743 (doi: 10.1007/978-3-030-91825-5_3)