唐雅松1925～

长沙人。1950年清华大学哲学系毕业，1952年该校研究生毕业。任中科院软件研究所研究员。1965年发表在《数学学报》上的《论指令系统的递归性》一文，将数理逻辑应用于计算机科学中，被认为是奠定了结构程序设计的理论基础。他的“编译自动化”和“结构程序设计及语言”等研究，具国际先进水平。其“基于时序逻辑的软件工程环境理论与设计”是以时序逻辑为基础的适应多种程序设计方式的通用工具与软件环境支持系统，包括10万条语句，被国际计算机专家称为“一次重大突破的基础”，1989年获国家自然科学一等奖。