Narodziny | 30 lipca 1948 |
---|---|
Śmierć | 15 listopada 2014 |
Obszary | Chandra Computing |
Instytucje |
Badania IBM Badania Microsoft |
Trening | Uniwersytet Kalifornijski w Berkeley |
Kierownik | Zohar Manna |
Znany z | zapytania koniunkcyjne , naprzemienna maszyna Turinga |
Ashok Kumar Chandra (urodzony dnia30 lipca 1948 w Indiach i zmarł dalej 15 listopada 2014w Kalifornii) jest informatykiem, który pracował w szczególności w Microsoft Research w Mountain View w Kalifornii , gdzie był dyrektorem zarządzającym Internet Services Research Center .
Chandra kolejno uzyskał licencjat w dziedzinie technologii z Indian Institute of Technology w Kanpur , a magistra z Uniwersytetu Kalifornijskiego w Berkeley , aw 1973 doktora w dziedzinie informatyki z Uniwersytetu Stanford pod nadzorem Zohar Manna. Z tezą zatytułowany On Właściwości i zastosowania schematów programów . Przed podjęciem pracy w firmie Microsoft, Chandra była dyrektorem ds. Baz danych i systemów rozproszonych w IBM Almaden Research Center .
Chandra jest współautorką kilku przełomowych prac z zakresu informatyki teoretycznej. W szczególności przedstawił:
Chandra jest jednym z założycieli ACM-IEEE Symposium on Logic in Computer Science i przewodniczył tej konferencji przez pierwsze trzy lata, 1986–1988.