Langley Distributed Active Archive Center
The Langley DAAC is responsible for archiving and distributing NASA science data in the areas of radiation budget, clouds, aerosols, and tropospheric chemistry.
GEOmetry LABoratory (GEOLAB)
GEOLAB is an open-shop facility in the Information Systems Division (ISD) of the Internal Operations Group (IOG). It is available to address the numerical geometry needs of the Langley Research Center community.
NASA Langley Formal Methods Program
Working to advance the state-of-the-art in formal methods, making it practical for use on life-critical systems developed by the aerospace industry in the United States.