上海交通大学教授

个人简介

所属系别: 计算机系

研究方向: 程序设计语言

并行分布式计算

人工智能

教育及工作经历: 1984年毕业于浙江大学计算机系 获学士学位

1984－1986年 福建师范大学数学系 助教

1986年进入上海交通大学学习，1989年获硕士学位

1992年获博士学位（导师孙永强教授），毕业后留校工作

1993年评为副教授

1998年评为教授

2002年评为博士生导师

94年和97年作为访问学者赴香港中文大学参加合作课题攻关

1999年-2000年作为高级访问学者在哈佛大学进修访问一学年

社会及学术兼职: 中国农工民主党党员 （交大副主委）

上海欧美同学会 会员

中国计算机学会高级会员

中国计算机学会开放系统专业委员会委员

获奖情况: 1995年评为上海市高校优秀青年教师

教学与科研

主讲课程: 分布式计算

分布式系统

人工智能

程序设计语言原理

离散数学

主要研究领域:

程序设计语言

并行分布式计算

人工智能

科研项目:

2002-2003 分布式部分计值 国家863高科技项目课题组长

2004-2005 网格环境下的数据传输 上海教委e研究院 负责

2003－2005 上海信息网格平台建设 参加 负责资源管理与数据管理中间件开发

2002-2003 集群计算性能模型 国家教委回国人员科研启动基金

1998-2000 远程高性能并行计算 自然科学基金 参加者 排名2

1996-1997 大规模并行程序设计 自然科学基金 参加者 排名2

1995-1996 数据并行处理 上海交通大学基金课题

1994、1997 大规模并行程序设计范例 香港UPGC资助课题 合作研究 排名2

发表论文:

（部分英文题目论文略）

16. 黄林鹏，孙永强，交互作用网理论分析，计算机学报,16(3), 1993, 171-180.

17. 黄林鹏，孙永强，非单调性和不一致性的处理-- 一个基于线性逻辑的方法，软件学报，4(4)，1993，15-19.

18. 黄林鹏，孙永强，一个新的证明网定义及合理性，软件学报，5(10)，1994,33-37.

19. 左孝凌，黄林鹏，一个不确定推理的研究与设计-RUES系统，全国人工智能会议论文集，1989，212-221.

20. 黄林鹏，孙永强，线性逻辑导论，计算机科学，18(1), 1991, 15-19.

21. 黄林鹏，孙永强，线性逻辑、Petri网和并发计算，计算机科学，18(6),1991, 17-24.

22. 黄林鹏，孙永强，一个时间复杂度为O的证明网验证算法，双B代数和计算机逻辑论文集，1991，125-131.

23. 黄林鹏，孙永强，线性逻辑和逻辑式程序设计，计算机科学，19(6), 1992,11-17.

24. 黄林鹏等，不确定性知识的来源与分类，知识工程，1992.1 27-29.

25. 黄林鹏等，证明网、模块、类型及验证，全国青年计算机会议论文集，1992，99-104.

26. 黄林鹏，孙永强，并发lambda 演算及在并行抽象机上的实现，全国计算机体系结构年会论文集，1992，220-225.

27. 黄林鹏，孙永强，线性逻辑中非连通证明网的定义和验证，中国第五届多值逻辑学术会议论文集，1992，220-227.

28. 倪德明，黄林鹏等，Petri网结构理论的代数基础探讨，全国第二届Petri网研讨会，1992.

29. 黄林鹏，孙永强， 并发函数式语言CM的设计及实现，程序设计语言研究与发展，电子工业出版社，1993，82-88.

30. 黄林鹏等，超级文本和超级媒体的市场发展与展望，计算机技术，1993.2, 47-48.

31. 黄林鹏，孙永强，性质继承的线性逻辑表示和推理，计算机工程，1993.3,1-6.

32. 黄林鹏，人工智能的历史与展望，计算机科学，20(3)，1993，1-3.

33. 倪德明，黄林鹏等，并行模型的分类和评价，计算机科学，20(3), 1993, 13-17.

34. 黄林鹏等，软件规范，计算机科学，20(4)，1993，69-72.

35. 黄林鹏等，对偶类比学习，全国第二届机器学习研讨会论文集，1993.

36. 黄林鹏等，软件规格说明的比较和分类，全国第五次软件工程会议，1993.

37. 黄林鹏等，超级文本和超级媒体的市场发展与展望，全国第二届多媒体技术研讨会，1993.

38. 黄林鹏，孙永强， 并发函数式语言CM的设计及实现，计算机工程与设计，1994，4, 38-45

39. 黄林鹏等，并行计算模型GAMMA概述，计算机科学，21(5)，1994，20-24.

40. 黄林鹏等，高阶GAMMA中并行复合算子的定义，上海交通大学学报，30(6), 1996, 156-161.

41. 陈斯愈，黄林鹏，孙永强，一个数据并行语言的设计与实现，计算机工程，1997.3, 3-6

42. 黄林鹏等，PCC技术的应用和改进，上海交通大学学报，32(10)，1998，69-73.

43. 韩莹洁、孙永强、黄林鹏，自适应近似树，计算机研究与发展，2002年第三十九卷第十二期，pp. 1751-1757

47. 林琳、黄林鹏、孙永强，通过部分计值对分布式软件的优化，2003全国软件与应用学术会议，上海，中国。

48. 孙永强、黄林鹏，DJMix：分布式Java字节代码例化系统，中德“理论计算机科学研讨会”。

49. 拜朝峰、林琳、黄林鹏、孙永强，部分计值综述，计算机科学 ，2004 第2期

50. 肖连兵、黄林鹏，网格计算技术，计算机工程，2002年

51. 谢瑾奎、黄林鹏、孙永强，基于部分计值的信息个人化系统，计算机工程，2003年

52. 朱伟民、黄林鹏，集群系统物理时间戳研究，计算机工程， 2002年

53. 包振华、黄林鹏，人工智能在故障诊断中的应用，计算机工程，2003年第1期

54. 朱伟民、黄林鹏，关于银行计算机灾难备份系统的思考，数据处理， 2002年第1期

编辑、翻译

1. 傅育熙，黄林鹏 等主编《第七届全国青年计算机学术会议论文集》上海科技文献出版社，1998.10

2. 傅育熙，黄林鹏，张冬茉译《程序设计语言的设计与实现,第2版》,电子工业出版社，1998.12

3. 傅育熙，张冬茉,黄林鹏译《程序设计语言的设计与实现,第3版》,电子工业出版社，2000.12

4. 黄林鹏 毛宏燕 黄晓琴 译 程序设计语言——原理与实践（第二版） 原作者：[美]Kenneth C.Louden，电子工业出版社，2004年4月

5. 黄林鹏 朱崇恺 译 程序设计方法(中文版) 原作者：[美]Matthias Felleisen等，人民邮电出版社，2003年12月

专利: 毛宏燕 黄林鹏等 基于网络服务资源框架的图像网格处理系统

申请号: 200410067577.0 申请日期2004年10月28日

申请并获得软件著作权

1. 软著登第 017575号 登记号 2003SR12484 基于部分计值的信息个人化系统【简称：PIE】 V1.0

2. 软著登第 010454号 登记号 2003SR5363Java字节代码部分计值器系统 【简称：Jmix】

3. 登记号：2004SR12898医学图像处理网格系统 MIP-GRID V1.0