基于eip-cdio理念的计算科学课程体系设计-cse@hkust.ppt

EIP-CDIO理念的计算科学课程体系设计 谷德权 清华大学与汕头大学“下一代互联网技术联合实验室”主任 汕头大学教育部重点实验室研究主任 汕头大学电子工程系、计算机科学系讲座教授 学历 1992年获香港中文大学(CUHK)电子工程学士 1994 年获香港中文大学(CUHK)信息工程硕士学位 2000 年获美国柏克莱加州大学(UC Berkeley)电机工程哲学博士学位 博士导师: Prof. Shankar Sastry, Dean of Engineering, UC Berkeley 博士委员会主席: Prof. Alberto Sangiovanni-Vincentelli, Chief Technology Advisor of Cadence Design System, UC Berkeley 奖项 1994 年获得香港中文大学工程学院颁发卓越硕士论文奖 2005 年获得美国国家科学基金会颁发的Faculty Early Career (CAREER) Development 奖,得奖项目为 Computation Platform for the Design of Hybrid Systems 专业学会 电机及电子工程师学会(IEEE) 高级会员(Senior Member) 国际研究荣誉学会(Sigma Xi) 会员 专业顾问 Stanford Research Institute International, USA ASM Pacific, HK 现有资助项目 香港李嘉诚基金会及和记黄埔有限公司, 清华大学与汕头大学“下一代互联网技术联合实验室”, 国家自然科学基金(信息与数学领域交叉类项目), 嵌入式混合系统设计的基础理论研究 汕头大学工学院,个人起动基金 过去资助项目 National Science Foundation Faculty Early CAREER Development Program National Science Foundation Information Technology Research Center Program Department of Electrical Engineering and Computer Science, Vanderbilt University DARPA Information Technology Office Software Enabled Control (SEC) Program DARPA Infromation Technology Office Model Based Integration of Embedded Software (MoBIES) Program Embedded software defines physical behavior of complex systems BMW 745i Sedan there are more than 70 microprocessors the computation is embedded in the Transmission Electronic Control Unit (ECU), Engine ECU and more Boeing 777 1280 CPUs onboard 7 million lines of code Autonomous Vehicles networked embedded systems safety- and mission-critical  Feb 21–22, 2006, Science Park, Shatin, Hong Kong Jointly organized by Hong Kong Science and Technology Parks Corporation (HKSTP), Department of Automation and Computer-Aided Engineering, CUHK With support of Chess - UC Berkeley, ISIS - Vanderbilt UniversityESCHER, ESI - HKUST, Department of Computer Science - HKUST 科研合作 Gabor Karsai (Vanderbilt University) Janos Sztipanovits (Vanderbilt University) Shankar Sastry (UC Berkeley) Edward Lee (UC Berkeley) Tom Henzinger (UC