Esto depende de su definición de investigación “pura”. Muchos informáticos relativamente aplicados piensan en lo que hacen como investigación “pura” en el sentido de que el objetivo no es construir y / o lanzar un sistema específico con especificaciones claramente definidas, sino explorar la viabilidad de construir algo o investigar nuevas técnicas para abordar un problema particular. Por ejemplo, en mi investigación, recientemente obtuvimos una subvención para investigar cuestiones relacionadas con la construcción de una “base de datos como servicio”, donde en lugar de usuarios individuales que ejecutan una base de datos, el funcionamiento de la base de datos se subcontrata a un proveedor de servicios. Nuestro objetivo no es implementar un sistema (de hecho, hay varios servicios de bases de datos comerciales iniciales, como Amazon RDS y Microsoft SQL Azure disponibles), sino investigar tecnologías que puedan mejorar el funcionamiento o la eficiencia de estos sistemas.
Como organización, la National Science Foundation (NSF) tiende a financiar investigaciones “puras” en este sentido, y muchos científicos informáticos dependen en gran medida (o exclusivamente) de NSF para su financiación.
Dicho esto, algunos programas de NSF son considerablemente más teóricos y menos aplicados que el tipo de investigación que hago / describí anteriormente, que es quizás lo que estabas preguntando. Por ejemplo, la NSF tiene un programa que financia Fundamentos Algorítmicos, que tiende a ser comparativamente menos aplicado:
- ¿Cuáles son los límites en la complejidad computacional de algunos de los problemas más importantes?
- Predicción de tráfico sobre hosts o nodos en la nube: ¿es un tema de tendencia o un área de investigación en la computación en la nube?
- No estudié ciencias de la computación en los grados 11 y 12, pero ahora deseo estudiar ciencias de la computación en el Manipal Institute of Technology. ¿Es una buena decisión hacerlo?
- ¿Cuál es la investigación más emocionante en informática en 2010? ¿Por qué es emocionante?
- ¿Cuáles son los algoritmos de inferencia de tipos más comunes en uso hoy en día?
http://www.nsf.gov/funding/pgm_s…
Para obtener una lista de las subvenciones recientes de este programa, consulte:
http://www.nsf.gov/awardsearch/p…
Por supuesto, en la investigación, palabras como “teórico” y “aplicado” son relativas: lo que hago podría ser considerado teórico por algunos, y lo que hacen los teóricos de la informática es considerado a su vez aplicado por los matemáticos teóricos.