Ashok K. Chandra

Ashok K. Chandra Kluczowe dane
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 .

Kariera

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 .

Badania

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.

Nagrody

Bibliografia

  1. (en) „  Ashok Kumar Chandra  ” na stronie Mathematics Genealogy Project
  2. „  Dr. Ashok Kumar Chandra Obituary  ” (dostęp: 29 maja 2015 )
  3. „  Profil Ashoka K. Chandry w firmie Microsoft  ” [ archiwum02 listopada 2013] (dostęp 31 października 2013 )
  4. Ashok K. Chandra i Philip M. Merlin , „  Optimal Implementation of Conjunctive Queries in Relational Data Bases  ”, STOC '77: Proceedings of the 9 Annual ACM symposium on Theory of computing , 1977, s.  77–90 ( DOI  10.1145 / 800105.803397 )
  5. Ashok K. Chandra i David Harel , „  Computable Queries for Relational Data Bases  ”, Journal of Computer and System Sciences , vol.  21 N O  2 1980, s.  156-178 ( DOI  10.1016 / 0022-0000 (80) 90032-X )
  6. Ashok K. Chadra , Merrick L. Furst i Richard J. Lipton , „  Protokoły wielopartyjne  ”, STOC '83: Proceedings of the 15 Annual ACM symposium on Theory of computing ,1983, s.  94–99 ( DOI  10.1145 / 800061.808737 )
  7. „LICS - Archive” (wersja z 11 marca 2012 r. W Internet Archive )
  8. „  Stypendyści IEEE - C  ”
  9. „  Golden Core - IEEE  ” na IEEE

Linki zewnętrzne

Dokumentacja urzędowa  :