- 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 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
-
Centres
- Placements
- Campus Life
- Media
- People
- About Us
Assistant Professor
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, Runtime verification, Runtime enforcement.
- EGC 112P / Programming 1B Lab (Python Programming) (August 2025)
Professional Activities:
- Member of the Organizing Committee for ATVA 2025
- 2022: Secured first position in the IBM Research-India's annual women outreach event (Maitryee- IBM)
- 2021: Secured first position in Student Software Project Contest at the 14th Innovations in Software Engineering Conference (ISEC) held at KIIT, Bhubaneswar, with project title “Formal Runtime Monitoring Approaches for Autonomous Vehicles"
- 2010: Awarded at the Class 10 CBSE Board Examination Topper Felicitation Ceremony by Dainik Jagran Print Media House