ETAPS 2019 (series) / Sanjit Seshia
![Sanjit Seshia](https://conf.researchr.org/getProfileImage/sanjitseshia/8a742ff5-cfab-49cf-9feb-edb23e408cb5/small.jpg?1712087092000)
Not registered as user yet
Name:Sanjit Seshia
Country:United States
Affiliation:University of California, Berkeley
Personal website: http://people.eecs.berkeley.edu/~sseshia/
Contributions
ETAPS 2019-profile
View general profile
View general profile