• 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

Teaching

courses taught

  • CSCI 2900 Lower Division, Undergraduate Level Independent Study (Spring 2019)
  • CSCI 3155 Principles of Programming Languages (Spring 2019)
  • CSCI 4900 Upper Division, Undergraduate Level Independent Study (Spring 2019)
  • CSCI 4950 Senior Thesis (Spring 2019)
  • CSCI 5454 Design and Analysis of Algorithms (Spring 2019)
  • CSCI 5900 Master's Level Independent Study (Spring 2019)
  • CSCI 6800 Master of Engineering Project (Spring 2019)
  • CSCI 6940 Master's Degree Candidacy (Spring 2019)
  • CSCI 6950 Master's Thesis (Spring 2019)
  • CSCI 7900 Doctoral Level Independent Study (Spring 2019)
  • CSCI 8990 Doctoral Dissertation (Spring 2019)
  • ECEN 6950 Master's Thesis (Spring 2019)
  • ECEN 8990 Doctoral Thesis (Spring 2019)
  • CSCI 2900 Lower Division, Undergraduate Level Independent Study (Fall 2018)
  • CSCI 3155 Principles of Programming Languages (Fall 2018)
  • CSCI 4900 Upper Division, Undergraduate Level Independent Study (Fall 2018)
  • CSCI 4950 Senior Thesis (Fall 2018)
  • CSCI 5454 Design and Analysis of Algorithms (Fall 2018)
  • CSCI 5900 Master's Level Independent Study (Fall 2018)
  • CSCI 6800 Master of Engineering Project (Fall 2018)
  • CSCI 6940 Master's Degree Candidacy (Fall 2018)
  • CSCI 6950 Master's Thesis (Fall 2018)
  • CSCI 7135 Topics in Programming Languages (Fall 2018)
  • CSCI 7900 Doctoral Level Independent Study (Fall 2018)
  • CSCI 8990 Doctoral Dissertation (Fall 2018)
  • ECEN 5840 Independent Study (Fall 2018)
  • ECEN 6940 Master's Degree Candidate (Fall 2018)
  • ECEN 6950 Master's Thesis (Fall 2018)
  • ECEN 8990 Doctoral Thesis (Fall 2018)
  • CSCI 8990 Doctoral Dissertation (Summer 2018)
  • ECEN 8990 Doctoral Thesis (Summer 2018)
  • CSCI 2900 Lower Division, Undergraduate Level Independent Study (Spring 2018)
  • CSCI 4900 Upper Division, Undergraduate Level Independent Study (Spring 2018)
  • CSCI 4950 Senior Thesis (Spring 2018)
  • CSCI 5900 Master's Level Independent Study (Spring 2018)
  • CSCI 6800 Master of Engineering Project (Spring 2018)
  • CSCI 6940 Master's Degree Candidacy (Spring 2018)
  • CSCI 6950 Master's Thesis (Spring 2018)
  • CSCI 7900 Doctoral Level Independent Study (Spring 2018)
  • CSCI 8990 Doctoral Dissertation (Spring 2018)
  • ECEN 6950 Master's Thesis (Spring 2018)
  • ECEN 8990 Doctoral Thesis (Spring 2018)

Background

awards and honors

International Activities

Other Profiles