Computational sciences are applied to much of the work at NIA. This ranges from fluid dynamics in the study of aeronautics to atmospheric modeling to formal methods of verifying computational results to modeling material properties.