# Sanjit Seshia

> Electrical Engineer and Computer Scientist

**Wikidata**: [Q79151541](https://www.wikidata.org/wiki/Q79151541)  
**Source**: https://4ort.xyz/entity/sanjit-seshia


## References

1. [Source](https://engineering.virginia.edu/events/distinguished-speaker-series-sanjit-seshia)
2. Mathematics Genealogy Project
3. [Source](https://www2.eecs.berkeley.edu/Faculty/Homepages/seshia.html)
4. [Source](https://ieeexplore.ieee.org/author/37282623500)
5. [Source](https://www.nsf.gov/awards/PECASE/recip_details.jsp?pecase_id=235)
6. [Source](https://www.acm.org/media-center/2021/january/fellows-2020)