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: