Transcription

1 Page 1 of 16 Insightful Understanding of China's Higher Education and Research in Computer Science and Information Technology A U.S. Delegation visit to China May 20 - June 3, 2006 List of Delegates-Chinese List of Delegates-English 代 表 团 名 单 兰 德 尔. 布 赖 恩 特 卡 内 基 梅 隆 大 学 计 算 机 科 学 教 授, 计 算 机 科 学 学 院 院 长 丛 京 生 加 州 大 学 洛 杉 矶 分 校 计 算 机 科 学 教 授, 计 算 机 科 学 系 主 任 基 思. 安 塞 尔. 玛 佐 罗 加 利 福 尼 亚 大 学 圣 地 亚 哥 分 校 玛 莎. 伊 莉 莎 白. 玻 莱 克 密 歇 根 大 学 计 算 机 科 学 与 工 程 教 授, 计 算 机 科 学 与 工 程 系 主 任 计 算 机 科 学 与 电 气 工 程 教 授, 电 气 工 程 与 计 算 机 科 学 系 副 主 任, 主 管 计 算 机 科 学 与 工 程 黛 布 拉. 理 查 森 加 州 大 学 欧 文 分 校 信 息 学 教 授, 唐 纳 德. 布 伦 信 息 与 计 算 机 科 学 院 院 长 彼 得. 弗 里 曼 美 国 国 家 科 学 基 金 会 副 会 长, 主 管 计 算 机 信 息 科 学 及 工 程 弗 雷 德. 史 蒂 芬. 罗 伯 特 拉 特 格 斯 大 学 数 学 教 授, 离 散 数 学 与 理 论 计 算 机 科 学 中 心 主 任 马 克. 斯 尼 尔 伊 里 诺 大 学 香 槟 分 校 计 算 机 科 学 教 授, 计 算 机 科 学 系 主 任 玛 丽. 路 易 丝. 苏 菲 弗 吉 尼 亚 大 学 计 算 机 科 学 教 授, 计 算 机 科 学 系 主 任 奎 因 达. 辛 格. 索 易 威 斯 康 辛 大 学 麦 迪 逊 分 校 计 算 机 科 学 教 授, 计 算 机 科 学 系 主 任

2 Page 2 of 16 维 勒 莉. 依 莲. 泰 勒 得 克 萨 斯 A&M 大 学 计 算 机 科 学 教 授, 计 算 机 科 学 系 主 任 布 赖 恩 特. 约 克 波 特 兰 州 立 大 学 计 算 机 科 学 教 授 张 晓 东 俄 亥 俄 州 立 大 学 计 算 机 科 学 教 授, 计 算 机 科 学 与 工 程 系 主 任 赵 伟 美 国 国 家 科 学 基 金 会 分 部 主 任 得 克 萨 斯 A&M 大 学 计 算 机 科 学 教 授, 资 深 协 理 副 校 长 LIST OF DELEGATES Randal E. Bryant Jingsheng Jason Cong Keith Ansel Marzullo Martha Elizabeth Pollack Debra J. Richardson Peter Freeman Fred Stephen Roberts Marc Snir Mary Louise Soffa Gurindar Singh Sohi Valerie Elaine Taylor Bryant W. York Xiaodong Zhang Wei Zhao Carnegie Mellon University Professor of Computer Science, Dean of School of Computer Science University of California, Los Angeles University of California, San Diego Professor of Computer Science and Engineering, Chair of Department of Computer Science and Engineering University of Michigan Professor of Computer Science and Electrical Engineering, Associate Chair for Computer Science and Engineering University of California, Irvine Professor of Informatics, Dean of Donald Bren School of Information and Computer Science National Science Foundation Assistant Director for the Computer and Information Science and Engineering Directorate Rutgers University Professor of Mathematics, Director of Center for Discrete Mathematics and Theoretical Computer Science University of Illinois, Urbana Champaign University of Virginia University of Wisconsin, Madison Texas A&M University Portland State University Professor of Computer Science Ohio State University and Engineering Professor of Computer Science Senior Associate Vice President for Research of Texas A&M Univ. Director of NSF Computer and Network Systems Division

3 Page 3 of 16 DELEGATES BIOGRAPHIES Dr. Randal E. Bryant Carnegie Mellon University Professor of Computer Science, Dean of School of Computer Science 兰 德 尔 布 赖 恩 特 博 士 卡 内 基 梅 隆 大 学 兰 德 尔 布 赖 恩 特 博 士 兰 德 尔. 布 赖 恩 特 是 卡 内 基 梅 隆 大 学 计 算 机 科 学 院 院 长 布 赖 恩 特 从 助 理 教 授 开 始, 在 卡 内 基 梅 隆 大 学 从 事 教 学 研 究 达 21 年 之 久, 现 已 成 为 富 有 殊 荣 的 "University Professor" 讲 座 教 授 布 赖 恩 特 教 授 主 要 致 力 于 数 字 逻 辑 电 路 验 证 方 法 研 究 最 近, 他 又 在 探 讨 如 何 将 这 种 验 证 方 法 扩 展 到 软 件 领 域 他 在 1986 发 表 的 陈 述 有 序 二 叉 决 策 图 (BDDs) 的 布 尔 运 算 的 论 文 成 为 Citeseer 计 算 机 论 文 数 据 库 中 被 引 用 次 数 最 高 的 文 章 此 外, 他 还 开 发 了 在 不 同 抽 象 级 别 ( 从 晶 体 管 到 高 层 表 示 ) 上 通 过 符 号 模 拟 验 证 电 路 的 技 术 布 赖 恩 特 教 授 的 优 秀 业 绩 得 到 了 业 界 的 广 泛 认 可 他 是 美 国 电 气 电 子 工 程 师 学 会 (IEEE) 和 美 国 计 算 机 学 会 (ACM) 的 会 士, 美 国 国 家 工 程 院 院 士 因 开 发 符 号 模 型 校 验 的 突 出 贡 献, 他 在 1997 年 获 得 ACM Kanellakis 理 论 实 践 奖 ( 共 同 获 奖 者 Edmund M. Clarke, Ken McMillan 和 Allen Emerson), 并 以 一 篇 IEEE 最 佳 论 文 而 获 得 1989 年 IEEE 颁 发 的 W.R.G Baker 奖 布 赖 恩 特 和 大 卫. 欧 海 劳 瑞 (David R. O'Hallaron) 共 同 撰 写 的 深 入 理 解 计 算 机 系 统 (Computer Systems: A Programmer's Perspective) 一 书 已 被 全 世 界 超 过 100 多 所 大 学 使 用, 并 被 翻 译 成 了 中 俄 两 文 1973 年, 布 赖 恩 特 教 授 在 密 歇 根 大 学 获 得 应 用 数 学 理 学 学 士 学 位 ;1981 年 在 麻 省 理 工 学 院 获 得 博 士 学 位 他 于 1981 至 1984 年 在 加 利 福 尼 亚 理 工 学 院 任 教 ;1990 到 1991 年 间, 他 远 赴 日 本 川 崎 富 士 通 实 验 室 任 访 问 学 者 他 还 曾 为 三 个 电 气 自 动 控 制 设 计 公 司 的 创 办 担 任 过 顾 问 委 员 会 委 员 Randal E. Bryant is Dean of the Carnegie Mellon University School of Computer Science. He has been on the faculty at Carnegie Mellon for 21 years, starting as an Assistant Professor and progressing to his current rank of University Professor. Dr. Bryant's research focuses on methods for formally verifying digital hardware, and more recently some forms of software. His 1986 paper on symbolic Boolean manipulation using Ordered Binary Decision Diagrams (BDDs) has the highest citation count of any publication in the Citeseer database of computer science literature. In addition, he has developed several techniques to verify circuits by symbolic simulation, with levels of abstraction ranging from transistors to very high-level representations. Dr. Bryant has received widespread recognition for his work. He is a fellow of the IEEE and the ACM, as well as a member of the National Academy of Engineering. His awards include the 1997 ACM Kanellakis Theory and Practice Award (shared with Edmund M. Clarke, Ken McMillan, and Allen Emerson) for contributing to the development of symbolic model checking, as well as the 1989 IEEE W.R.G. Baker Prize for the best paper appearing in any IEEE publication during the preceding year. Along with David R. O'Hallaron, he authored the textbook "Computer Systems: A Programmer's Perspective", now used in over 100 universities worldwide and translated into Chinese and Russian. Dr. Bryant received his B.S. in Applied Mathematics from the University of Michigan in 1973, and his PhD from MIT in He was on the faculty at Caltech from 1981 to He spent the academic year as a Visiting Research Fellow at Fujitsu Laboratories in Kawasaki, Japan. He has been on the advisory boards for three electronic design automation startup companies. Dr. Jingsheng Jason Cong University of California, Los Angeles, Co-Director of the VLSI CAD Laboratory

4 Page 4 of 16 丛 京 生 博 士 加 州 大 学 洛 杉 矶 分 校 计 算 机 科 学 教 授, 计 算 机 科 学 系 主 任,VLSI CAD 实 验 室 负 责 人 丛 京 生 教 授 于 1985 年 获 得 北 京 大 学 计 算 机 科 学 学 士 学 位, 并 分 别 于 1987 年 和 1990 年 在 伊 利 诺 伊 大 学 厄 巴 纳 香 槟 分 校 取 得 硕 士 和 博 士 学 位 目 前, 他 是 加 利 福 尼 亚 大 学 洛 杉 矶 分 校 计 算 机 科 学 系 的 教 授 和 系 主 任, 并 且 担 任 VLSI CAD 实 验 室 负 责 人 丛 教 授 的 研 究 方 向 包 括 VLSI 电 路 的 集 成 与 布 局 高 可 扩 展 VLSI 设 计 算 法 和 工 具 可 编 程 电 路 和 系 统 的 设 计 与 集 成 片 上 系 统 (SoC) 设 计 和 计 算 机 体 系 结 构 他 已 经 发 表 了 220 多 篇 学 术 论 文, 主 持 了 30 多 个 由 美 国 国 防 高 级 研 究 计 划 局 (DARPA) 美 国 国 家 科 学 基 金 (NSF) 半 导 体 研 究 中 心 (SRC) 和 工 业 界 资 助 的 科 研 课 题 他 曾 在 亚 洲 和 南 太 平 洋 设 计 自 动 化 国 际 会 议 (ASPDAC), 设 计 自 动 化 会 议 (DAC), 美 国 计 算 机 学 会 (ACM) 可 编 程 逻 辑 电 路 国 际 研 讨 会 (FPGA), 计 算 机 辅 助 设 计 国 际 大 会 (ICCAD), 国 际 电 路 与 系 统 年 会 (ISCAS), 国 际 物 理 设 计 研 讨 会 (ISPD) 和 国 际 低 功 率 电 路 及 设 计 研 讨 会 (ISLEPD) 等 众 多 学 术 会 议 上 担 任 技 术 委 员 会 或 执 行 委 员 会 委 员 在 1999 年 至 2002 年 期 间, 他 曾 任 美 国 电 气 电 子 工 程 师 学 会 (IEEE) VLSI 系 统 期 刊 副 编 辑 自 1995 起, 他 一 直 担 任 ACM 电 子 电 路 自 动 化 设 计 期 刊 副 编 辑 丛 教 授 曾 于 1985 年 获 得 北 京 大 学 优 秀 毕 业 生 奖, 并 于 1989 年 获 伊 利 诺 伊 大 学 厄 巴 纳 香 槟 分 校 的 罗 斯. 马 丁 杰 出 科 研 奖 他 于 1993 年 获 得 NSF 颁 发 的 杰 出 青 年 科 技 工 作 者 荣 誉 称 号 ; 同 年 获 得 加 利 福 尼 亚 大 学 洛 杉 矶 分 校 颁 发 的 那 斯 罗 蒲 杰 出 青 年 教 师 研 究 奖 ; 1998 年 获 得 ACM 设 计 自 动 化 专 业 组 卓 越 服 务 奖 他 还 先 后 三 次 获 得 最 佳 论 文 奖, 其 中 包 括 1995 年 IEEE 计 算 机 辅 助 设 计 期 刊 最 佳 论 文 奖 2005 年 国 际 物 理 设 计 研 讨 会 (ISPD) 最 佳 论 文 奖 2005 年 ACM 电 子 电 路 自 动 化 设 计 期 刊 最 佳 论 文 奖 此 外, 他 还 获 得 2000 年 半 导 体 研 究 中 心 (SRC) 的 发 明 家 荣 誉 奖 和 卓 越 技 术 奖, 并 于 2000 年 成 为 了 IEEE 会 士 1993 年 至 1999 年, 丛 教 授 曾 任 ACM 设 计 自 动 化 专 业 组 顾 问 委 员 2001 年 至 2004 年, 他 担 任 IEEE 电 路 和 系 统 分 会 理 事 会 理 事 丛 教 授 还 受 聘 于 众 多 电 子 设 计 自 动 化 及 silicon IP 公 司 的 技 术 顾 问 委 员 会, 包 括 Atrenta easic Get2Chip Magma Design Automation 和 Ultima Interconnect Technologies 他 创 办 了 Aplus Design 公 司, 直 到 该 公 司 被 Magma 公 司 收 购 之 前, 他 一 直 担 任 总 裁 目 前, 他 兼 任 Magma 公 司 的 技 术 总 顾 问 自 2000 年 起, 他 还 受 聘 于 北 京 大 学 担 任 客 座 教 授 Jason Cong received his B.S. degree in computer science from Peking University in 1985, his M.S. and Ph. D. degrees in computer science from the University of Illinois at Urbana-Champaign in 1987 and 1990, respectively. Currently, he is a Professor and Chairman of the Computer Science Department of University of California, Los Angeles, and co-director of the VLSI CAD Laboratory. His research interests include synthesis and layout of VLSI circuits, highly scalable VLSI design algorithms and tools, design and synthesis of programmable circuits and systems, system-on-a-chip designs, and computer architectures. He has published over 220 research papers and led over 30 research projects supported by DARPA, NSF, SRC, and a number of industrial sponsors in these areas. He served on technical program committees and executive committees of many professional conferences, such as ASPDAC, DAC, FPGA, ICCAD, ISCAS, ISPD, and ISLEPD. He served as an Associate Editor for IEEE Trans. on VLSI Systems from 1999 to 2002, and has been an Associate Editor of ACM Trans. on Design Automation of Electronic Systems since Dr. Cong received the Best Graduate Award from the Peking University in 1985, and the Ross J. Martin Award for Excellence in Research from the University of Illinois at Urbana-Champaign in He received the NSF Young Investigator Award in 1993, the Northrop Outstanding Junior Faculty Research Award from UCLA in 1993, and the ACM/SIGDA Meritorious Service Award in He has received three best paper awards, including the 1995 IEEE Trans. on CAD Best Paper Award, the 2005 International Symposium on Physical Design Best Paper Award, and the 2005 ACM Transaction on Design Automation of Electronic Systems Best Paper Award. He also received the SRC Inventor Recognition Award and the SRC Technical Excellence Award both in He was elected to an IEEE Fellow in Dr. Cong served on the ACM SIGDA Advisory Board from He served on the Board of Governors of the IEEE Circuits and Systems Society during Dr. Cong also has served or is serving on the Technical Advisory Board of a number of EDA and silicon IP companies, including Atrenta, easic, Get2Chip, Magma Design Automation, and Ultima Interconnect Technologies. He was the founder and president of Aplus Design Technologies, Inc., until it was acquired by Magma Design Automation in Currently, he serves as the Chief Technologist Advisor of Magma. He is also a Guest Professor of Peking University since Dr. Keith Ansel Marzullo University of California, San Diego Professor of Computer Science and Engineering, Chair of Department of Computer Science and Engineering 基 思 安 塞 尔 玛 佐 罗 博 士 加 利 福 尼 亚 大 学 圣 地 亚 哥 分 校 计 算 机 科 学 与 工 程 教 授, 计 算 机 科 学 与 工 程 系 主 任 玛 佐 罗 教 授 1975 年 获 西 方 学 院 物 理 学 专 业 硕 士 学 位, 优 等 毕 业 生 ; 后 获 斯 坦 福 大 学 应 用 物 理 专 业 硕 士 学 位,

5 Page 5 of 16 其 导 师 为 皮 特. 斯 拉 教 授 ;1984 年 获 斯 坦 福 大 学 电 子 工 程 专 业 博 士 学 位, 其 导 师 为 苏 珊. 欧 维 奇 教 授 2003 年 至 今, 玛 佐 罗 任 加 利 福 尼 亚 大 学 圣 地 亚 哥 分 校 教 授 ;1993 年 至 2003 年, 加 利 福 尼 亚 大 学 圣 地 亚 哥 分 校 副 教 授 ; ISIS 分 布 式 系 统 董 事 会 成 员 ( ) 副 主 席 ( ); 康 奈 尔 大 学 计 算 机 系 副 教 授 ( ) 助 理 教 授 ( );1984 年 至 1986 年, 施 乐 公 司 (Xerox) 系 统 开 发 部 主 要 成 员, 程 序 员 玛 佐 罗 教 授 的 研 究 领 域 包 括 分 布 式 计 算 原 理 及 其 在 实 时 系 统 中 的 应 用, 特 别 是 容 错 系 统 研 究 在 拓 展 现 有 研 究 的 基 础 上, 他 正 在 开 创 新 的 容 错 原 理, 并 将 其 应 用 到 现 代 实 用 系 统 中, 包 括 网 格 服 务 基 于 TCP 的 服 务 可 承 受 从 属 失 效 的 系 统 和 广 域 服 务 他 当 前 正 在 从 事 两 个 主 要 研 究 课 题 : 课 题 之 一.Phonix, 一 个 可 应 对 因 特 网 瘫 痪 的 端 到 端 文 件 备 份 系 统 ; 课 题 之 二 为 可 用 以 检 测 与 隔 离 被 入 侵 路 由 器 的 链 路 状 态 路 由 选 择 协 议. 的 端 到 端 文 件 备 份 系 统 ; 课 题 之 二 为 可 用 以 检 测 与 隔 离 被 入 侵 路 由 器 的 链 路 状 态 路 由 选 择 协 议. Education: Ph.D., Stanford University, Stanford, CA. Electrical Engineering, Prof.Susan Owicki, advisor (1984); M.S. Stanford University, Stanford, CA. Applied Physics, Prof. Peter Sturrock, advisor; A.B., Magna Cum Laude and department honors, Occidental College, Los Angeles, CA. Physics (1975). Professional Experience: Professor (2003-current) and Associate Professor ( ), UC San Diego, La Jolla, CA; ( ) Member of the Board and ( ) Vice-President, ISIS Distributed Systems, Ithaca, NY; Associate Professor ( ) and Assistant Professor ( ), Computer Science Department, Cornell University, Ithaca, NY; ( ) Principal Member, Programming Staff, Xerox System Development Dept., Palo Alto, CA. Keith Marzullo is interested in the principles of distributed computing and their application to real systems. He has a particular focus on fault tolerance. He has recently been working on discovering new and extending known fault-tolerance principles to apply to modern realistic systems, including Grid services, TCP-based services, systems that can suffer dependent failures, and wide-area services. Two current implementation projects he is working on are Phoenix, which is a peer-to-peer file backup service that is designed to tolerate Internet catastrophes, and a link state routing protocol that detects and isolates routers that have been compromised. Dr. Martha Elizabeth Pollack University of Michigan Professor of Computer Science and Electrical Engineering, Associate Chair for Computer Science and Engineering 玛 莎 伊 莉 莎 白 玻 莱 克 博 士 密 歇 根 大 学 计 算 机 科 学 与 电 气 工 程 教 授, 电 气 工 程 与 计 算 机 科 学 系 副 主 任 玻 莱 克 教 授 自 2000 年 起 即 在 密 歇 根 大 学 电 气 工 程 与 计 算 机 科 学 系 任 教 授, 目 前 主 持 该 系 的 计 算 机 科 学 与 工 程 研 究 与 教 学 此 前, 她 曾 先 后 担 任 SRI 国 际 公 司 智 能 中 心 技 术 员 匹 兹 堡 大 学 计 算 机 科 学 系 教 授 与 " 智 能 系 统 " 项 目 负 责 人 她 于 1979 年 在 达 特 茅 兹 学 院 获 语 言 学 学 士 学 位, 而 后 分 别 于 1984 年 和 1986 年 获 宾 西 法 尼 亚 大 学 信 息 科 学 硕 士 和 博 士 学 位 莎 玻 莱 克 教 授 先 后 发 表 了 120 多 篇 学 术 著 作, 并 获 得 了 多 项 学 术 荣 誉 1996 年, 她 当 选 美 国 人 工 智 能 学 会 会 士 ;1991 年 获 " 计 算 机 与 思 想 奖 ";1992 年 获 国 家 科 学 基 金 会 (NSF) 杰 出 青 年 科 技 工 作 者 荣 誉 称 号 ;2000 年 获 匹 兹 堡 大 学 杰 出 研 究 奖 1997 年, 玻 莱 克 教 授 担 任 人 工 智 能 领 域 的 主 要 国 际 会 议 IJCAI 的 程 序 主 席, 并 担 任 人 工 智 能 学 报 人 工 智 能 杂 志 自 主 代 理 与 多 代 理 系 统 计 算 语 言 学 的 编 委 会 成 员 在 2000 年 到 2004 年 间, 她 还 受 聘 人 工 智 能 研 究 学 报 主 编 玻 莱 克 教 授 的 研 究 得 到 包 括 NSF, 国 防 部 高 级 研 究 计 划 局 (DARPA), 美 国 空 军 科 学 研 究 办 公 室, 英 特 尔 公 司 等 单 位 的 慷 慨 资 助 这 些 研 究 在 包 括 约 束 满 足 处 理 和 时 序 推 理 自 动 计 划 生 成 识 别 及 执 行 认 知 模 型 自 然 语 言 处 理 等 人 工 智 能 领 域 产 生 了 广 泛 影 响 同 时, 玻 莱 克 教 授 还 领 导 与 推 动 了 认 知 障 碍 者 辅 助 工 具 技 术 的 设 计 与 研 发, 并 在 美 国 国 家 研 究 委 员 会 该 研 究 的 专 项 委 员 会 中 担 任 委 员, 负 责 向 美 国 参 议 院 老 年 委 员 会 审 报 该 项 研 究 的 影 响 与 作 用 此 外, 玻 莱 克 教 授 还 积 极 投 身 各 种 旨 在 推 动 妇 女 和 少 数 族 裔 参 与 科 技 研 究 的 公 益 活 动 Dr. Pollack currently chairs the Computer Science and Engineering Division within the Department of Electrical Engineering and Computer Science at the University of Michigan, where she has been a professor since She was previously Professor of Computer Science and Director of the Intelligent Systems at the University of Pittsburgh and prior to that was a member of the technical staff at the Artificial Intelligence Center at SRI International in Menlo Park, CA. She received her bachelor's degree in linguistics from Dartmouth College in 1979, and her M.S. and Ph.D. degrees in computer and information science, from the University of Pennsylvania, in 1984 and 1986, respectively. The author or co-author of more than 120 technical publications, Dr. Pollack has received a number of professional honors. She is a Fellow of the American Association for Artificial Intelligence (elected in 1996), and a recipient of the Computers and Thought Award (1991), an NSF Young Investigator's Award

6 Page 6 of 16 (1992), and the Univ. of Pittsburgh Chancellor's Distinguished Research Award (2000). In 1997, she was program chair for IJCAI, the major international conference on artificial intelligence, and she is or has been on the editorial boards of the Artificial Intelligence Journal, AI Magazine, the Journal of Autonomous Agents and Multi-Agent Systems, Computational Linguistics and the Journal of Artificial Intelligence Research, for which she also served as Editor-in-Chief from 2000 to Pollack, whose research has been funded by the National Science Foundation, DARPA, the Air Force Office of Scientific Research, and the Intel Corporation, amongst others, has made significant research contributions to the field of Artificial Intelligence, including work on constraint satisfaction processing and temporal reasoning; automated plan generation, recognition, and execution; cognitive modeling; and natural language processing. She has also been in a leader in the design and development of assistive technology for people with cognitive impairment, and has both served on a panel of the National Research Council addressing this class of technology, and testified on its importance before the United States Senate Special Committee on Aging. Dr. Pollack has also been active in programs aimed at increasing the representation of women and minorities in science and engineering. Dr. Debra J. Richardson University of California, Irvine Professor of Informatics, Dean of Donald Bren School of Information and Computer Sciences 黛 布 拉 理 查 森 博 士 加 州 大 学 欧 文 分 校 信 息 学 教 授, 唐 纳 德. 布 伦 信 息 与 计 算 机 科 学 院 院 长 理 查 森 博 士, 现 任 加 州 大 学 欧 文 分 校 唐 纳 德. 布 伦 信 息 与 计 算 机 科 学 院 院 长, 信 息 学 教 授 她 相 信, 只 有 努 力 提 高 学 院 排 名 并 加 强 建 设 基 础 设 施, 才 能 打 造 一 个 真 正 充 满 活 力 的 学 术 研 究 机 构, 以 满 足 本 地 社 区 与 工 业 界 的 需 求, 并 为 全 球 经 济 做 出 贡 献 为 此, 她 投 入 了 大 量 的 时 间 和 精 力 组 建 一 流 水 平 的 教 研 计 划, 设 计 内 容 广 泛 的 交 叉 学 科 课 程, 吸 引 最 优 秀 的 老 师 和 学 生 在 理 查 森 教 授 的 努 力 下, 信 息 与 计 算 机 科 学 院 赢 得 了 一 个 2000 万 美 元 的 捐 赠 理 查 森 教 授 于 1987 年 来 到 加 州 大 学 欧 文 分 校, 并 于 2000 年 7 月 被 任 命 为 当 时 的 信 息 与 计 算 机 科 学 系 主 任 在 她 的 领 导 下, 该 系 于 2002 年 12 月 被 提 升 为 加 州 大 学 历 史 上 的 第 一 个 计 算 机 科 学 院 她 也 于 2003 年 1 月 被 任 命 为 新 学 院 的 Ted and Janice Smith 讲 座 院 长 理 查 森 教 授 倡 导 女 性 以 及 其 他 少 数 群 体 参 与 计 算 与 信 息 技 术 领 域 的 研 究 她 是 Ada Byon 计 算 与 信 息 技 术 多 样 性 研 究 中 心 的 主 任 该 中 心 通 过 各 种 各 样 的 研 究 顾 问 指 导 和 宣 传 活 动 来 提 升 计 算 机 科 学 工 程 数 字 媒 体 和 相 关 信 息 技 术 领 域 的 多 样 性 理 查 森 教 授 还 是 妇 女 与 信 息 技 术 国 家 中 心 领 导 团 队 中 的 一 个 活 跃 成 员 目 前, 她 是 加 州 南 部 科 斯 拉 梅 萨 奥 林 奇 地 区 女 子 协 会 (Girls Inc.) 的 理 事 会 成 员 该 非 盈 利 组 织 以 促 进 妇 女 和 少 女 对 计 算 和 技 术 的 参 与 为 使 命 她 还 是 美 国 技 术 妇 女 联 合 会 执 行 委 员 会 会 员, 积 极 帮 助 计 算 和 技 术 领 域 内 女 性 的 事 业 发 展 她 是 奥 林 奇 地 区 大 学 科 学 工 作 者 成 就 奖 基 金 会 (ARCS) 的 理 事 会 成 员 该 基 金 会 以 奖 学 金 的 形 式 帮 助 最 优 秀 和 最 具 潜 力 的 学 生 成 为 科 学 家 和 工 程 师 理 查 森 教 授 还 是 Cotelligent 公 司 ( 一 个 领 先 的 移 动 商 务 方 案 提 供 商 ) 和 Watchit Media 公 司 ( 一 个 领 先 的 窄 播 技 术 提 供 商 ) 的 董 事 会 成 员 理 查 森 教 授 是 " 基 于 规 定 的 测 试 " 研 究 领 域 的 开 拓 和 领 导 者, 使 用 形 式 方 法 来 指 导 软 件 测 试 她 目 前 的 工 作 集 中 在 把 该 技 术 应 用 于 软 件 开 发 周 期 的 各 个 阶 段, 从 需 求 和 结 构 分 析 到 操 作 和 演 化 她 开 发 了 领 先 的 高 端 工 具, 并 与 多 家 公 司 合 作 研 发 提 高 关 键 软 件 系 统 质 量 的 技 术 理 查 森 于 1976 年 获 得 加 州 圣 地 亚 哥 大 学 数 学 学 士 学 位 ; 于 1978 和 1981 年 分 别 获 麻 萨 诸 塞 大 学 计 算 机 和 信 息 科 学 硕 士 和 博 士 学 位 Debra J. Richardson, professor of Informatics and dean of the Donald Bren School of Information and Computer Sciences, is committed to raising ICS' rankings and building an infrastructure to support a dynamic academic and research school that meets the demands of the local community and industry and contributes to the global economy. She has dedicated enormous time to ensuring that UCI's computer science program is top tier, encompassing a broad and interdisciplinary curriculum, while attracting the best and brightest students and faculty. To that end, Richardson was instrumental in securing a $20 million endowment for the school. Richardson came to UCI in 1987 and was appointed chair of the then-department of ICS in July Under her leadership, the department was promoted to the first computer science school in University of California history in December She was named the Ted and Janice Smith Dean of the new school in January Committed to increasing the participation of women and other underrepresented groups in computing and information technology, Richardson serves as director of the Ada Byron Research Center for Diversity in Computing and Information Technology whose mission is to study and

7 Page 7 of 16 promote diverse perspectives in computer science, engineering, digital media and related information technology fields through a variety of research, mentoring and outreach activities. She is an active member of the Leadership Team of the National Center for Women and Information Technology. Currently, she sits on the board of trustees for Girls, Inc., Orange County, a non-profit association devoted to advancing women and girls in computing and technology; the executive advisory board of the Association for Women in Technology, a nonprofit organization of women devoted to the advancement of women working in computing and technology; the board of trustees of the Orange County Chapter of ARCS (Achievement Rewards for College Scientists) Foundation, which raises scholarship funds dedicated to helping the best and brightest students achieve as scientists and engineers; and the board of directors of Cotelligent, Inc., a leading provider of mobile business solutions, and Watchit Media, Inc., leading provider of narrowcasting technology. A leader in her research field, Richardson pioneered research in "specification-based testing," whereby formal methods are employed to guide software testing. Her current work focuses on enabling specification-based testing technology throughout the software lifecycle, from requirements and architecture analysis through operation and evolution. She has developed leading edge tools, and has worked with several companies in adopting technology to improve the quality of critical software systems. Richardson received her B.A. in Mathematics from the University of California at San Diego in 1976 and the M.S. and Ph.D. in Computer and Information Science at the University of Massachusetts in 1978 and 1981, respectively. Dr. Peter Freeman, Assistant Director for the Computer and Information Science and Engineering Directorate, NSF 彼 得. 弗 里 曼 博 士 美 国 国 家 科 学 基 金 会 副 会 长, 主 管 计 算 机 信 息 科 学 及 工 程 弗 里 曼 教 授 于 2002 年 5 月 被 委 任 为 美 国 国 家 科 学 基 金 会 (NSF) 副 会 长, 主 管 计 算 机 信 息 科 学 及 工 程 此 前 自 1990 年 始, 他 在 佐 治 亚 理 工 学 院 任 教 授 和 该 校 计 算 学 院 创 院 首 任 院 长 在 佐 治 亚 理 工 学 院, 他 担 任 John P.Imlay, Jr. 首 席 讲 座 院 长, 是 该 校 被 授 予 如 此 殊 荣 的 第 一 人 他 还 连 续 三 年 兼 任 该 校 信 息 总 监 (CIO) 作 为 一 名 校 领 导, 他 活 跃 于 组 织 各 种 校 级 活 动 他 曾 帮 助 学 校 在 一 次 筹 款 活 动 中 成 功 筹 资 7 亿 美 元, 还 是 "Yamacraw 经 济 发 展 行 动 " 的 策 划 人 之 一 他 全 面 负 责 该 校 1996 年 奥 运 村 技 术 筹 备 组 的 " 未 来 网 络 " 项 目 ; 作 为 该 项 目 的 成 果 之 一, 佐 治 亚 理 工 建 成 了 覆 盖 全 校 的 高 性 能 校 园 宽 带 网 1998 年, 他 主 持 了 " 萨 姆. 纳 国 民 银 行 时 政 论 坛 之 信 息 安 全 分 会 " 会 后, 佐 治 亚 理 工 信 息 安 全 中 心 应 运 而 生, 成 为 美 国 最 早 建 立 的 综 合 性 信 息 安 全 中 心 之 一 自 1989 年 到 1990 年, 弗 里 曼 教 授 被 乔 治 梅 森 大 学 特 聘 为 杰 出 客 座 教 授 1987 年 到 1989 年, 他 在 NSF 计 算 机 与 计 算 科 学 分 部 担 任 主 任 在 加 入 佐 治 亚 理 工 之 前, 他 在 加 州 大 学 欧 文 分 校 信 息 与 计 算 机 科 学 系 任 教 达 20 年 之 久 弗 里 曼 教 授 是 美 国 信 息 技 术 领 域 人 力 资 源 供 求 一 书 的 作 者 之 一, 是 深 入 理 解 软 件 : 系 统 即 信 息 和 软 件 系 统 基 本 原 理 的 作 者, 还 发 表 了 大 量 学 术 论 文 他 同 时 还 是 4 本 著 作 的 编 辑 或 者 副 编 辑, 包 括 软 件 重 用 性 和 软 件 设 计 技 术 ( 第 四 版 ) 他 是 McGraw-Hill 软 件 工 程 与 技 术 系 列 期 刊 的 创 刊 编 辑, 为 多 个 学 术 期 刊 担 任 编 委 会 成 员, 兼 任 众 多 会 议 的 程 序 委 员 会 委 员, 并 经 常 为 工 业 学 术 和 政 府 部 门 提 供 顾 问 在 1988 年 到 2002 年 间, 弗 里 曼 教 授 在 计 算 研 究 协 会 (CRA) 董 事 会 担 任 政 府 事 务 委 员 会 副 主 席 和 主 席 他 是 美 国 国 税 局 和 联 邦 航 空 局 航 空 交 通 控 制 现 代 化 项 目 的 审 查 专 责 委 员 会 委 员, 并 在 多 个 全 国 性 和 地 方 性 的 委 员 会 任 职 在 NSF 供 职 期 间, 他 主 导 规 划 了 联 邦 政 府 高 性 能 计 算 与 通 信 计 划 弗 里 曼 教 授 是 IEEE 美 国 科 学 促 进 会 (AAAS) 和 ACM 的 会 士 1970 年, 他 获 得 卡 内 基 梅 隆 大 学 计 算 机 科 学 博 士 学 位 ;1965 年 获 克 萨 斯 大 学 奥 斯 汀 分 校 数 学 和 心 理 学 硕 士 学 位 ;1963 年 获 莱 斯 大 学 物 理 学 学 士 学 位 软 件 系 统 和 开 发 是 他 主 要 的 研 究 方 向 和 技 术 专 长 早 在 操 作 系 统 和 其 它 支 持 软 件 投 入 使 用 之 前, 他 就 在 1961 年 到 1963 年 期 间 启 动 了 高 级 科 学 应 用 软 件 的 开 发 沿 着 他 的 早 期 研 究 方 向, 他 在 1964 年 设 计 和 建 成 了 算 得 上 最 早 的 互 动 分 时 操 作 系 统, 并 在 1965 年 到 1975 年 间 率 先 将 人 工 智 能 技 术 应 用 到 软 件 设 计 过 程 在 被 联 合 国 派 驻 海 外 进 行 了 一 段 教 学 工 作 之 后, 弗 里 曼 教 授 开 始 潜 心 研 究 软 件 工 程 由 于 他 的 先 导 性 贡 献, 他 被 遴 选 为 IEEE 会 士 他 同 瓦 色 尔 曼 教 授 合 作 编 写 了 最 早 的 软 件 设 计 课 程, 培 训 了 成 千 上 万 的 工 业 界 从 业 者 两 位 教 授 共 同 撰 写 的 软 件 工 程 入 门 教 材 也 受 到 广 泛 欢 迎 弗 里 曼 教 授 这 一 时 期 的 研 究 以 软 件 重 用, 特 别 是 形 式 变 换 系 统 的 使 用 为 核 心 因 这 一 研 究 成 果 的 应 用, 好 几 家 公 司 由 而 成 立 1987 年, 弗 里 曼 教 授 从 加 州 大 学 被 借 调 到 NSF 他 由 此 开 始 研 究 国 家 政 策 和 地 方 行 动 对 计 算 科 学 的 影 响 在 担 任 佐 治 亚 理 工 计 算 学 院 院 长 期 间, 他 还 主 持 了 一 个 NSF 支 持 的 全 国 信 息 技 术 人 力 资 源 短 缺 情 况 研 究, 发 起 了 一 个 信 息 技 术 和 计 算 机 科 学 院 院 长 协 联 组 织, 还 发 表 了 数 篇 探 讨 计 算 领 域 未 来 发 展 方 向 的 论 文 Peter A. Freeman became Assistant Director for the Computer and Information Science and Engineering Directorate (CISE) on May 6, He was previously at Georgia Institute of Technology as professor and founding Dean of the College of Computing since He served in that capacity as the John P. Imlay, Jr. Dean of Computing, holding the first endowed Dean's Chair at Georgia Tech. He also served as CIO for the campus for three years. In addition, as a general officer of the campus, he was heavily involved in planning and implementing a wide range of activities for the campus including a successful $700M capital campaign and the Yamacraw Economic Development Mission. He was in charge of the FutureNet Project, part of the campus technology preparations for the 1996 Olympic Village, that resulted in a very high-performance and broad campus network. In 1998, he chaired the Sam Nunn NationsBank Policy Forum on Information Security which lead to the creation of the Georgia Tech Information Security Center, one of the first comprehensive centers in the country focused on information security.during Dr. Freeman was Visiting Distinguished Professor of Information Technology at George Mason University in Fairfax, Virginia, and from 1987 to 1989 he served as Division Director for Computer and Computation Research at the National Science Foundation. He served on the faculty of the Department of Information and Computer Science at the University of California, Irvine, for almost twenty years before coming to Georgia Tech. He co-authored The Supply of Information Technology Workers in the United States (CRA, 1999) and authored Software Perspectives: The System is the Message (Addison Wesley, 1987), Software Systems Principles (SRA, 1975), and numerous technical papers. In addition, he edited or co-edited four books including, Software Reusability (IEEE Computer Society, 1987), and Software Design Techniques, 4th edition (IEEE Press, 1983). He was the founding editor of the McGraw-Hill Series in Software Engineering and Technology, has served on several editorial boards and numerous program committees, and was an active consultant to industry, academia, and government. Dr. Freeman was a member of the Board of Directors of the Computing Research Association ( ), serving as Vice-Chair and Chair of the Government Affairs Committee. He was a member of select review committees of the IRS and FAA Air-traffic Control modernization efforts, and has served on a variety of national and regional committees. While at NSF, he helped formulate the High-Performance Computing and Communications Initiative of the Federal government.

8 Page 8 of 16 Dr. Freeman is a Fellow of the IEEE (Institute for Electrical and Electronics Engineers), AAAS (American Association for the Advancement of Science), and the ACM (Association for Computing Machinery). He received his Ph.D. in computer science from Carnegie-Mellon University in 1970, his M.A. in mathematics and psychology from the University of Texas at Austin in 1965, and his B.S. in physics from Rice University in His research and technical expertise has focused on software systems and their creation. His earliest work ( ) involved developing advanced scientific applications in the days before there were operating systems and other support software. This led him to design and build one of the earliest interactive time-sharing operating systems (1964) and ultimately to early work applying artificial intelligence to the design process for software ( ). This culminated with the publication of his first book, Software System Principles (SRA, 1975). After a short stint teaching overseas for the United Nations, he focused his work on software engineering, ultimately being recognized for this early work by being elected a Fellow of the IEEE. Along with Prof. A. I. Wasserman, he developed one of the first software design courses (taken by thousands of industry practitioners) and published a highly popular text that served as a first introduction to software engineering. His research during this period focused on reusable software, especially using formal transformation systems. That work has resulted in several startup companies. Since 1987 when he was "loaned" by the University of California to the National Science Foundation, he has focused his attention on national policy and local action intended to advance the field of computing. In addition to his many activities as dean at Georgia Tech, he headed an NSF-funded national study of the IT worker shortage ( started an active group for Deans of IT& Computing, and published several papers relative to future directions of the field.

9 Page 9 of 16 Dr. Fred Stephen Roberts, Rutgers University Professor of Mathematics, Director of Center for Discrete Mathematics and Theoretical Computer Science 弗 雷 德 史 蒂 芬 罗 伯 特 博 士 拉 特 格 斯 大 学 罗 伯 特 教 授 于 1964 年 在 达 特 茅 斯 大 学 (Dartmouth) 获 得 数 学 学 士 学 位, 并 分 别 于 1967 年 和 1968 年 在 斯 坦 福 大 学 获 得 数 学 硕 士 与 博 士 学 位 此 后, 罗 伯 特 教 授 获 得 了 宾 夕 法 尼 亚 大 学 和 普 林 斯 顿 前 沿 学 科 研 究 所 的 博 士 后 奖 学 金, 并 在 RAND 公 司 工 作, 最 后 加 入 拉 特 格 斯 大 学 担 任 教 授 职 务 罗 伯 特 教 授 在 拉 特 格 斯 大 学 兼 任 多 个 职 务, 其 中 包 括 数 学 系 教 授, 运 筹 研 究 中 心 会 士, 以 及 下 列 五 个 方 向 的 研 究 生 导 师 : 数 学 运 筹 研 究 计 算 分 子 生 物 学 BioMaPS( 涉 及 生 物 学, 数 学 与 物 理 科 学 的 交 叉 学 科 ) 与 教 育 学 1996 年 1 月, 罗 伯 特 被 任 命 为 离 散 数 学 与 理 论 计 算 机 科 学 中 心 (DIMACS) 主 任 该 中 心 是 由 美 国 国 家 科 学 基 金 会 (NSF) 资 助 组 建 的, 全 球 范 围 内 独 一 无 二 的 计 算 机 科 学 研 究 中 心, 为 全 世 界 的 计 算 机 科 学 家 提 供 丰 富 的 技 术 资 源 该 中 心 同 时 也 是 美 国 高 校 与 工 业 界 合 作 的 成 果 之 一, 其 合 办 者 有 AT&T 实 验 室 贝 尔 实 验 室 / 朗 讯 科 技 Telcordia 科 技 NEC 美 国 实 验 室 普 林 斯 顿 大 学 和 罗 格 斯 大 学 曾 和 该 中 心 有 过 合 作 关 系 的 单 位 还 包 括 Avaya 实 验 室 惠 普 实 验 室 IBM 研 究 中 心 微 软 研 究 中 心 佐 治 亚 理 工 学 院 仁 斯 理 尔 理 工 学 院 和 史 蒂 文 理 工 学 院 等 罗 伯 特 教 授 的 主 要 研 究 方 向 包 括 : 社 会 学 生 物 学 环 境 科 学 和 流 行 性 病 学 的 数 学 和 计 算 建 模 ; 通 信 传 输 和 安 全 等 问 题 的 数 学 与 计 算 建 模 ; 图 论 及 其 应 用 ; 测 量 效 用 投 票 以 及 决 策 学 等 他 的 第 一 本 著 作 离 散 数 学 模 型 及 其 在 社 会 学 生 物 学 和 环 境 科 学 中 的 应 用 被 公 认 为 这 一 领 域 的 经 典 教 材, 并 于 1986 年 被 翻 译 成 俄 语 出 版 他 的 其 他 三 本 重 要 著 作 分 别 是 图 论 与 其 在 社 会 学 中 的 应 用 测 量 理 论 及 其 在 决 策, 效 用 和 社 会 科 学 中 的 应 用 和 组 合 数 学 应 用 其 中 组 合 数 学 应 用 一 书 于 2004 年 再 版 发 行 ( 共 同 作 者 : 巴 里 苔 斯 曼 ), 内 容 扩 充 到 800 页, 补 充 了 许 多 关 于 现 代 应 用 的 讨 论 此 外, 罗 伯 特 教 授 还 参 与 了 其 他 17 本 著 作 的 写 作, 题 材 包 括 计 算 机 与 通 讯 网 络 的 稳 定 性 研 究 计 算 生 物 学 安 全 信 息 工 程 学 初 级 离 散 数 学 等 迄 今 为 止 罗 伯 特 教 授 已 经 发 表 了 150 多 篇 学 术 论 文 罗 伯 特 教 授 一 直 致 力 于 将 计 算 机 科 学 和 数 学 理 论 推 广 到 其 他 领 域 他 曾 经 组 织 过 50 多 次 科 学 研 讨 会, 以 及 多 年 的 离 散 数 学 与 理 论 计 算 机 科 学 专 题 系 列 研 讨 会 探 讨 包 括 计 算 分 子 生 物 学 计 算 与 社 会 经 济 学 计 算 与 数 学 的 流 行 性 病 学 等 在 内 的 跨 学 科 问 题 在 他 的 努 力 推 动 下, 计 算 机 专 家 与 生 物 学 社 会 学 和 环 境 科 学 的 专 家 们 在 这 些 系 列 研 讨 会 中 达 成 了 长 期 有 效 的 合 作 关 系 罗 伯 特 教 授 的 突 出 贡 献 为 他 赢 得 了 许 多 荣 誉 和 奖 励, 其 中 包 括 : 捷 克 共 和 国 数 学 家 与 物 理 学 家 纪 念 奖 章 美 国 计 算 机 协 会 算 法 与 计 算 理 论 兴 趣 组 杰 出 成 就 奖 以 及 美 国 国 家 科 学 基 金 会 科 技 中 心 杰 出 贡 献 奖 FRED S. ROBERTS received his A.B. in mathematics from Dartmouth in 1964 and his M.S. and Ph.D. in mathematics from Stanford in 1967 and He received postdoctoral fellowships at University of Pennsylvania and the Institute for Advanced Study (Princeton) and worked at the RAND Corporation before joining the faculty at Rutgers University, where he is a Professor of Mathematics, a Fellow of the Center for Operations Research, and a member of five graduate faculties: Mathematics, Operations Research, Computational Molecular Biology, BioMaPS (Ph.D. Program at the Interface between the Biological, Mathematical, and Physical Sciences) and Education. In January 1996, he was named the Director of DIMACS, the Center for Discrete Mathematics and Theoretical Computer Science. A unique research center in computer science and a resource for computer scientists around the world, DIMACS was founded as a prestigious National Science Foundation Science and Technology Center and is a joint university-industry project of AT&T Labs - Research, Bell Labs/Lucent Technologies, Telcordia Technologies, NEC Laboratories America, Princeton University, and Rutgers, with partners at Avaya Labs, HP Labs, IBM Research, Microsoft Research, Georgia Institute of Technology, Rensselaer Institute of Technology, and Stevens Institute of Technology. Professor Roberts' major research interests are in mathematical and computational models in the social, biological, environmental, and epidemiological sciences and of problems of communications, transportation, and security; graph theory and its applications; and measurement, utility, voting, and decisionmaking. His first book, Discrete Mathematical Models, with Applications to Social, Biological, and Environmental Problems, has been called a classic in the field, and was translated into Russian in He has also authored three other books: Graph Theory and its Applications to Problems of Society; Measurement Theory, with Applications to Decisionmaking, Utility, and the Social Sciences; and Applied Combinatorics. An 800-page second edition of the latter (jointly with Barry Tesman), emphasizing modern applications, was published in Professor Roberts is also the editor of 17 other books covering such varied topics as reliability of computer and communication networks, computational biology, security informatics, and precollege discrete mathematics, and the author of over 150 scientific articles. Professor Roberts has been a leader in focusing the computer science and mathematics communities on outreach to other areas. He has been an organizer of some 50 scientific conferences, and has organized multi-year DIMACS Special Focus programs on Computational Molecular Biology, on Computation and the Socio-Economic Sciences, and on Computational and Mathematical Epidemiology, during which he has been instrumental in fostering lasting collaborations between computer scientists and biological, social, and environmental scientists. Among his honors and awards, Professor Roberts has received the Commemorative Medal of the Union of Czech Mathematicians and Physicists, the Distinguished Service Award of ACM-SIGACT (Association of Computing Machinery Special Interest Group on Algorithms and Computation

10 Page 10 of 16 Theory), and the National Science Foundation Science and Technology Centers Pioneer Award. Dr. Marc Snir, University of Illinois, Urbana Champaign 马 克 斯 尼 尔 博 士 伊 里 诺 大 学 香 槟 分 校 斯 尼 尔 教 授 是 Michael Faiman 和 Saburo Muroga 计 算 机 科 学 讲 座 教 授, 并 自 2001 年 秋 季 起 担 任 伊 里 诺 大 学 香 槟 分 校 的 计 算 机 科 学 系 主 任 他 的 主 要 研 究 方 向 是 高 性 能 计 算 系 统 的 体 系 结 构 与 编 程 环 境 在 加 入 伊 里 诺 大 学 香 槟 分 校 之 前, 斯 尼 尔 教 授 在 IBM 研 究 中 心 供 职 达 15 年 之 久 在 他 的 领 导 下,IBM 研 制 开 发 出 在 上 个 十 年 占 主 导 地 位 的 可 扩 展 的 并 行 机 系 统 他 还 是 IBM" 蓝 色 基 因 " 项 目 的 企 划 带 头 人 斯 尼 尔 教 授 被 授 予 IBM 技 术 学 院 院 士 资 格, 并 获 得 过 IBM 总 部 奖 章 及 两 次 卓 越 技 术 贡 献 奖 斯 尼 尔 教 授 参 与 了 IBM 的 许 多 重 大 研 究 项 目, 并 主 持 IBM 高 等 院 校 合 作 项 目 的 审 查 工 作 斯 尼 尔 教 授 1979 年 毕 业 于 耶 路 撒 冷 的 希 伯 来 大 学, 获 数 学 博 士 学 位 ;1980 年 到 1982 年 间 在 纽 约 大 学 从 事 超 超 级 计 算 机 ( 当 时 最 著 名 的 并 行 计 算 机 研 究 项 目 ) 的 研 究 与 开 发 ;1982 年 到 1986 年 间 回 到 耶 路 撒 冷 的 希 伯 来 大 学, 之 后 就 加 入 了 IBM 公 司 斯 尼 尔 教 授 是 IBM MPI 并 行 编 程 语 言 的 主 要 设 计 人, 该 技 术 是 目 前 公 认 的 编 写 扩 展 性 并 行 应 用 的 工 具 迄 今 为 止 斯 尼 尔 教 授 已 参 与 出 版 了 两 本 著 作, 发 表 了 100 多 篇 论 文, 受 邀 进 行 的 学 术 演 讲 不 胜 枚 举 他 的 研 究 也 扩 展 到 理 论 计 算 机 并 行 计 算 机 设 计 并 行 算 法 与 工 具 并 行 处 理 库 与 编 程 环 境 等 诸 多 课 题 斯 尼 尔 教 授 同 时 是 美 国 计 算 机 协 会 (ACM) 与 美 国 电 气 电 子 工 程 师 学 会 (IEEE) 的 会 士 他 在 美 国 国 家 科 学 研 究 委 员 会 (NRC) 近 期 启 动 的 未 来 超 级 计 算 机 研 究 项 目 中 担 任 共 同 主 席 职 务 作 为 国 家 科 学 研 究 委 员 会 的 专 家 组 成 员, 他 指 导 了 美 国 国 家 航 空 航 天 局 (NASA) 的 原 创 突 破 性 技 术 计 划 (PRT, Pioneering Revolutionary Technology), 和 美 国 国 家 安 全 委 员 会 (NSC) 的 高 性 能 计 算 项 目 此 外, 斯 尼 尔 教 授 还 是 北 美 计 算 机 研 究 协 会 (CRA) 的 理 事 会 成 员 之 一 Professor Marc Snir is Michael Faiman and Saburo Muroga Professor of Computer Science and Head of the Computer Science Department at the University of Illinois at Urbana-Champaign since Fall He is pursuing research on architectures and programming environments for High- Performance Computing systems. Before joining UIUC he spent fifteen years at IBM Research. He led the research that resulted in the IBM SP scalable parallel system product - the leading IBM supercomputer product of the last decade -- and initiated the IBM Blue Gene project. He was member of the IBM Academy of Technology and received an IBM Corporate award and two IBM Outstanding Technical awards. He was involved in several major task forces, and led a review of IBM's University Programs. Marc Snir received a Ph.D. in Mathematics from the Hebrew University of Jerusalem in 1979, worked at NYU on the NYU Ultracomputer project in (a leading parallel computer research project at the time), and worked at the Hebrew University of Jerusalem in , before joining IBM. Marc Snir was a major contributor to the design of the Message Passing Interface that is now almost universally used to code scalable parallel applications. He has co-authored two books and has published over 100 papers and given many presentations. His research has spanned over the years theoretical computer science, the design of parallel computers, parallel algorithms and tools, libraries and programming environments for parallel processing. Marc Snir is ACM Fellow and IEEE Fellow. He was co-chair of a recent NRC study on the Future of Supercomputing, member of an NRC panel on NASA's PRT program, and member of a panel on High Performance Computing for the National Security Community. He is on the Board of the Computing Research Association. Dr. Mary Louise Soffa, University of Virginia

11 Page 11 of 16 玛 丽 路 易 丝 苏 菲 博 士 弗 吉 尼 亚 大 学 苏 菲 教 授 拥 有 数 学 学 士 和 硕 士 学 位 及 计 算 机 科 学 博 士 学 位 1977 至 2004 年 间, 苏 菲 教 授 在 匹 兹 堡 大 学 担 任 计 算 机 科 学 教 授 其 间 从 1991 至 1996 年 她 还 担 任 匹 兹 堡 大 学 文 理 学 院 研 究 生 院 院 长 2004 年 她 加 入 弗 吉 尼 亚 大 学 计 算 机 科 学 系, 享 受 Owen T. Cheatham 教 授 津 贴, 并 任 系 主 任 1999 年, 苏 菲 教 授 获 得 克 林 顿 总 统 授 予 的 杰 出 科 学 数 学 和 工 程 教 师 总 统 奖 同 年, 她 被 推 选 为 美 国 计 算 机 协 会 (ACM) 会 士, 又 于 2003 年 被 选 为 女 童 军 (Girl Scout) 杰 出 妇 女 她 在 计 算 研 究 协 会 (CRA) 理 事 会 任 职 达 10 年 之 久 目 前 她 还 是 计 算 研 究 协 会 妇 女 分 部 (CRA-Woman) 的 成 员 该 分 部 旨 在 关 注 和 提 升 妇 女 在 计 算 机 科 学 和 工 程 领 域 中 的 地 位 苏 菲 教 授 曾 是 ACM 软 件 兴 趣 组 和 编 程 语 言 兴 趣 组 (SIGPLAN) 执 行 委 员 会 委 员 除 此 之 外 她 还 担 任 过 十 多 个 学 术 会 议 的 大 会 主 席, 组 织 委 员 会 主 席 或 成 员 2006 年 5 月 即 将 在 上 海 召 开 的 软 件 工 程 国 际 会 议 上, 苏 菲 博 士 将 担 任 组 织 委 员 会 共 同 主 席 苏 菲 博 士 在 许 多 学 术 会 议 和 大 学 作 过 精 彩 的 演 讲, 其 中 包 括 第 五 届 高 质 软 件 国 际 会 议 编 译 程 序 构 造 会 议 静 态 分 析 研 讨 会 伊 利 诺 伊 大 学 马 里 兰 大 学 圣 母 大 学 石 溪 大 学 及 密 西 根 大 学 等 苏 菲 教 授 的 研 究 兴 趣 包 括 编 译 程 序 优 化 软 件 工 程 程 序 分 析 程 序 调 试 测 试 工 具 软 件 等 她 已 有 140 多 篇 学 术 论 文 在 期 刊 会 议 中 发 表, 其 中 多 篇 学 术 论 文 获 得 了 最 佳 论 文 奖 20 年 中 她 最 有 影 响 力 的 40 篇 论 文 之 一 即 将 发 表 在 程 序 语 言 设 计 和 实 现 会 议 上 迄 今 为 止, 她 指 导 了 共 23 名 博 士 生, 其 中 许 多 在 一 流 的 科 研 高 校 任 职, 包 括 加 州 大 学 伯 克 利 分 校 乔 治 亚 理 工 学 马 里 兰 大 学 亚 利 桑 那 大 和 德 拉 威 尔 大 学 等 苏 菲 博 士 Mary Lou Soffa received her B.S. and M.S. in Mathematics and her Ph.D. in Computer Science. From 1977 to 2004, she was a Professor of Computer Science at the University of Pittsburgh. She served as the Dean of Graduate Studies in the College of Arts and Sciences at the University of Pittsburgh from 1991 to In 2004, she moved to the Department of Computer Science at the University of Virginia, where is the Owen T. Cheatham Professor and Department Chair of the Computer Science Department at the University of Virginia. In 1999, she received the Presidential Award for Excellence in Science, Mathematics and Engineering Mentoring, given by the President Clinton. She was elected an ACM Fellow in 1999 and selected as a Girl Scout Woman of Distinction in She served for ten years on the Board of the Computing Research Association (CRA) and currently is a member of CRA-W, the committee on the status of women in computer science and engineering of the Computing Research Association. She has served on the Executive Committees of both ACM SIGSOFT and SIGPLAN as well as conference chair, program chair or program committee member of many conferences. Currently, she is the program Co-chair for the International Conference on Software Engineering to be held in Shanghai, China in May She has been a distinguished speaker at a number of conferences and universities including the Fifth International Conference on Quality Software, Compiler Construction Conference, Static Analysis Symposium, University of Illinois, the University of Maryland, Notre Dame, Stony Brook, and the University of Michigan. Her research interests include compilers, optimizations, software engineering, program analysis, and software tools for debugging and testing programs. She has published over 140 papers in journals and conferences. Her papers have received a number of best paper awards as well one of the 40 most influential papers in 20 years to appear in the Programming Language Design and Implementation Conference. She has directed 23 Ph.D. students to completion. Her former Ph.D. students are professors in major universities including the University of California at Berkeley, Georgia Tech, the University of Maryland, the University of Arizona and the University of Delaware. Dr. Gurindar Singh Sohi, University of Wisconsin, Madison 奎 因 达 辛 格 索 易 博 士 威 斯 康 辛 大 学 麦 迪 逊 分 校 索 易 教 授 在 伊 里 诺 伊 大 学 获 得 电 子 与 计 算 机 工 程 专 业 博 士 学 位, 自 1985 年 起 一 直 在 威 斯 康 辛 大 学 麦 迪 逊 分 校 任 教 目 前 他 是 计 算 科 学 系 主 任 兼 教 授

12 Page 12 of 16 索 易 教 授 的 主 要 研 究 方 向 是 高 性 能 计 算 机 系 统 的 设 计 他 参 与 发 表 的 论 文 与 拥 有 的 专 利 不 仅 影 响 了 业 内 科 研 工 作 者, 而 且 推 动 了 商 用 微 处 理 器 的 研 发 在 他 的 一 篇 题 为 用 于 高 性 能 可 中 断 流 水 处 理 器 的 指 令 发 送 逻 辑 的 论 文 中 ( 发 表 于 1987 年 国 际 计 算 机 体 系 结 构 研 讨 会 ISCA), 他 提 出 了 一 个 崭 新 的 模 型, 描 述 支 持 动 态 调 度 及 精 确 中 断 的 处 理 器, 该 模 型 已 被 一 些 微 处 理 器 生 产 商 广 泛 采 纳 使 用 此 外, 共 有 120 多 个 美 国 专 利 引 用 过 这 篇 论 文 以 及 它 在 1990 年 3 月 发 表 在 IEEE 计 算 机 通 讯 的 期 刊 版 本 索 易 教 授 的 另 一 篇 论 文. 可 用 于 超 级 计 算 器 的 宽 带 数 据 存 储 系 统 ( 发 表 于 1991 年 编 译 器 和 操 作 系 统 系 统 结 构 支 持 研 讨 会 (ASPLOS)). 提 出 的 非 阻 塞 缓 冲 概 念 在 很 大 程 度 上 促 进 了 高 端 微 处 理 器 从 阻 塞 型 到 非 阻 塞 型 的 转 换 90 年 代 早 期, 索 易 教 授 还 分 别 在 其 两 篇 国 际 计 算 机 体 系 结 构 研 讨 会 (ISCA) 论 文 中 提 出 了 多 标 量 处 理 器 概 念 以 及 线 程 间 推 测 方 法 ( 分 别 为 1992 年 的 通 过 可 扩 展 的 窗 口 分 割 技 术 实 现 高 致 密 的 并 行 和 1995 年 的 多 标 量 处 理 器 ) 其 中 进 程 间 推 测 技 术 及 其 变 种 仍 是 当 前 计 算 机 体 系 结 构 领 域 非 常 活 跃 的 研 究 方 向 之 一 1997 年, 索 易 教 授 在 其 另 一 篇 名 为 数 据 相 关 性 的 动 态 推 测 与 同 步 的 ISCA 论 文 中 提 出 对 相 关 内 存 进 行 推 测 的 方 法, 该 技 术 已 被 用 于 Alpha 处 理 器 的 设 计, 许 多 其 他 处 理 器 也 正 在 考 虑 使 用 它 同 时 发 表 的 还 有 一 篇 名 为 动 态 的 指 令 重 用 的 论 文, 其 中 提 出 的 指 令 重 用 概 念 已 成 为 另 一 个 热 门 的 研 究 领 域 索 易 教 授 与 工 业 界 有 着 频 繁 的 联 系 多 年 来, 他 不 断 与 各 界 体 系 结 构 专 家 交 流 研 究 成 果, 在 众 多 国 际 知 名 的 微 处 理 器 公 司 的 设 计 组 发 表 演 讲, 其 中 包 括 DEC,HaL, 惠 普,IBM, 英 特 尔,MIPS, 摩 托 罗 拉,SGI 与 Sun Microsystems 索 易 教 授 负 责 编 辑 了 国 际 计 算 机 体 系 结 构 研 讨 会 之 25 年 论 文 选 集, 该 书 已 由 美 国 计 算 机 协 会 (ACM) 出 版 发 行 此 外, 他 还 和 马 克 希 尔 (Mark Hill), 诺 曼 焦 地 (Norm Jouppi) 合 作 编 辑 了 由 Morgan Kaufmann 出 版 发 行 的 计 算 机 系 统 结 构 读 物 一 书 迄 今 为 止, 索 易 教 授 共 指 导 了 13 个 博 士 生, 其 中 许 多 在 一 流 科 研 高 校 供 职, 包 括 伊 里 诺 伊 大 学 马 里 兰 大 学 密 西 根 大 学 宾 夕 法 尼 亚 大 学 普 渡 大 学 多 伦 多 大 学 等 他 们 中 有 六 位 曾 经 获 得 过 美 国 国 家 科 学 基 金 会 (NSF) 的 杰 出 成 就 奖, 一 位 曾 获 得 了 斯 隆 研 究 奖 金 (Sloan) 目 前, 索 易 教 授 所 带 领 的 研 究 小 组 仍 在 为 下 一 代 微 处 理 器 的 创 新 发 明 进 行 着 孜 孜 不 倦 的 研 究, 其 中 包 括 对 推 测 型 多 线 程 的 模 型 研 究 近 似 编 程 值 传 递 的 预 测 芯 片 多 处 理 等 由 于 其 " 在 高 频 指 令 输 出 处 理 器 和 指 令 级 并 行 研 究 中 的 开 创 性 贡 献 ", 索 易 教 授 获 得 了 1999 年 度 美 国 计 算 机 协 会 计 算 机 体 系 结 构 兴 趣 组 (ACM SIGARCH) 的 莫 里 斯 威 尔 克 斯 奖 彰 (Maurice Wilkes) 1997 年 他 还 获 得 了 威 斯 康 辛 大 学 " 维 纳 斯 (Vilas)" 奖 以 及 2000 年 的 WARF,Kellett Mid-Career 教 授 研 究 奖 索 易 教 授 同 时 还 是 美 国 计 算 机 协 会 (ACM) 和 电 气 电 子 工 程 师 学 会 (IEEE) 的 会 士 Gurindar (Guri) Sohi received a Ph.D in Electrical and Computer Engineering from the University of Illinois, and has been a faculty member at the University of Wisconsin-Madison since He is currently a Professor in, and the Chair of, the Computer Sciences department. Sohi's research has been in the design of high-performance computer systems. He has co-authored several papers and patents that have influenced both researchers and commercial microprocessors. His paper "Instruction Issue Logic for High-Performance, Interruptible Pipelined Processors" (in ISCA 1987) articulated a model for a dynamically-scheduled processor supporting precise exceptions, a model that was widely adopted by several microprocessor manufacturers. (This paper, and the journal version in IEEE Trans. on Computers, March 1990, have been referenced by over 120 U.S. patents. His paper "High Bandwidth Data Memory Systems for Superscalar Processors" (in ASPLOS 1991) argued for non-blocking (or lockup-free) caches, and was instrumental in influencing high-end microprocessors to switch from blocking to non-blocking caches. In the early 1990s he proposed the concept of multiscalar processors and thread-level speculation in his papers "The Expandable Split Window Paradigm for Exploiting Fine-Grain Parallelism" (in ISCA 1992) and "Multiscalar Processors" (in ISCA 1995). Thread-level speculation and its variants are currently one of the most active areas of research in computer architecture. His paper "Dynamic Speculation and Synchronization of Data Dependences" (in ISCA 1997) introduced the idea of memory dependence prediction, an idea that was used in the Alpha processor designs and is being considered by others. His paper "Dynamic Instruction Reuse" (in ISCA 1997) proposed the concept of instruction reuse, another area of active research. Sohi has interacted heavily with industry. Over the years he has discussed his research with architects and given talks in design groups at most of the leading microprocessor manufacturers, including Digital Equipment, HaL, Hewlett-Packard, IBM, Intel, MIPS, Motorola, Silicon Graphics, and Sun Microsystems. He edited "25 Years of the International Symposium on Computer Architecture - Selected Papers" published by ACM, and recently co-edited (with Mark Hill and Norm Jouppi) "Readings in Computer Architecture" published by Morgan Kaufmann Publishers. Sohi has graduated 13 Ph.D students, many of whom currently hold academic positions at leading research universities (Illinois, Maryland, Michigan, Pennsylvania, Purdue, and Toronto). They include six winners of NSF CAREER awards and a winner of a Sloan Research Fellowship. He continues to lead a research group investigating different models for speculative multithreading, approximate programs, value communication prediction, chip multiprocessing, and other innovations for future microprocessors. He received the 1999 ACM SIGARCH Maurice Wilkes award "for seminal contributions in the areas of high issue rate processors and instruction level parallelism". At the University of Wisconsin he was selected as a Vilas Associate in 1997 and won the WARF Kellett Mid-Career Faculty Researcher award in He is a Fellow of the ACM and a Fellow of the IEEE. Dr. Valerie Elaine Taylor, Texas A&M University

13 Page 13 of 16 维 勒 莉 依 莲 泰 勒 博 士 得 克 萨 斯 A&M 大 学 泰 勒 教 授 分 别 于 1985 和 1986 年 在 普 渡 大 学 获 得 电 子 和 计 算 机 工 程 学 士 和 硕 士 学 位, 并 于 1991 年 在 加 州 大 学 伯 克 利 分 校 获 得 电 子 工 程 和 计 算 机 科 学 博 士 学 位 1991 至 2002 年 间, 泰 勒 教 授 任 职 于 西 北 大 学 电 子 和 计 算 机 工 程 系 2003 年 1 月, 泰 勒 教 授 加 入 得 克 萨 斯 A&M 大 学, 担 任 德 怀 特. 工 程 学 院 计 算 机 科 学 系 主 任 目 前 她 还 是 Royce E. Wisenbaker Professorship II 讲 座 教 授 她 的 主 要 研 究 方 向 是 计 算 机 体 系 结 构 和 高 性 能 计 算, 特 别 是 分 布 式 系 统 的 网 状 分 割, 并 行 和 分 布 式 应 用 的 性 能 研 究 等 泰 勒 教 授 已 经 发 表 了 80 多 篇 学 术 论 文 由 于 其 突 出 的 研 究 和 领 导 才 能, 泰 勒 博 士 获 得 过 许 多 奖 励, 其 中 包 括 :2002 年 美 国 电 气 电 子 工 程 师 学 会 (IEEE) 授 予 的 Harriet B. Rigas 奖 章, 用 于 奖 励 为 工 程 学 科 教 育 作 出 过 杰 出 贡 献 的 女 性 ;2002 年 加 州 大 学 伯 克 利 分 校 优 秀 青 年 工 科 校 友 奖 ;2002 年 为 奖 励 促 进 计 算 领 域 多 样 化 的 Nico Habermann 奖 ; 以 及 2005 年 为 奖 励 学 术 科 普 和 多 样 化 计 算 的 Tapia 突 出 成 就 奖 泰 勒 博 士 是 美 国 计 算 机 协 会 (ACM) 会 员,IEEE 计 算 机 科 学 分 会 资 深 会 员 Valerie E. Taylor earned her B.S. in Electrical and Computer Engineering and M.S. in Computer Engineering from Purdue University in 1985 and 1986, respectively, and a Ph.D. in Electrical Engineering and Computer Science from the University of California, Berkeley, in From , Dr. Taylor was a member of the faculty in the Electrical and Computer Engineering Department at Northwestern University. Dr. Taylor joined the faculty of Texas A&M University as Head of the Dwight Look College of Engineering's Department of Computer Science in January of 2003, and is, also, currently a holder of the Royce E. Wisenbaker Professorship II. Her research interests are in the areas of computer architecture and high performance computing, with particular emphasis on mesh partitioning for distributed systems and the performance of parallel and distributed applications. She has authored or co-authored over 80 papers in these areas. Dr. Taylor has received numerous awards for distinguished research and leadership, including the 2002 IEEE Harriet B. Rigas Award for woman with significant contributions in engineering education, the 2002 Outstanding Young Engineering Alumni from the University of California at Berkeley, the 2002 Nico Habermann Award for increasing the diversity in computing, and the 2005 Tapia Achievement Award for Scientific Scholarship, Civic Science, and Diversifying Computing. Dr. Taylor is a member of ACM and Senior Member of IEEE-CS. Dr. Bryant W. York, Portland State University Professor of Computer Science 布 赖 恩 特 约 克 博 士 波 特 兰 州 立 大 学 计 算 机 科 学 教 授 约 克 博 士 曾 获 美 国 布 兰 迪 斯 大 学 数 学 学 士 学 位 麻 省 理 工 学 院 管 理 学 硕 士 学 位, 以 及 马 萨 诸 塞 大 学 阿 默 斯 特 分 校 计 算 机 科 学 硕 士 和 博 士 学 位 在 工 业 界, 他 曾 就 职 于 加 州 硅 谷 的 IBM 实 验 室 和 数 字 设 备 公 司 (DEC) 人 工 智 能 技 术 中 心 在 学 术 界, 他 应 聘 于 美 国 波 特 兰 州 立 大 学 计 算 机 科 学 系 担 任 教 授 ; 曾 任 美 国 西 北 大 学 计 算 机 科 学 院 科 研 主 管 和 副 教 授 ( ), 以 及 波 士 顿 大 学 副 教 授 ( ) 在 他 被 借 调 到 美 国 国 家 科 学 基 金 会 (NSF) 担 任 项 目 官 员 期 间 (1990 年 到 1991 年 ), 他 同 时 在 国 家 标 准 与 技 术 研 究 院 (NIST) 计 算 与 应 用 数 学 中 心 担 任 客 座 学 者, 继 续 从 事 并 行 计 算 方 向 的 研 究 工 作 约 克 教 授 的 科 研 著 作 涉 及 到 计 算 机 科 学 的 好 几 个 相 关 领 域, 包 括 计 算 机 视 觉 专 家 系 统 软 件 工 程 残 疾 人 计 算 机 辅 助 并 行 计 算 检 晶 仪 计 算 计 算 物 理, 以 及 神 经 网 络 高 级 科 学 计 算 中 的 并 行 算 法 是 他 最 主 要 的 研 究 方 向 他 的 大 部 分 课 题 都 专 注 于 研 究 并 行 机 上 的 代 数 与 组 合 计 算 长 期 以 来, 约 克 教 授 的 研 究 得 到 了 美 国 有 关 国 家 部 委 基 金 会 和 公 司 企 业 的 大 力 支 持, 包 括 NSF 国 家 航 空 航 天 局 (NASA) 国 防 高 级 研 究 计 划 局 (DARPA) 空 军 科 学 研 究 局 (AFOSR), 和 数 字 设 备 公 司 等 约 克 教 授 还 在 数 家 公 司 担 任 技 术 顾 问, 包 括 数 字 设 备 公 司 通 用 动 力 公 司 应 用 逻 辑 系 统 公 司 达 纳 法 伯 癌 症 研 究 所 特 斯 阿 特 综 合 技 术 公 司 和 石 华 科 学 有 限 公 司 等 1992 年 到 1998 年, 约 克 教 授 受 聘 于 NSF 计 算 机 信 息 科 学 与 工 程 司 顾 问 委 员 会 1991 年 到 1994 年, 他 是 NSF 社 会 行 为 与 经 济 科 学 司 专 家 顾 问 委 员 约 克 教 授 活 跃 于 各 种 专 业 学 会 活 动, 是 数 家 专 业 学 会 的 成 员, 包 括 美 国 计 算 机 协 会 (ACM) 美 国 电 气 电 子 工 程 师 协 会 计 算 机 科 学 分 会 (IEEE-CS) 美 国 工 业 与 应 用 数 学 协 会 (SIAM) 美 国 人 工 智 能 协 会 (AAAI), 以 及 美 国 科 学 促 进 会 (AAAS) 他 相 继 担 任 ACM 教 育 委 员 会 委 员 (1991 年 年 ) 和 公 共 政 策 委 员 会 委 员 (1992 年 到 1998 年 ) 1994 年, 他 成 为 该 协 会 少 数 族 裔 委 员 会 主 席, 并 于 次 年 5 月 发 起 了 第 一 届 由 NSF 资 助 的, 以 促 进 少 数 群 体 参 与 计 算 科 学 研 究 为 主 旨 的 研 讨 会 约 克 教 授 还 曾 是 1997 年 硅 谷 召 开 的 超 级 计 算 大 会 教 育 程 序 委 员 会 共 同 主 席 1998 年, 由 于 他 为 计 算 科 学 领 域 内 少 数 族 裔 发 展 所 做 出 的 突 出 贡 献, 他 被 授 予 了 A. Nico Habermann 奖 2001 年, 他 又 成 为 了 首 位 Richard A. Tapia 学 术 研 究 杰 出 成 就 奖 的 获 得 者 1991 年 和 1997 年, 他 两 次 荣 获 计 算 机 信 息 科 学 与 工 程 协 会 (ADMI) 颁 发 的 少 数 族 裔 贡 献 奖 约 克 教 授 已 被 当 选 为 " 计 算 多 样 化 联 盟 (CDC)" 的 下 任 主 席 (2006) 该 联 盟 由 美 国 计 算 机 协 会 (ACM) 计 算 研 究 协 会 (CRA), 以 及 美 国 电 气 电 子 工 程 师 学 会 计 算 机 科 学 分 会 (IEEE-CS) 共 同 发 起 成 立 他 同 时 还 当 选 为 下 任 美 国 科 学 促 进 会 信 息 计 算 与 通 讯 分 部 主 席 (2006) 他

14 Page 14 of 16 曾 两 度 被 任 命 为 CRA 董 事 会 成 员 (2002 年 2 月 到 2003 年,2005 年 6 月 到 2006 年 ), 最 近 又 连 任 了 下 一 个 三 年 任 期 (2006 年 年 ) 2002 年 5 月 至 今, 他 一 直 担 任 美 国 科 学 基 金 会 计 算 机 信 息 科 学 与 工 程 司 顾 问 委 员 2001 年, 约 克 教 授 被 评 为 全 美 黑 人 50 大 杰 出 科 技 人 才 2006 年, 美 国 黑 人 工 程 师 与 信 息 技 术 杂 志 又 将 他 评 为 全 美 黑 人 100 大 杰 出 科 技 人 才 Dr. York's educational background includes the A.B. in mathematics from Brandeis University, the M.S. in management from MIT, and the M.S. and Ph.D. in computer science from the University of Massachusetts - Amherst. He has held industrial research positions at the IBM Research Labs in San Jose, CA and at Digital Equipment Corporation's Artificial Intelligence Technology Center in Hudson, Massachusetts. He is currently professor in the Computer Science Department of Portland State University; formerly associate professor and research director for the College of Computer Science at Northeastern University ( ); and formerly associate professor of computer science at Boston University ( ). While on-leave as a program officer at NSF ( ) he was also a guest researcher at the Center for Computing and Applied Mathematics at the National Institute of Standards and Technology, where he continued his research in parallel computation. Dr. York has research publications in several areas of computers science, including computer vision, expert systems, software engineering, computer assistance for persons with disabilities, parallel computation, crystallographic computations, computational physics, and neural networks. Dr. York's primary research interest is in the development of parallel algorithms for advanced scientific computations. Most of this work relates to the development of algebraic and combinatorial computations on parallel machines. NSF, NASA, DARPA, AFOSR and Digital Equipment Corporation have supported his research over the years. In addition, Dr. York has consulted for several corporations including Digital Equipment Corporation, General Dynamics, Applied Logic Systems, Dana Farber Cancer Institute, Tesseract Technologies Inc., and Onyx Sciences Corp. Dr. York was ( ) a member of the Advisory Committee for the Computer Information Science and Engineering Directorate of the National Science Foundation. He was a member of the Advisory Panel for the Ethics, Values, and Society program within the Social Behavioral and Economic Sciences directorate of the National Science Foundation from 1991 through He is a member of several professional organizations including ACM, IEEE-CS, SIAM, AAAI, and AAAS. He was also a member of the ACM Education Board ( ) and a member of the ACM U. S. Public Policy Committee ( ). He was the 1994 chair of the committee on minorities of the ACM and he organized the first NSF-sponsored workshop on increasing participation of minorities in the computing disciplines (May 1995). Dr. York was cochair of the Education Program of the SC97 (formerly Supercomputing 97) Conference held in San Jose, CA in November In 1998 He won the A. Nico Habermann Award for service to underrepresented minorities in computing and in 2001 he won the first Richard A. Tapia Achievement Award for Scientific Scholarship, Civic Science and Diversifying Science. Dr. York has won the ADMI award for service to minority institutions twice (1991, 1997). He is chair-elect (2006) of the Coalition to Diversify Computing (CDC), jointly funded by the Association for Computing Machinery (ACM), the Computing Research Association (CRA) and the Institute for Electrical and Electronic Engineers' Computer Society (IEEE-CS), as well as chair-elect (2006) of the Section on Information, Computing and Communications of AAAS. He has been twice appointed to the Board of Directors of the Computing Research Association (Feb , June ) and recently elected to a three-year term ( ). He was re-appointed to the advisory committee of the National Science Foundation's Computer and Information Sciences Directorate (May present). In 2001 Dr. York was selected as one of the 50 most important Blacks in technology and in 2006 he was selected as one of the 100 most important Blacks in technology by the editors of US Black Engineer and Information Technology magazine. Dr. Xiaodong Zhang, Ohio State University and Engineering 张 晓 东 博 士 俄 亥 俄 州 立 大 学 计 算 机 科 学 教 授, 计 算 机 科 学 与 工 程 系 主 任 张 晓 东 教 授 是 俄 亥 俄 州 立 大 学 的 Robert M. Critchfield 讲 座 教 授, 并 担 任 计 算 机 科 学 与 工 程 系 主 任 1997 年 到 2005 年 间, 他 在 威 廉 玛 丽 学 院 (College of William and Mary) 任 教 授 讲 座 教 授 及 计 算 机 科 学 系 主 任 自 1992 年 以 来, 在 张 晓 东 教 授 组 建 的 高 性 能 计 算 机 及 软 件 实 验 室 里, 他 指 导 了 四 十 多 名 研 究 生 博 士 生 和 访 问 学 者 张 晓 东 教 授 在 高 性 能 和 分 布 式 系 统 有 着 广 泛 的 研 究 兴 趣 和 一 系 列 课 题 成 果 他 主 持 研 究 的 部 分 成 果 已 经 或 正 在 被 应 用 到 商 业 和 开 放 系 统 软 件 中, 直 接 影 响 着 人 们 的 日 常 计 算 操 作 比 如, 该 实 验 室 研 究 的 存 储 地 址 空 间 的 转 换 方 法 已 被 使 用 在 Sun Ultra Space 商 业 处 理 器 上 和 Sun 的 双 核 处 理 器 上 ;Linux 操 作 系 统 也 正 式 采 用 了 他 主 持 研 制 的 几 个 存 储 管 理 新 技 术 在 2001 到 2004 年 间, 张 晓 东 教 授 在 美 国 国 家 基 金 会 (NSF) 担 任 高 性 能 计 算 与 系 统 分 部 主 任 他 目 前 是 美 国 电 气 电 子 工 程 师 学 会 并 行 和 分 布 式 系 统 期 刊 (IEEE Transactions on PDS) 的 副 主 编, 美 国 电 气 电 子 工 程 师 学 会 计 算 机 期 刊 (IEEE Transactions on Computers) 美 国 电 气 电 子 工 程 师 学 会 Micro 双 月 刊 和 并 行 和 分 布 式 计 算 学 报 (Journal of Parallel and Distributed Computing) 的 编 委 多 年 在 美 国 旅 居 和 工 作 的 张 晓 东 教 授 每 年 都 频 繁 往 返 于 大 洋 两 岸 从 事 科 技 交 流 与 合 作 他 在 中 国 国 家 自 然 科 学 基 金 会 资 助 的 龙 星 讲 座 计 划 委 员 会 与 中 科 院 计 算 所 的 闵 应 骅 教 授 共 同 担 任 主 任 龙 星 计 划 委 员 会 每 年 组 织 一 批 在 美 国 学 术 界 学 有 所 成 的 中 国 教 授 在 中 国 各 地 大 学 系 统 讲 授 多 门 研 究 生 课 程 他 还 担 任 中 国 计 算 机 学 报 英 文 版 副 主 编 并 受 聘 为 中 国 科 学 院 海 外 评 审 专 家 张 晓 东 教 授 于 1982 年 在 北 京 工 业 大 学 获 电 子 工 程 学 士 学 位,1989 年 在 美 国 科 罗 拉 多 大 学 波 德 分 校 获 计 算 机 博 士 学 位

15 Page 15 of 16 Xiaodong Zhang is the Robert M. Critchfield Professor in Engineering, and Chairman of the Department of Computer Science and Engineering at the Ohio State University. From 1997 though 2005, he served as professor, guest professor and chair of the Computer Science Department at the College of William and Mary. Since 1992, he has established and directed the High Performance Computing and Software Laboratory where he has supervised over 40 graduate students (both MS and Ph.D), postdocs, and visiting scholars. His research interests cover a wide spectrum in the areas of high performance and distributed systems. Several technical innovations and research results from his team have been adopted or being developed in commercial products and open source systems with direct impact to our daily computing operations, including the permutation memory interleaving technique first in the Sun MicroSystems' UltraSPARC IIIi processor and then in the Sun's dual-core Gemini Processor, the token thrashing protection mechanism and the Clock-Pro page replacement algorithm for memory management in the Linux Kernel. Xiaodong Zhang was the Program Director of Advanced Computational Research at the National Science Foundation, He is the associate Editor-in-Chief of IEEE Transactions on Parallel and Distributed Systems, and is also serving on the Editorial Boards of IEEE Transactions on Computers, IEEE Micro, and Journal of Parallel and Distributed Computing. He is an organizer and a lecturer of the Dragon Star Lecture Program offering advanced research classes of computer science in many Chinese universities for thousands of graduate students every year. Xiaodong Zhang is an associate-editor-in-chief of the Journal of Computer Science and Technology (in English) (ZhongGuo JiSuanJi XueBao Yingwen Ban), and Overseas Assessor of the Chinese Academy of Sciences (ZhongGuo KexueYuan Haiwai Pingshen Zhuan Jia). Xiaodong Zhang received his Ph.D. in Computer Science from the University of Colorado at Boulder in 1989, and his B.S. in Electrical Engineering from Beijing Polytechnic University in Dr. Wei Zhao, Texas A&M University, National Science Foundation Professor of Computer Science Senior Associate Vice President for Research of Texas A&M University Director of NSF Computer and Network Systems Division 赵 伟 博 士 得 克 萨 斯 A&M 大 学 计 算 机 科 学 教 授, 资 深 协 理 副 校 长 美 国 国 家 科 学 基 金 会 分 部 主 任 赵 伟 博 士 现 任 美 国 国 家 科 学 基 金 会 计 算 机 与 网 络 系 统 分 部 主 任 他 同 时 兼 任 美 国 得 克 萨 斯 A&M 大 学 计 算 机 科 学 教 授, 该 校 资 深 协 理 副 校 长, 主 管 科 研 工 作 赵 伟 于 1977 年 在 中 国 陕 西 师 范 大 学 物 理 系 完 成 大 学 本 科 教 育, 并 分 别 于 1983 和 1986 年 在 美 国 马 萨 诸 塞 大 学 阿 默 斯 特 分 校 获 得 计 算 机 与 信 息 科 学 的 硕 士 和 博 士 学 位 多 年 来, 赵 伟 博 士 先 后 执 教 于 陕 西 师 范 大 学 阿 默 斯 特 大 学 澳 大 利 亚 阿 德 莱 德 大 学 和 得 克 萨 斯 A&M 大 学 作 为 美 国 电 气 电 子 工 程 师 协 会 (IEEE) 的 会 士, 赵 伟 教 授 在 分 布 式 计 算 实 时 操 作 系 统 计 算 网 络 和 信 息 与 网 络 安 全 等 研 究 领 域 做 出 了 突 出 的 贡 献 他 所 领 导 的 科 研 团 队 获 得 了 多 种 荣 誉 与 奖 励, 其 中 包 括 IEEE 分 布 式 计 算 系 统 国 际 会 议 颁 发 的 最 佳 论 文 奖 IEEE 美 国 国 家 空 间 与 电 子 会 议 颁 发 的 最 佳 论 文 奖 和 美 国 国 防 高 级 研 究 计 划 局 (DARPA) 颁 发 的 技 术 转 让 奖 他 所 指 导 的 研 究 生 在 美 国 计 算 机 协 会 (ACM) 国 际 科 研 竞 赛 中 名 列 第 二 赵 伟 教 授 还 是 两 项 美 国 专 利 的 发 明 人 他 已 有 二 百 五 十 多 篇 论 文 在 各 种 期 刊 会 议 和 书 籍 中 发 表 赵 伟 博 士 负 责 组 建 了 " 得 克 萨 斯 A&M 大 学 信 息 安 全 中 心 " 并 担 任 其 第 一 任 中 心 主 任 该 中 心 被 美 国 国 家 安 全 局 评 为 " 优 秀 学 术 中 心 " 在 广 泛 的 高 等 教 育 管 理 与 科 研 管 理 领 域 内, 赵 伟 教 授 有 着 丰 富 的 经 历 在 担 任 得 克 萨 斯 A&M 大 学 计 算 机 科 学 系 系 主 任 期 间 ( ), 该 系 的 科 研 经 费 番 了 两 番, 该 系 本 科 教 育 在 全 美 教 育 排 名 调 查 当 中 跃 升 为 第 十 七 2001 年 至 今, 赵 伟 教 授 先 后 担 任 得 克 萨 斯 A&M 大 学 协 理 副 校 长 和 资 深 协 理 副 校 长, 主 管 该 校 多 个 重 要 科 研 部 门, 包 括 科 研 合 同 与 经 费 办 公 室 科 研 纪 检 办 公 室 国 土 安 全 综 合 中 心 以 及 " 美 国 爱 国 者 法 案 " 执 行 委 员 会 以 及 电 讯 与 信 息 技 术 研 究 所 赵 伟 教 授 还 积 极 参 与 并 组 织 各 种 专 业 活 动, 在 多 个 科 技 期 刊 担 任 编 委 他 现 任 IEEE 实 时 系 统 技 术 委 员 会 主 席, 并 担 任 过 十 多 个 国 际 学 术 会 议 的 主 席 和 总 主 席, 包 括 IEEE 实 时 技 术 及 应 用 大 会 IEEE 实 时 系 统 大 会 以 及 IEEE 分 布 式 计 算 系 统 国 际 会 议 20 世 纪 80 年 代 以 来, 在 成 千 上 万 来 自 中 国 的 学 者 当 中, 像 赵 伟 教 授 一 样 在 美 国 综 合 性 大 学 从 事 科 研 管 理, 并 在 美 国 联 邦 政 府 担 任 高 级 官 员 的 寥 寥 可 数 特 别 值 得 一 提 的 是, 赵 伟 教 授 还 积 极 组 织 和 推 动 中 美 两 国 间 的 科 研 与 教 育 交 流 活 动, 兼 任 多 项 公 职 他 是 中 美 龙 星 计 划 委 员 会 奠 基 首 位 主 任 上 海 交 通 大 学 电 子 信 息 学 院 海 外 顾 问 委 员 会 主 任 和 中 国 高 等 教 育 出 版 社 海 外 顾 问 委 员 会 主 任 ( 计 算 机 科 学 领 域 ) 他 同 时 还 担 任 陕 西 师 范 大 学 海 外 顾 问 中 国 科 学 通 报 执 行 副 主 编 以 及 中 国 多 所 大 学 的 客 座 及 名 誉 教 授 2005 年, 他 被 中 国 旅 美 科 技 协 会 授 予 终 身 成 就 奖 Wei Zhao is a Senior Associate Vice President for Research and a Professor of Computer Science at Texas A&M University. Effective January 2005, he is the Director for the Division of Computer and Network Systems in the National Science Foundation. He completed his undergraduate program in physics at Shaanxi Normal University, Xi'an, China, in He received his M.Sc. and Ph.D. degrees in Computer and Information Sciences at the University of Massachusetts at Amherst in 1983 and 1986, respectively. During his career, he has been a faculty member at Amherst College, the University of Adelaide, and Texas A&M University. As an IEEE Fellow, Wei Zhao has made significant contributions in distributed computing, real-time systems, computer networks, and cyber space security. His research group has been recognized by receiving various awards and prizes, including the outstanding paper award from the IEEE International Conference on Distributed Computing Systems, the best paper award from the IEEE National Aerospace and Electronics Conference, an award on technology transfer from the Defense Advanced Research Program Agency, and the 2nd prize in the international ACM student research contest. Dr. Zhao is an inventor for two U.S. patents and has published over 250 papers in journals, conferences, and book chapters. He is the founding director of the Texas A&M Center of Information Security and Assurance, which has been recognized as the Center of Academic Excellence in Information Assurance Education by the National Security Agency. Wei Zhao has had extensive administration experience in higher education and research management. At Texas A&M University, he served as the head of the

16 Page 16 of 16 Department of Computer Science in Texas A&M University between 1997 and During this period of time, the funding for sponsored research quadrupled and an undergraduate program was ranked the 17th in a national survey. Wei Zhao has successively served as the Associate Vice President for Research and Senior Associate Vice President for Research since In this capacity, he supervises research-related units including Offices of Sponsored Research and Compliance, the Integrated Center of Homeland Security, Task Force on the USA PATRIOT Act, and the Institute for Telecommunication and Information Technologies. Wei Zhao has also been active in professional services. He has served on editorial board of technical journals, including the IEEE Transactions on Computers and the IEEE Transactions on Parallel and Distributed Systems. He is the chair for the IEEE Technical Committee of Real-Time Systems. He has chaired more than ten international conferences including the IEEE Real-Time Technology and Applications Symposia, the IEEE Real-Time Systems Symposia, and the IEEE International Conference on Distributed Computing Systems. Since the 1980's, hundreds of thousands of Chinese students have come to United States to work and study. Among them, Wei Zhao is one of the few who have served as a senior research administrator in a large comprehensive university and a senior executive officer in federal government. Nevertheless, Dr. Zhao has actively engaged in various activities for education and research exchange with the People's Republic of China. He was the founding chair of US-China Dragon Star Committee, Overseas Advisory Committee for Shanghai Jiao Tong University Electronics and Information Technology College, and Overseas Advisory Committee for the Higher Education Press (in the field of Computer Science). He has served as Overseas Advisor for Shaanxi Normal University, Vice Executive Editor for Chinese Science Bulletin, and as guest and honorary professors for several universities. In 2005, he was awarded the life achievement award by the Chinese Association of Science and Technology (USA). Previous: Purpose of Trip Next: Itinerary Index Page Document last modified on May 17, 2006.