Kestrel Institute - Kestrel Institute

Kestrel Institute
TypNezisková organizace
Registrační číslo.94-2750021
Právní statusThink tank
Umístění
PolePočítačová věda
Ředitel
Cordell Green
Příjmy (2015)
4,9 milionu $[1]
webová stránkapoštolka.edu

The Kestrel Institute je nezisková organizace počítačová věda výzkumné centrum se nachází v Palo Alto je Stanfordský výzkumný park. Cordell Green, který společnost Kestrel založil v roce 1981, je jejím ředitelem a hlavním vědeckým pracovníkem.[2][1] Jeho úkolem je usnadnit psaní dobrého a kvalitního textu software a zaměstnává počítačové vědce jako Lambert Meertens.[3]

V 80. letech Kestrel popsal své výzkumné zaměření jako „znalostní softwarová prostředí“, která usnadňují psaní softwaru („normalizace a mechanizace procesu programování“).[4] Kromě toho z roku 2002 Recenze technologie MIT článek popsal jeden z projektů společnosti Kestrel jako způsob, jak „téměř donutit programátory psát spolehlivé programy“.[5] 2005 Newsweek článek pojednával o jedné technologii společnosti Kestrel, která vyvinula software na pomoc Americká armáda naplánovat nasazení nákladu „převedením popisu problému do pokynů, kterým počítač porozumí“.[6]

Téměř všechny Kestrel's financování pochází z vládní granty, od organizací, jako je Americké ministerstvo obrany, DARPA, Činnost zpravodajských projektů pokročilého výzkumu (IARPA), Výzkumná laboratoř letectva (AFRL), AFOSR, Úřad námořního výzkumu (ONR), NASA a Národní vědecká nadace (NSF).[7][8] V roce 2015 obdržela 4,9 milionu USD ve formě grantů a příspěvků, což je pokles oproti 6,6 milionu USD v předchozím roce.[1]

Reference

  1. ^ A b C d „2015 Form 990, Kestrel Institute“ (PDF). GuideStar. 6. října 2016. Citováno 23. ledna 2018.
  2. ^ "Kestrel Institute". Bloomberg. Citováno 23. ledna 2018.
  3. ^ „prof. L.G.L.T. Meertens“. Utrechtská univerzita. Citováno 23. ledna 2018.
  4. ^ Douglas R. Smith; Gordon B. Kotik; Stephen J. Westfold (listopad 1985). „Výzkum znalostního prostředí softwaru v Kestrel Institute“ (PDF). Transakce IEEE v softwarovém inženýrství. SE-11 (11): 1278–1295. doi:10.1109 / tse.1985.231879. Citováno 23. ledna 2018.
  5. ^ Mann, Charles C. (1. července 2002). „Proč je software tak špatný“. Recenze technologie MIT. Citováno 23. ledna 2018.
  6. ^ „Počítačový software, který se sám píše“. Newsweek. 25. prosince 2005. Citováno 23. ledna 2018.
  7. ^ „Syntéza vysoce zabezpečeného softwaru“. Kestrel Institute. Citováno 23. ledna 2018.
  8. ^ „Zpráva GuideStar: Institut Kestrel“. GuideStar. Citováno 23. ledna 2018.

externí odkazy