1989年度一等奖 “基于时序逻辑的软件工程环境的理论与设计”
他用东方哲思破解软件工程难题，斩获领域首个国家自然科学一等奖
“卅载崎岖步履辛，烂柯余力献车薪。浮生易老心难老，世态趋新我未新。”
1989年，当唐稚松得知自己的“基于时序逻辑的软件工程环境的理论与设计”（“XYZ系统理论与原型工具方面的工作”）研究荣获国家自然科学奖一等奖时，他提笔写下了这首诗《闻国家自然科学奖讯》。这一年，距离他首次踏入计算机软件研究领域，已过去20余年；而距离XYZ系统最终完整实现，尚有6年之遥。
这是计算机科学领域首个获得国家自然科学奖一等奖的成果。在中国科学院的档案中，收藏着关于这一成果的论文手稿、获奖证书等珍贵档案。它们忠实地记录了一位中国科学家如何独自穿越理论与技术日益割裂的年代，穿越国际学术界多年的沉默与怀疑，最终为自己选定一条“与世界主流方向不一致”的道路。