唐稚松-学术成就
发布时间：2010-01-19 15:06:22
发布人：
孝行天下
唐稚松先生的研究工作得到了包括图灵奖获得者Pnueli教授在内的众多国外著名学者的高度评价。1995年，由斯坦福大学Z.Manna教授提议，国际学术界为庆祝唐稚松先生70寿辰在北京召开了学术研讨会。会议论文集由WorldScientific出版社出版。
唐稚松先生在国内外发表学术论文逾百篇，并著有诗词作品集《桃蹊诗存》(桃蹊是他的笔名)。专著《时序逻辑程序设计与软件工程》上、下册(科学出版社1999、2001)获2003年国家图书奖正式奖和全国优秀科技图书奖一等奖。唐稚松先生曾任《计算机学报》、《软件学报》、《自然科学进展》、《JournalofSymbolicComputation》等杂志的编委，中国软件行业协会顾问、中文信息处理学会常务理事、自然辩证法学会理事等;曾任武汉大学、重庆大学、中南工业大学名誉教授，中国科学技术大学、西北大学、贵州大学等校兼职教授。
1979年，唐稚松先生应邀访问了美国斯坦福大学。此后又应邀先后到欧美和日本等国的30多所大学、科研机构讲学和访问。在此期间，他为XYZ建立了时序逻辑基础。1983年IFIP巴黎大会上，他提出了世界上第一个可执行时序逻辑语言XYZ/E。该语言第一次将状态转换的控制机制引入到逻辑系统之中，又第一次将这种时序逻辑形式化理论与最新软件技术结合起来。这一成果被国际著名计算机专家称为软件工程领域中发展可执行时序逻辑的先驱。由于在基于时序逻辑的软件工程环境理论和系统方面的研究成就，他荣获1989年国家自然科学奖一等奖和1996年何梁何利科学技术进步奖。
公安机关备案号：44040302000222
