[dingaling]

> NASA is focused on space more than advancing the frontiers of programming.

NASA does huge amounts of research into aerospace computing science. The first 'A' does stand for 'Air' after all.

Here's just the first example I plucked from the Ames website:

In this paper, a framework is proposed to enable a flight control system with optimal control allocation to incorporate real-time structural load feedback and structural load constraints.

$190 million of their budget for 2015 ( $885 million ) was allocated for pure science research and another $50 million for aerospace.