Instituto Kestrel

El Instituto Kestrel es un centro de investigación en ciencias de la computación sin fines de lucro ubicado en el Parque de Investigación de Stanford en Palo Alto, California , Estados Unidos. Fue fundado por Cordell Green en 1981, quien se desempeñó como su Director y Científico Jefe. ^{[ 2 ] [ 1 ]} Su misión es facilitar la escritura de software bueno y de alta calidad, y emplea a científicos de la computación como Lambert Meertens . ^{[ 3 ]}

En la década de 1980, Kestrel describió su enfoque de investigación como "entornos de software basados ​​en el conocimiento" para facilitar la escritura de software ("normalizar y mecanizar el proceso de programación"). ^{[ 4 ]} Además, un artículo de 2002 de MIT Technology Review describió uno de los proyectos de Kestrel como una forma de "casi obligar a los programadores a escribir programas fiables". ^{[ 5 ]} Un artículo de Newsweek de 2005 analizó una tecnología de Kestrel que desarrolló software para ayudar al ejército estadounidense a programar el despliegue de carga "traduciendo la descripción de un problema en directrices que una computadora pueda entender". ^{[ 6 ]}

Casi toda la financiación de Kestrel proviene de subvenciones gubernamentales , de organizaciones como el Departamento de Defensa de EE. UU. , DARPA , la Agencia de Proyectos de Investigación Avanzada de Inteligencia (IARPA), el Laboratorio de Investigación de la Fuerza Aérea (AFRL), AFOSR, la Oficina de Investigación Naval (ONR), la NASA y la Fundación Nacional de Ciencias (NSF). ^{[ 7 ] [ 8 ]} En 2015, recibió 4,9 millones de dólares en subvenciones y contribuciones, una cifra inferior a los 6,6 millones de dólares del año anterior. ^{[ 1 ]}

• Sitio web oficial