• Contact Info
Publications in VIVO
 

Sankaranarayanan, Sriram Roubos Associate Professor

Positions

Research Areas research areas

Research

research overview

  • Dr. Sankaranarayanan is primarily interested in formal verification techniques, especially for hybrid cyber-physical systems (CPS) which model discrete programs interacting with a continuous environment. In this regard, his work explores the application of techniques from areas such as convex optimization, algebraic geometric methods, combinatorial optimization, symbolic and numerical decision procedures to analyze the behavior of programs and verify key temporal properties such as safety, termination, liveness and stability. His recent work applies Monte-Carlo sampling, rare-event simulations and extreme value theory to develop novel verification techniques for cyber-physical systems is ongoing. Finally, his group is actively extending the scope of verification from verifying the software systems to verifying systems with human operators in the loop using cognitive science techniques to understand and model the behavior of human operators.

keywords

  • Program Verification, Cyber-Physical Systems, Embedded Systems, Dynamical Systems, Monte-Carlo Technique, Logic, Formal Languages, Automata Theory, Theoretical Computer Science

Publications

selected publications

Background

awards and honors

International Activities