I interviewed Brian J. Fox, the creator of Bash
Re-written: I'm surprised Bash shell passed muster for mission critical NASA applications given it isn't based on a formally verifiable language that they tend to use (e.g. Ada).