케스트렐 연구소
Kestrel Institute| 유형 | 비영리 |
|---|---|
| 등록번호 | 94-2750021 |
| 법적현황 | 싱크탱크 |
| 위치 | |
| 필드 | 컴퓨터 공학 |
감독 | 코델 그린 |
수익(2015) | 490만[1] 달러 |
| 웹사이트 | kestrel |
케스트렐 연구소는 팔로 알토의 스탠포드 연구 공원에 위치한 비영리 컴퓨터 과학 연구 센터다.1981년 케스트렐을 설립한 코델 그린은 이 회사의 이사 겸 수석 과학자다.[2][1]그것의 임무는 좋은 품질의 소프트웨어를 더 쉽게 쓸 수 있게 하는 것이고 램버트 메어텐스와 같은 컴퓨터 과학자들을 고용하는 것이다.[3]
1980년대에 Kestrel은 자사의 연구 초점을 "지식 기반 소프트웨어 환경"으로 설명하여 소프트웨어를 보다 쉽게 작성할 수 있도록 하였다("프로그래밍 프로세스 표준화 및 기계화").[4]또한, 2002 MIT 기술 검토 기사는 Kestrel의 프로젝트 중 하나를 "거의 코더들이 신뢰할 수 있는 프로그램을 작성하도록 강요하는" 방법이라고 기술했다.[5]2005년 뉴스위크 기사는 "문제의 설명을 컴퓨터가 이해할 수 있는 지침으로 바꾸어" 미군 수송 일정을 수립하는 데 도움이 되는 소프트웨어를 개발한 Kestrel 기술 하나를 논의했다.[6]
Nearly all of Kestrel's funding comes from government grants, from organizations such as the U.S. Department of Defense, DARPA, Intelligence Advanced Research Projects Activity (IARPA), Air Force Research Laboratory (AFRL), AFOSR, Office of Naval Research (ONR), NASA, and the National Science Foundation (NSF).[7][8]2015년에는 전년(660만 달러)보다 줄어든 490만 달러의 보조금과 출연금을 받았다.[1]
참조
- ^ a b c d "2015 Form 990, Kestrel Institute" (PDF). GuideStar. 6 October 2016. Retrieved 23 January 2018.
- ^ "Kestrel Institute". Bloomberg. Retrieved 23 January 2018.
- ^ "prof. L.G.L.T. Meertens". Utrecht University. Retrieved 23 January 2018.
- ^ Douglas R. Smith; Gordon B. Kotik; Stephen J. Westfold (November 1985). "Research on Knowledge-Based Software Environments at Kestrel Institute" (PDF). IEEE Transactions on Software Engineering. SE-11 (11): 1278–1295. doi:10.1109/tse.1985.231879. Retrieved 23 January 2018.
- ^ Mann, Charles C. (1 July 2002). "Why Software Is So Bad". MIT Technology Review. Retrieved 23 January 2018.
- ^ "Computer Software That Writes Itself". Newsweek. 25 December 2005. Retrieved 23 January 2018.
- ^ "Synthesis of High-Assurance Software". Kestrel Institute. Retrieved 23 January 2018.
- ^ "GuideStar Report: Kestrel Institute". GuideStar. Retrieved 23 January 2018.
