冻土学家。上海人。1965年毕业于北京地质学院。中国科学院兰州分院院长、寒区旱区环境与工程研究所研究员。长期从事青藏高原冻土研究，解决工程问题。完成青藏铁路东线工程地质调查。在热水煤矿论证富冰高温冻土路段应采用保护冻土原则修筑路堤，并提出有效措施。结合青藏公路改建，提出高含冰量冻土分布规律和识别标志。创造性地提出近地面厚层地下冰形成的重复分凝机制（程氏假说）和冻土三向地带性理论。前者解决了冻土学界长期悬念，被广泛应用于解释多种冰缘和寒区水文现象。后者指明冻土随纬度、海拔和干燥度变化。近年来从事冰冻圈与全球变化、西北水资源形成、变化及与社会协调发展研究。

　　1993年当选为中国科学院院士(学部委员)。