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.
eosweb.larc.nasa.gov
Langley Research Center Office of Education
Features fellowships, summer programs, coursework help, and television broadcasts that are available to students and educators.
edu.larc.nasa.gov
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.
geolab.larc.nasa.gov
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.
shemesh.larc.nasa.gov/fm