Sanjit Seshia
From Murray Wiki
Jump to navigationJump to search
| First name | Sanjit |
|---|---|
| Last name | Seshia |
| Organization | UC Berkeley |
| URL | http://people.eecs.berkeley.edu/~sseshia/ |
| Projects | SRC TerraSwarm, NSF VeHICaL |
Jointly advised students and postdocs: