
唐稚松(1925年8月7日—2008年7月21日),湖南長沙人,中國計算機科學和軟件工程研究的先驅和開拓者之一,中國科學院學部委員,中國科學院軟件研究所研究員 。
基本資料
詳細介紹
1950年唐稚松從清華大學哲學系本科畢業;1952年從清華大學哲學系研究生畢業后到中國人民大學數學教研室工作;1956年至1962年擔任中國科學院數學研究所邏輯室助理研究員;1962年至1985年先后擔任中國科學院計算技術研究所助理研究員、副研究員和研究員;1980年晉升為研究員,并任第一批博士生導師;1985年擔任中國科學院軟件研究所研究員;1991年當選為中國科學院學部委員(院士);1996年獲得何梁何利基金科學與技術進步獎;2008年7月21日在北京逝世,享年83歲。
唐院士主要從事數理邏輯、自動機理論、程序語言與編譯方法、形式語義、軟件開發方法、工具與環境等方面的研究。