Институт Пустельги
| Тип | Мозговой центр |
|---|---|
| Регистрационный номер. | 94-2750021 |
| Юридический статус | Некоммерческая организация |
| Цель | Исследования и разработки методов обеспечения качества программного обеспечения [1] |
| Расположение | |
| Поля | Информатика |
Директор | Корделл Грин |
Доход (2015) | 4,9 миллиона долларов [1] |
| Веб-сайт | пустельга |
Институт Кестрел – это некоммерческий исследовательский центр компьютерных наук , расположенный в Пало-Альто Стэнфордском исследовательском парке . Корделл Грин , основавший Kestrel в 1981 году, является ее директором и главным научным сотрудником. [2] [1] Ее миссия — облегчить написание хорошего, высококачественного программного обеспечения , и в ней работают ученые-компьютерщики, такие как Ламберт Мертенс . [3] [ нужны разъяснения ]
В 1980-х годах Kestrel описала направление своих исследований как «программные среды, основанные на знаниях», призванные упростить написание программного обеспечения («нормализовать и механизировать процесс программирования»). [4] Кроме того, в статье MIT Technology Review 2002 года один из проектов Kestrel описывался как способ «почти заставить программистов писать надежные программы». [5] 2005 года В статье Newsweek обсуждалась одна технология Kestrel, которая позволила разработать программное обеспечение, помогающее военным США планировать развертывание грузов путем «перевода описания проблемы в инструкции, которые может понять компьютер». [6]
Kestrel Почти все финансирование поступает за счет государственных грантов , таких организаций, как Министерство обороны США , DARPA , Деятельность по перспективным исследовательским проектам разведки (IARPA), Исследовательская лаборатория ВВС (AFRL), AFOSR, Управление военно-морских исследований (ONR), НАСА . и Национальный научный фонд (NSF). [7] [8] В 2015 году он получил 4,9 миллиона долларов в виде грантов и пожертвований по сравнению с 6,6 миллиона долларов в предыдущем году. [1]
Ссылки
[ редактировать ]- ^ Jump up to: а б с д «Форма 990, 2015 г., Институт пустельги» (PDF) . ГидСтар . 6 октября 2016 г. Проверено 23 января 2018 г.
- ^ «Институт пустельги» . Блумберг . Проверено 23 января 2018 г.
- ^ «Профессор ЛГЛТ Меертенс» . Утрехтский университет . Проверено 23 января 2018 г.
- ^ Дуглас Р. Смит; Гордон Б. Котик; Стивен Дж. Вестфолд (ноябрь 1985 г.). «Исследование программных сред, основанных на знаниях, в Институте Кестрел» (PDF) . Транзакции IEEE по разработке программного обеспечения . SE-11 (11): 1278–1295. дои : 10.1109/tse.1985.231879 . Проверено 23 января 2018 г.
- ^ Манн, Чарльз К. (1 июля 2002 г.). «Почему программное обеспечение такое плохое» . Обзор технологий Массачусетского технологического института . Проверено 23 января 2018 г.
- ^ «Компьютерное программное обеспечение, которое пишет само себя» . Newsweek . 25 декабря 2005 г. Проверено 23 января 2018 г.
- ^ «Синтез высоконадежного программного обеспечения» . Институт Кестрел . Проверено 23 января 2018 г.
- ^ «Отчет GuideStar: Институт пустельги» . ГидСтар . Проверено 23 января 2018 г.