SEAL Logo

Software Engineering and Analysis Lab (SEAL), IIIT-B

  1. Home
  2. People
  3. Saumya Shankar

Saumya Shankar

Short Introduction

My research interests lie in formal methods and software engineering, with a particular focus on dynamic runtime verification. I have worked on runtime enforcement of regular properties expressed as automata under memory constraints, frameworks for timed properties using timed automata, enforcement of real-valued signals in reactive systems with Signal Temporal Logic, and compositional approaches for enforcing multiple properties.

To demonstrate their practicality, I have applied these methods in case studies, including monitoring for autonomous vehicles and surgical procedures, lifecycle constraints in document management, and mining safety properties from data to guide and enforce ML models at runtime.

Courses Taught / Teaching

Publications

You can view my full list of publications on DBLP.