Hi. I am a doctoral student and design enthusiast.

I am broadly interested in verification and model checking with its applications in distributed systems, business process management systems and security.

My research focuses on formal verification of large probabilistic models with concurrency involved. I am currently working on extending a model for asynchronously communicating probabilistic systems to incorporate time, cost and schedulers. I am also applying the aforementioned model to business process management systems.

My other interests include learning basic principles of User Experience (UX) and interaction design. I often collaborate with freelancers to build a branding and web presence.

This is the academic website of Ratul Saha, which will soon be replaced by the website of the agency Ratul Saha, Inc.

PUBLICATIONS
Ratul Saha, Madhavan Mukund, and R. P. Jagadeesh Chandra Bose.
Time-bounded Statistical Analysis of Resource-constrained Business Processes with Real-time Distributed Probabilistic Systems, In Proceedings of Symposium on Dependable Software Engineering Theories, Tools and Applications (SETTA 2016).
Javier Esparza, Philipp Hoffmann, and Ratul Saha.
Polynomial Analysis Algorithms for Free Choice Probabilistic Workflow Nets, To appear in Proceedings of the Thirteenth International Conference on Quantitative Evaluation of Systems (QEST 2016).
Ratul Saha, Javier Esparza, Sumit K. Jha, Madhavan Mukund, and P. S. Thiagarajan.
Distributed Markov Chains, In Proceedings of the Sixteenth International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2015), Springer.
Loi Luu, Ratul Saha, Inian Parameshwaran, Prateek Saxena, and Aquinas Hobor.
On Power Splitting Games in Distributed Computation: The Case of Bitcoin Pooled Mining, In proceedings of IEEE Computer Security Foundations Symposium, 2015.
INVITED TALKS
On the subject of:
Model Checking Distributed Probabilistic Systems at
- Chennai Mathematical Institute (2015),
- Ludwig Maximilian University of Munich (2015),
- Trends and Challenges in Quantitative Verification (TCQV), Mysore (2016).
EDUCATION
Aug 2013 - Present
PhD student in Computer Science
National University of Singapore, Singapore
Advisor: David S Rosenblum. Previously, P S Thiagarajan (retired)
2009 - 2012
B.Sc in Mathematics and CS
Chennai Mathematical Institute, India
ACADEMIC VISITS
May 2015 - July 2015
Technische Universität München, Germany
Aug 2015 - Dec 2015
Chennai Mathematical Institute, India
Jan 2016 - Feb 2016
Indian Statistical Institute Kolkata, India
Mar 2016 - April 2016
Indian Institute of Technology Bombay, India
Host: S Akshay
WORK EXPERIENCE
Jan 2013 - May 2013
Research Assistant
National University of Singapore, Singapore
June 2012 – July 2012
Software Intern
Limberlink Technologies Pvt. Ltd.
Advisor: V Vinay
PROJECTS
Presento: A clean, simple and extensible template for presentations.
Supports XeTeX and Beamer.