Arvind (bilgisayar bilimcisi) - Arvind (computer scientist)

Arvind Mithal (genellikle sadece Arvind) Johnson Profesörüdür Bilgisayar Bilimi ve Mühendislik içinde Bilgisayar Bilimleri ve Yapay Zeka Laboratuvarı -de Massachusetts Teknoloji Enstitüsü. O bir Fellow of the IEEE ve ACM ve o seçildi Ulusal Mühendislik Akademisi 2008 yılında.[1]

Kariyer

Arvind'in araştırma ilgi alanları şunları içerir: doğrulama büyük ölçekli dijital sistemler paralel mimariler ve diller için Korunan Atomik Eylemler, Bellek Modelleri ve Önbellek Tutarlılık Protokollerini kullanma.[2]

Geçmiş çalışmalar dinamik veri akışı mimarilerinin, paralel programlama dillerinin, Id ve pH'ın geliştirilmesinde etkili oldu; ve bu tür dillerin paralel makinelerde derlenmesi.[2]

Arvind, 1969'da Hindistan Teknoloji Enstitüsü (IIT) Kanpur'dan teknoloji alanında lisans derecesini (Elektrik Mühendisliği ağırlıklı) aldı. Derecesini kazanma sürecinde, bilgisayarlarla yakından ilgilendiğini keşfetti. Daha sonra Arvind, 1972'de Minnesota Üniversitesi'nden Bilgisayar Bilimleri alanında yüksek lisans yaptı ve doktora derecesini aldı. 1973'te Minnesota Üniversitesi'nden Bilgisayar Bilimleri alanında.[3]

Arvind, işletim sistemlerinde program davranışının matematiksel modelleri üzerine tez araştırması yaptı. Irvine, California Üniversitesi'nde, 1974'ten 1978'e kadar öğretmenlik yaptı,[2] bilgisayar mimarisi ve dilleriyle ilgilenmeye başladı.[3]

Arvind daha sonra 1977 ve 1978'de IIT'nin Kanpur kampüsünde öğretmenlik yaptı.[2]

1986'dan 1992'ye kadar Hindistan'da Birleşmiş Milletler'in sponsorluğundaki Bilgi Tabanlı Bilgisayar Sistemleri projesinde Baş Teknik Danışman olarak görev yaptı. 1992-1993 yılları arasında Tokyo Üniversitesi'nde Fujitsu Ziyaretçi Profesörü olarak görev yaptı.[kaynak belirtilmeli ]

1992'de Arvind ve CSAIL ekibi, Monsoon veri akışı makinesini ve ilgili yazılımı tamamlamak için Motorola ile işbirliği yaptı. Monsoon, California'daki Bilgisayar Tarihi Müzesi'ne çekilmeden önce Los Alamos Ulusal Laboratuvarlarında ve diğer üniversitelerde bir düzine Muson kuruldu. 2000 yılında Arvind, fabrikasız yarı iletken bir şirket olan Sandburst'u kurmak için MIT'de öğretmenlik yapmaktan iki yıl ara verdi. 2002'de MIT'ye dönene kadar başkan olarak görev yaptı. 2003'te bir EDA şirketi olan Bluespec Inc'i kurdu. Halen her iki şirketin yönetim kurullarında görev yapmaktadır.[kaynak belirtilmeli ]

2006 yılında, merkezi Andover, Massachusetts'te bulunan ve ölçeklenebilir paket anahtarlama ve yönlendirme sistemleri için yarı iletken çözümler sunan Sandburst, Broadcom Corp.[4]

Merkezi Waltham, Massachusetts'te bulunan Bluespec, Inc., silikonla kanıtlanmış elektronik tasarım otomasyon sentez araç setleri üretmektedir.[5]

Haziran 2005'te Cambridge, Massachusetts'te düzenlenen Uluslararası Süper Bilgisayar Konferansı'nda Genel Başkan olarak görev yaptı.[kaynak belirtilmeli ]

Arvind, IIT'de Bilgisayar Bilimi ve Mühendisliği Bölümünde N. Rama Rao Kürsüsünü ilk işgal eden oldu. 1998'den 1999'a kadar başkan olarak görev yaptı. Ayrıca bu süre boyunca IIT, Kanpur'daki CSE bölümünde her sömestr birkaç hafta ders verdi.[6]

Arvind'in mevcut araştırması, mimarilerin ve protokollerin üst düzey spesifikasyonu ve açıklaması için Terim Yeniden Yazma Sistemleri (TRS'ler) olarak bilinen bir biçimcilik kullanır. MIT'de başkanlığını yaptığı Hesaplama Yapıları Grubu'nda donanımları daha hızlı tasarlamak ve tasarımların keşfedilmesini sağlamak için TRS'lerin kullanılması üzerine çalışmalar yapılıyor.[kaynak belirtilmeli ]

Yayınlanmış eserler

R.S. Nikhil ile birlikte Arvind kitabı yayınladı PH'ta örtük paralel programlama 2001 yılında. "pH", aşağıdakilere dayalı bir programlama dilidir: Haskell paralel işleme için özel destek ile.

Yazdığı veya birlikte yazdığı en önemli ve / veya en son makaleler arasında yayımlanmış:

  • James Hoe and Arvind, "İşlem Merkezli Donanım Tanımları ve Sentezi", IEEE TCAD, Eylül 2004
  • Hari Balakrishnan, Srinivas Devadas, Doug Ehlert ve Arvind, "Giriş Sıralı Anahtarlarda Hız Garantileri ve Aşırı Yük Koruması", IEEE Infocom, Mart 2004.
  • Dan Rosenband ve Arvind, "Korunan Atomik Eylemlerin Modüler Zamanlaması", DAC41, Haziran 2004
  • Arvind, R.S. Nikhil, Daniel Rosenband ve Nirav Dave, "Üst düzey sentez: Karmaşık ASIC'leri Tasarlamak için Temel Bir Bileşen", ICCAD'04, Kasım 2004

Arvind ayrıca, aralarında aşağıdakilerin de bulunduğu çeşitli dergilerin yayın kurulunda görev yapmıştır. Paralel ve Dağıtık Hesaplama Dergisi, ve Fonksiyonel Programlama Dergisi.

Ödüller

Arvind şu ödülleri aldı: Seçkin Mezun Ödülü, Minnesota Üniversitesi (2001), Seçkin Mezunlar Ödülü, I.I.T. Kanpur (1999) ve IEEE Computer Society Charles Babbage Ödülü (1994) ve Minnesota Üniversitesinden Üstün Başarı Ödülü.[7]

Ek olarak, 1994'te IEEE Fellow olarak seçildi ve ACM Üyesi. 2008 yılında Ulusal Mühendislik Akademisi'nin bir üyesidir ve şu anda MIT'de Bilgisayar Bilimi ve Yapay Zeka Laboratuvarı (CSAIL) üyesidir.[7]

Referanslar

  1. ^ "Ulusal Akademiler Haberleri". Ulusal Akademiler.
  2. ^ a b c d "CSAIL, MIT". MIT.
  3. ^ a b "UMN Haberleri". Minnesota Universitesi. Arşivlenen orijinal 18 Haziran 2010.
  4. ^ "Kum Patlaması Şirketi". Bloomberg Businessweek.
  5. ^ "Bluespec hakkında". Bluespec. Arşivlenen orijinal 18 Haziran 2010.
  6. ^ "N. Ramo Rao Başkanı Profesör". IIT, Kanpur. Arşivlenen orijinal 27 Eylül 2006.
  7. ^ a b "CSAIL Arvind Biyografi". MIT.