Who's Who in
Sciences Academia

Sriram Sankaranarayanan

Academic Title: Assistant Professor

Name: Sriram Sankaranarayanan

 

Department: Department of Computer Science

Department Website: http://www.cs.colorado.edu/

Institution: University of Colorado at Boulder

 

Address: 430 UCB
Boulder, Colorado 80309-0430

 

Highest Degree:

Date of Degree:

Degree Institution:

 

E-mail: Contact by e-mail?

 

Expertise: I am interested in techniques for reasoning about cyber‐physical systems that model computer systems interacting with the physical world. This involves techniques that will automatically prove that the systems are correct or try to find bugs in the systems. My work combines mathematical techniques from dynamical systems theory with computational techniques from logic, decision procedures, constraint solvers and optimization tools

 

---

Start A New Search

If you are a faculty member and are not presently included in our Who's Who in Academia, you may submit a request to be added.

If you are currently included in our database and have previously established an account, you can update any of the information shown in your record.