Geburt | 30. Juli 1948 |
---|---|
Tod | 15. November 2014 |
Bereiche | Chandra Computing |
Institutionen |
IBM Research Microsoft Research |
Ausbildung | Universität von Kalifornien in Berkeley |
Supervisor | Zohar Manna |
Bekannt für | konjunktive Abfragen , alternierende Turingmaschine |
Ashok Kumar Chandra (geboren am30. Juli 1948 in Indien und starb am 15. November 2014in Kalifornien) ist ein Informatiker, der insbesondere bei Microsoft Research in Mountain View , Kalifornien , arbeitete, wo er Geschäftsführer des Internet Services Research Center war .
Chandra nacheinander einen Bachelor in Technologie aus dem erhaltenen Indian Institute of Technology in Kanpur , ein Master of Science von der University of California in Berkeley und 1973 einen PhD in Informatik von der Stanford University unter der Leitung von Zohar Manna. Mit einer Arbeit mit dem Titel On die Eigenschaften und Anwendungen von Programmschemata . Vor seiner Tätigkeit bei Microsoft war Chandra Director of Database and Distributed Systems im IBM Almaden Research Center .
Chandra ist Mitautorin mehrerer wegweisender Arbeiten in der theoretischen Informatik. Er stellte insbesondere vor:
Chandra ist einer der Gründer des ACM-IEEE-Symposiums für Logik in der Informatik und leitete diese Konferenz in den ersten drei Jahren 1986–1988.