- Academics
-
Research
-
Centres
- E-Health Research Centre (EHRC)
- Machine Intelligence & Robotics CoE (MINRO)
- Centre for IT & Public Policy (CITAPP)
- Cognitive Computing CoE (CCC)
- Centre for Accessibility in the Global South (CAGS)
- COMET Tech Innovation Hub (NM-ICPS)
- IIITB Innovation Centre
- Modular Open-Source Identity Platform (MOSIP)
- Centre for Open Societal Systems (COSS)
- Centre for Digital Public Infrastructure | CDPI
-
Labs
- Surgical and Assistive Robotics Lab
- Scalable Data Science and AI Lab
- Graphics-Visualization-Computing-Lab
- Web Science Lab
- Multimodal Perception Lab
- Software Engineering and Analysis Lab
- High Density Electronic Systems Lab
- Networking and Communication Lab
- Remote Sensing, GIS and Spatial Computing Lab
- Indian Knowledge System (IKS) Lab
- Smart City Lab
- Ascend Studio
- Radar Sensing Lab
- CSSMP
- Advanced Wireless Communications Lab
- Speech Lab
- Connected Devices and Wearables Lab
- Outreach
- Publications
- Policy
- IIIT-B Press
-
Centres
- Placements
- Campus Life
- Media
- People
- About Us
Assistant Professor
saumya [dot] shankar [at] iiitb [dot] ac [dot] in
Education : Ph.D. (IIT Bhubaneswar)
Saumya received her Ph.D. in Computer Science and Engineering from the Indian Institute of Technology Bhubaneswar in 2024. Prior to defending her thesis, she joined the University of Auckland, New Zealand, as a research associate, later transitioning to a postdoctoral role. Her research interests include formal methods and software engineering, with a particular focus on runtime verification and enforcement. Her work has been published in notable venues, including SPIN 2022, RV 2022, FMSD 2023, TIME 2023, ISEC 2023, and HSCC 2025
Formal methods, Software engineering, Runtime verification, Runtime enforcement
Peer-Reviewed Journals:
-
Saumya Shankar, Ankit Pradhan, Srinivas Pinisetty, Antoine Rollet and Yliès Falcone. Bounded-Memory Runtime Enforcement with Probabilistic and Performance Analysis. FMSD 2023
-
Saumya Shankar, Srinivas Pinisetty. Compositional Runtime Enforcement of Safety and Co-safety Timed Properties. STTT 2025
-
Gaurav Gupta, Saumya Shankar, and Srinivas Pinisetty. Towards a Security Framework for Artifact-centric Workflows Leveraging Runtime Enforcement. JoT 2023
-
Bounded Serial Compositional Runtime Enforcement. Saumya Shankar, Thierry Jéron, Prisha Srinidi, Srinivas Pinisetty. JoT 2025
Conference Proceedings:
-
Saumya Shankar, Antoine Rollet, Srinivas Pinisetty, and Yliès Falcone. Bounded-memory runtime enforcement. SPIN 2022
-
Saumya Shankar, Srinivas Pinisetty, and Thierry Jéron. Bounded- Memory Runtime Enforcement of Timed Properties. TIME 2023
-
Saumya Shankar and Srinivas Pinisetty. Serial compositional runtime enforcement of safety timed properties. ISEC 2023
-
Gaurav Gupta, Saumya Shankar, and Srinivas Pinisetty. Automated Surgical Procedure Assistance Framework Using Deep Learning and Formal Runtime Monitoring. RV 2022
-
Saumya Shankar, Jitendra Madarkar & Poonam Sharma. Securing Face Recognition using BlockChain Technology. MIND 2020
-
Han Su, Saumya Shankar, Srinivas Pinisetty, Partha S. Roop, Naijun Zhan. Runtime Enforcement of CPS against Signal Temporal Logic. HSCC 2025
-
Softtide: a deterministic middleware for real-time systems. JiaJie Wang, Saumya Shankar, Partha Roop. CODES+ISSS '25 and TECS 25
-
Compositional training for Safe AI-based Cyber-Physical Systems. Sobhan Chatterjee, Saumya Shankar, Partha Roop. MEMOCODE '25
Workshops:
-
Saumya Shankar, V R Ujwal, Srinivas Pinisetty, and Partha Roop. Formal runtime monitoring approaches for autonomous vehicles. OVERLAY 2020
- Python Programming (EGC 112P), Term 1 2025-26 (Autumn 2025), No. of students enrolled = 148
- Data Structures and Algorithms Lab (EG 102P), Term 2 2025-26 (Spring 2026), No. of students enrolled = 122
- Introduction to Formal Verification (CS/SE 703), Term 2 2025-26 (Spring 2026), No. of students enrolled = 27
Administration/Other Roles
- Organizing Committe of ATVA 2025 Conference
- Reviewer of Transactions on Embedded Computing Systems TECS 2026