Sanjit Arunkumar Seshia (Q102279954)
Ph.D. Carnegie Mellon University 2005
Language:
Current Data About Sanjit Arunkumar Seshia
(P31) (Q5)

(P69) (Q190080)
(P248)

(P166) (Q18748039)
(P585) +2020-00-00T00:00:00Z
(P6949) Wednesday, January 13, 2021
(P6208) "For contributions to formal verification, inductive synthesis, and cyber-physical systems" (language: en)
(P854) https://www.acm.org/media-center/2021/january/fellows-2020
(P813) Monday, June 24, 2024

(P184) (Q13412132)
(P248)

(P185) (Q102391981)
(P248)

(Q102437496)
(P248)

(Q97099813)
(P248)

(Q103320179)
(P248)

(P463) (Q127992)
(P580) Wednesday, January 13, 2021
(P2868)
(P854) https://www.acm.org/media-center/2021/january/fellows-2020
(P813) Monday, June 24, 2024

other details
description Ph.D. Carnegie Mellon University 2005

External Links
(P549) 92570
(P4955) 739666