|
¨ 兰德尔. 布赖恩特 |
卡内基梅隆大学 计算机科学教授，计算机科学学院院长
|
|
¨ 丛京生 |
加州大学洛杉矶分校 计算机科学教授，计算机科学系主任
|
|
¨ 基思.安塞尔 .玛佐罗 |
加利福尼亚大学圣地亚哥分校 计算机科学与工程教授，计算机科学与工程系主任
|
|
¨ 玛莎.伊莉莎白 .玻莱克 |
密歇根大学 计算机科学与电气工程教授,电气工程与计算机科学系副主任，主管计算机科学与工程
|
|
¨ 黛布拉.理查森 |
加州大学欧文分校 信息学教授，唐纳德 . 布伦信息与计算机科学院院长
|
|
¨ 彼得.弗里曼 |
美国国家科学基金会 副会长，主管计算机信息科学及工程
|
|
¨ 弗雷德. 史蒂芬. 罗伯特 |
拉特格斯大学 数学教授，离散数学与理论计算机科学中心主任
|
|
¨ 马克.斯尼尔 |
伊里诺大学香槟分校 计算机科学教授，计算机科学系主任
|
|
¨ 玛丽.路易丝.苏菲 |
弗吉尼亚大学 计算机科学教授，计算机科学系主任
|
|
¨ 奎因达.辛格.索易 |
威斯康辛大学麦迪逊分校 计算机科学教授，计算机科学系主任
|
|
¨ 维勒莉.依莲.泰勒 |
得克萨斯A&M大学 计算机科学教授，计算机科学系主任
|
|
¨ 布赖恩特. 约克 |
波特兰州立大学 计算机科学教授
|
|
¨ 张晓东 |
俄亥俄州立大学 计算机科学教授，计算机科学与工程系主任
|
|
¨ 赵伟 |
美国国家科学基金会分部主任
得克萨斯A&M大学
|
Randal E. Bryant
Carnegie Mellon University
Professor of Computer Science, Dean of
School of Computer Science
Jingsheng Jason Cong
University of California, Los Angeles
Professor of Computer Science, Chair of Department of Computer Science
Keith Ansel Marzullo
University of California, San Diego
Professor of Computer Science and Engineering,
Chair of Department of Computer Science and Engineering
Martha Elizabeth Pollack
University of Michigan
Professor of Computer Science and Electrical Engineering,
Associate Chair for Computer Science and Engineering
Debra J. Richardson
University of California, Irvine
Professor of Informatics, Dean of Donald Bren School of Information and Computer
Science
Peter Freeman
National Science Foundation
Assistant Director for the Computer and Information Science and Engineering
Directorate
Fred Stephen Roberts
Rutgers University
Professor of Mathematics, Director of Center for Discrete Mathematics and
Theoretical Computer Science
Marc Snir
University of Illinois, Urbana Champaign
Professor of Computer Science, Chair of Department of Computer Science
Mary Louise Soffa
University of Virginia
Professor of Computer Science, Chair of Department of Computer Science
Gurindar Singh Sohi
University of Wisconsin, Madison
Professor of Computer Science, Chair of Department of Computer Science
Valerie Elaine Taylor
Texas A&M University
Professor of Computer Science, Chair of Department of Computer Science
Bryant W. York
Portland State University
Professor of Computer Science
Xiaodong Zhang
Ohio State University
Professor of Computer Science, Chair of Department of Computer Science and
Engineering
Wei Zhao
Professor of Computer Science
Senior Associate Vice President for Research of Texas A&M Univ.
Director of NSF Computer and Network Systems Division
卡内基梅隆大学
兰德尔. 布赖恩特是卡内基梅隆大学计算机科学院院长。布赖恩特从助理教授开始, 在卡内基梅隆大学从事教学研究达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 1981. He was on the faculty at Caltech
from 1981 to 1984. He spent the 1990-1991 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.
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 1995. 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 1989. 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 1998. 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 2000. He was elected to an IEEE Fellow in 2000. Dr. Cong served on the ACM SIGDA Advisory Board from 1993 1999. He served
on the Board of Governors of the IEEE Circuits and Systems Society during 2001 -
2004. 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 2003. Currently, he serves as the Chief
Technologist Advisor of Magma. He is also a Guest Professor of Peking University
since 2000. 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
(1993-2003), UC San Diego, La Jolla, CA; (1992-1993) Member of the Board and
(1988-1992) Vice-President, ISIS Distributed Systems, Ithaca, NY; Associate
Professor (1992-1993) and Assistant Professor (1986-1992), Computer Science
Department, Cornell University, Ithaca, NY; (1984-1986) 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. 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 2000. 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 (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 2004.
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.
理查森博士，现任加州大学欧文分校唐纳德
.
布伦信息与计算机科学院院长，信息学教授。她相信，只有努力提高学院排名并加强建设基础设施，才能打造一个真正充满活力的学术研究机构，以满足本地社区与工业界的需求，并为全球经济做出贡献。为此，她投入了大量的时间和精力组建一流水平的教研计划，设计内容广泛的交叉学科课程，吸引最优秀的老师和学生。在理查森教授的努力下，信息与计算机科学院赢得了一个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 2000. Under her leadership, the department was promoted to the
first computer science school in University of California history in December
2002. She was named the Ted and Janice Smith Dean of the new school in January
2003. 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 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, 彼得
.
弗里曼 博士
美国国家科学基金会副会长，主管计算机信息科学及工程
弗里曼教授于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, 2002.
He was previously at Georgia Institute of
Technology as professor and founding Dean of the College of
Computing
since 1990. 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 1989-90 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 (1988-2002), 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.
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 1963. His research and
technical expertise has focused on software systems and their creation. His
earliest work (1961-63) 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 (1965-75). 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 (http://www.cra.org/reports/wits/cra.wits.html),
started an active group for Deans of IT& Computing, and published several papers
relative to future directions of the field.
拉特格斯大学
Dr. Jingsheng Jason Cong
University of California, Los Angeles
Professor of Computer Science, Chair of Department of Computer Science,
Co-Director of the VLSI CAD Laboratory
丛京生 博士
加州大学洛杉矶分校
计算机科学教授，计算机科学系主任，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年起，他还受聘于北京大学担任客座教授。
Dr. Keith Ansel Marzullo
University of California, San Diego
Professor of Computer Science and Engineering,
Chair of Department of Computer Science and Engineering 基思·
安塞尔·
玛佐罗 博士
加利福尼亚大学圣地亚哥分校
计算机科学与工程教授，计算机科学与工程系主任
玛佐罗教授1975年获西方学院物理学专业硕士学位，优等毕业生； 后获斯坦福大学应用物理专业硕士学位，
其导师为皮特. 斯拉教授；1984年获斯坦福大学电子工程专业博士学位， 其导师为苏珊.欧维奇教授。
2003年至今，玛佐罗任加利福尼亚大学圣地亚哥分校教授；1993年至2003年，加利福尼亚大学圣地亚哥分校副教授；
ISIS 分布式系统董事会成员（1992-1993） 、副主席（1988-1992）；康奈尔大学计算机系副教授（1992-1993）、
助理教授（1986-1992）；1984年至1986年，施乐公司(Xerox) 系统开发部主要成员，程序员。
玛佐罗教授的研究领域包括分布式计算原理及其在实时系统中的应用，特别是容错系统研究。
在拓展现有研究的基础上，他正在开创新的容错原理，并将其应用到现代实用系统中，包括网格服务、基于TCP的服务、
可承受从属失效的系统和广域服务。他当前正在从事两个主要研究课题：课题之一.Phonix，一个可应对因特网瘫痪
的端到端文件备份系统；课题之二为可用以检测与隔离被入侵路由器的链路状态路由选择协议.
的端到端文件备份系统；课题之二为可用以检测与隔离被入侵路由器的链路状态路由选择协议.
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. Debra J. Richardson
University of California, Irvine
Professor of Informatics, Dean of Donald Bren School of
Information and Computer Sciences
黛布拉·理查森 博士
加州大学欧文分校
信息学教授，唐纳德 . 布伦信息与计算机科学院院长
Assistant Director for the Computer and Information Science and Engineering
Directorate, NSF
Dr. Fred Stephen Roberts, Rutgers
University
Professor of Mathematics, Director of Center for Discrete Mathematics and
Theoretical Computer Science
弗雷德·
史蒂芬·罗伯特 博士