Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску
Институт пустельги
ТипНекоммерческая
Номер регистрации.94-2750021
Правовой статусМозговой центр
Место расположения
ПоляИнформатика
ДиректорКорделл Грин
Выручка (2015) 4,9 миллиона долларов [1]
Веб-сайтпустельга .edu

Kestrel Институт является некоммерческой информатики исследовательский центр , расположенный в Palo Alto «s Stanford Research Park . Корделл Грин , основавший Kestrel в 1981 году, является ее директором и главным научным сотрудником. [2] [1] Его миссия состоит в том, чтобы упростить написание хорошего, высококачественного программного обеспечения, и в нем работают специалисты по информатике, такие как Ламберт Меертенс . [3]

В 1980-х годах Kestrel описывала свои исследования как «программные среды, основанные на знаниях», чтобы упростить написание программного обеспечения («нормализовать и механизировать процесс программирования»). [4] Кроме того, в статье MIT Technology Review 2002 года описывается один из проектов Kestrel как способ «почти заставить программистов писать надежные программы». [5] В статье Newsweek 2005 года обсуждалась одна технология Kestrel, с помощью которой было разработано программное обеспечение, помогающее военным США планировать развертывание грузов путем «перевода описания проблемы в инструкции, понятные компьютеру». [6]

Почти все финансирование Kestrel поступает из государственных грантов таких организаций, как Министерство обороны США , DARPA , Intelligence Advanced Research Projects Activity (IARPA), Исследовательская лаборатория ВВС (AFRL), AFOSR, Управление военно-морских исследований (ONR), НАСА. , и Национальный научный фонд (NSF). [7] [8] В 2015 году он получил 4,9 миллиона долларов в виде грантов и взносов по сравнению с 6,6 миллиона долларов в предыдущем году. [1]

Ссылки [ править ]

  1. ^ a b c d "2015 Форма 990, Институт Пустельги" (PDF) . GuideStar . 6 октября 2016 . Проверено 23 января 2018 года . CS1 maint: discouraged parameter (link)
  2. ^ "Институт пустельги" . Блумберг . Проверено 23 января 2018 года . CS1 maint: discouraged parameter (link)
  3. ^ "проф. LGLT Meertens" . Утрехтский университет . Проверено 23 января 2018 года . CS1 maint: discouraged parameter (link)
  4. ^ Дуглас Р. Смит; Гордон Б. Котик; Стивен Дж. Вестфолд (ноябрь 1985 г.). «Исследование основанных на знаниях программных сред в Институте Кестрел» (PDF) . IEEE Transactions по разработке программного обеспечения . SE-11 (11): 1278–1295. DOI : 10.1109 / tse.1985.231879 . Проверено 23 января 2018 года . CS1 maint: discouraged parameter (link)
  5. Перейти ↑ Mann, Charles C. (1 июля 2002 г.). «Почему программное обеспечение такое плохое» . Обзор технологий Массачусетского технологического института . Проверено 23 января 2018 года . CS1 maint: discouraged parameter (link)
  6. ^ "Компьютерное программное обеспечение, которое пишет само себя" . Newsweek . 25 декабря 2005 . Проверено 23 января 2018 года . CS1 maint: discouraged parameter (link)
  7. ^ «Синтез высоконадежного программного обеспечения» . Институт пустельги . Проверено 23 января 2018 года . CS1 maint: discouraged parameter (link)
  8. ^ "Отчет GuideStar: Институт Пустельги" . GuideStar . Проверено 23 января 2018 года . CS1 maint: discouraged parameter (link)

Внешние ссылки [ править ]

  • Официальный веб-сайт