Kestrel Enstitüsü - Kestrel Institute

Kestrel Enstitüsü
TürKâr amacı gütmeyen kuruluş
Kayıt numarası.94-2750021
Hukuki durumDüşünce kuruluşu
yer
AlanlarBilgisayar Bilimi
Yönetmen
Cordell Yeşil
gelir (2015)
4,9 milyon $[1]
İnternet sitesikerkenez.edu

Kestrel Enstitüsü kar amacı gütmeyen bir kuruluştur bilgisayar Bilimi bulunan araştırma merkezi Palo Alto 's Stanford Araştırma Parkı. Cordell Yeşil 1981 yılında Kestrel'i kuran, Direktörü ve Baş Bilim Adamıdır.[2][1] Misyonu, iyi ve kaliteli yazmayı kolaylaştırmaktır. yazılım gibi bilgisayar bilimcileri çalıştırır Lambert Meertens.[3]

1980'lerde Kestrel, araştırma odağını yazılım yazmayı kolaylaştırmak için "bilgi tabanlı yazılım ortamları" olarak tanımladı ("programlama sürecini normalleştirin ve makineleştirin").[4] Ek olarak, 2002 MIT Technology Review makale Kestrel'in projelerinden birini "kodlayıcıları güvenilir programlar yazmaya neredeyse zorlamanın" bir yolu olarak tanımladı.[5] Bir 2005 Newsweek makale, yardımcı olmak için yazılım geliştiren bir Kestrel teknolojisini tartıştı. ABD askeri "bir sorunun açıklamasını bilgisayarın anlayabileceği yönergelere çevirerek" kargo dağıtımını planlayın.[6]

Neredeyse tüm Kestrel finansman gelen devlet bağışları gibi kuruluşlardan ABD Savunma Bakanlığı, DARPA, Intelligence Gelişmiş Araştırma Projeleri Etkinliği (IARPA), Hava Kuvvetleri Araştırma Laboratuvarı (AFRL), AFOSR, Deniz Araştırmaları Ofisi (ONR), NASA, ve Ulusal Bilim Vakfı (NSF).[7][8] 2015 yılında, önceki yılki 6,6 milyon $ 'a göre 4,9 milyon $ hibe ve katkı aldı.[1]

Referanslar

  1. ^ a b c d "2015 Form 990, Kestrel Enstitüsü" (PDF). GuideStar. 6 Ekim 2016. Alındı 23 Ocak 2018.
  2. ^ "Kestrel Enstitüsü". Bloomberg. Alındı 23 Ocak 2018.
  3. ^ "prof. L.G.L.T. Meertens". Utrecht Üniversitesi. Alındı 23 Ocak 2018.
  4. ^ Douglas R. Smith; Gordon B. Kotik; Stephen J. Westfold (Kasım 1985). "Kestrel Enstitüsü'nde Bilgi Tabanlı Yazılım Ortamları Üzerine Araştırma" (PDF). Yazılım Mühendisliğinde IEEE İşlemleri. SE-11 (11): 1278–1295. doi:10.1109 / tse.1985.231879. Alındı 23 Ocak 2018.
  5. ^ Mann, Charles C. (1 Temmuz 2002). "Yazılım Neden Bu Kadar Kötü". MIT Technology Review. Alındı 23 Ocak 2018.
  6. ^ "Kendi Kendini Yazan Bilgisayar Yazılımları". Newsweek. 25 Aralık 2005. Alındı 23 Ocak 2018.
  7. ^ "Yüksek Güvence Yazılımının Sentezi". Kestrel Enstitüsü. Alındı 23 Ocak 2018.
  8. ^ "GuideStar Raporu: Kestrel Enstitüsü". GuideStar. Alındı 23 Ocak 2018.

Dış bağlantılar