男,汉族,1942年8月出生,江苏镇江人,民盟盟员。
1965年毕业于kaiyun体育登录网页入口数力系计算专业,后留本系计算教研室任助教;1969年调校内电子仪器厂软件研究室,研究和开发了多个计算机软件系统;1978年调计算机系,历任助教,讲师、副教授、教授。曾任数据库教研室主任和理论教研室主任。1995年调kaiyun体育登录网页入口,任信息科学系副系主任。1998年起,受聘全校理科主干课《数据结构》主持人。2005年退休。
1969-1978年,先后参加计算机“DJS-11”、计算机“DJS-18”、“200系列机”和“GC-01”转报机的总体设计和软件开发。设计与实现了三个高级语言的编译器和一个通讯网络管理系统。其中“DJS-11”项目的成果,1978年获得“全国科学大会奖”。其他项目均顺利完成并投入使用。
1978年以后,张乃孝主要的研究从软件工程转向软件理论,成功完成了多个国家项目:1,协助吴允曾教授完成六五攻关项目:“软件理论”。 该项目1986年获国家计委,经委,科委和财政部联合颁发的奖状。2,1991年,参加了吴文俊院士主持的攀登项目“机器证明及其应用”,成功开发了“CSET”专用软件。受到两位院士的充分肯定,推荐本人在1992年破格晋升教授。3,1992年,主持“863”项目:“软件的数学基础及软件的形式化方法研究”。4,1997年,主持国防科技预研项目:“基于Ada95的软件规格说明元语言”。5,2005年,主持中葡科技合作项目:“基于组件系统设计的形式基础”。除上述外,先后还主持了五个“国家自然科学基金项目”。
张乃孝先后发表研究论文50余篇,编写出版的教材十多种,主要包括:1987年,与许卓群等合编的《数据结构》,1992年获国家教委颁发的全国优秀教材奖。1998年,出版“九五”国家教委重点教材《数据结构——C++与面向对象的途径》。2002年,出版“十二五”本科国家级的规划教材《算法与数据结构——C语言描述》,该书于2007年获教育部“普通高等教育精品教材”奖。1989与1991年,先后出版的北京市自学考试教材《实用C语言程序设计》和《数据结构基础》。
1988-1990年,受David Gries教授的邀请,赴美国Cornell大学计算机系参加“POLYA语言”项目的研究。2005年退休后,受何积丰院士邀请在上海华师大软件公司任客座教授。2009年,世界名人录“The Marqui's Who's Who in the World ”收藏了本人简历。