"Provides leadership for NASA information sciences and technology, particularly research in the critical subdisciplines of automated reasoning for autonomous systems, high-performance computing and networking, and human-centered computing." . . . .