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.