Sanjit Seshia

Summary

Sanjit Seshia is a human^[1].

Key Facts

• Sanjit Seshia was employed by University of California, Berkeley^[2].
• Sanjit Seshia's education included a stint at Carnegie Mellon University^[3].
• Sanjit Seshia's doctoral advisor was Randal Bryant^[4].
• Sanjit Seshia received the IEEE Fellow^[5].
• Sanjit Seshia received the Presidential Early Career Award for Scientists and Engineers^[6].
• Sanjit Seshia received the ACM Fellow^[7].
• Sanjit Seshia was a member of Association for Computing Machinery^[8].
• Sanjit Seshia's instance of is recorded as human^[9].
• Sanjit Seshia supervised Susmit Jha as a doctoral student^[10].
• Sanjit Seshia supervised Wenchao Li as a doctoral student^[11].
• Sanjit Seshia supervised Dorsa Sadigh as a doctoral student^[12].
• Sanjit Seshia supervised Daniel Juon Fremont as a doctoral student^[13].
• Sanjit Seshia's Mathematics Genealogy Project ID is recorded as 92570^[14].
• Sanjit Seshia's official website is recorded as http://people.eecs.berkeley.edu/~sseshia/^[15].
• Sanjit Seshia's Google Knowledge Graph ID is recorded as /g/11f0ymy7kv^[16].
• Sanjit Seshia's MR Author ID is recorded as 739666^[17].

Body

Education

Sanjit Seshia was educated at Carnegie Mellon University^[3]. Their doctoral advisor was Randal Bryant^[4].

Career and Affiliations

Sanjit Seshia was employed by University of California, Berkeley^[2]. Doctoral students include Susmit Jha^[10]; Wenchao Li^[11], a computer scientist^[18]; Dorsa Sadigh^[12], a computer scientist^[19], specialised in computer science^[20]; and Daniel Juon Fremont^[13], a computer scientist^[21].

Recognition

Awards received include IEEE Fellow^[5], a science award^[22]; Presidential Early Career Award for Scientists and Engineers^[6], an early career award^[23]; and ACM Fellow^[7], a fellowship award^[24].

FAQs

Where did Sanjit Seshia go to school?

Sanjit Seshia was educated at Carnegie Mellon University^[3].

What awards did Sanjit Seshia receive?

Honors received include IEEE Fellow^[5], Presidential Early Career Award for Scientists and Engineers^[6], and ACM Fellow^[7].