Sriram Sankaranarayanan
| Use attributes for filter ! | |
| H index | 45 |
|---|---|
| Affiliations | University Of Colorado |
| Boulder | |
| Citations | 7,832 |
| Academic advisor | Zohar Manna |
| Interests | Formal Verification |
| Hybrid Systems | |
| Logic | |
| Theoretical Computer Science | |
| Publications | scholar.google.com |
| Co authors | Franjo Ivancic |
| Date of Reg. | |
| Date of Upd. | |
| ID | 3575982 |
About Sriram Sankaranarayanan
Sriram Sankaranarayanan Photos
