谷徳权/T. John Koo，中国科学院深圳先进技术研究院嵌入式软件系统研究中心主任、研究员。2000年获美国加州大学伯克利分校（University of California at Berkeley）电机工程哲学博士学位，1994年获香港中文大学信息工程哲学硕士学位，1992年获香港中文大学电子工程工程学士学位。1994年获得香港中文大学工程学院颁发的卓越硕士论文奖，2005 年获得美国国家科学基金会杰出青年教授奖（National Science Foundation Faculty Early Career (CAREER) Development Award）。现为国际电机及电子工程师学会（IEEE）高级会员（Senior Member）、国际计算机学会（ACM）专业会员及国际科学研究荣誉学会（Sigma Xi）会员。

　  1995-2003年间创建伯克利空中机器人（Berkeley Aerial Robots, BEAR）项目。1998年兼任加州硅谷史坦福国际研究所（Stanford Research Institute）顾问。2001年于美国宾夕法尼亚大学（University of Pennsylvania）任博士后研究员。2001至2002年间，担任美国加州大学伯克利分校电机工程与计算机科学学系客座教授及电子研究实验室研究员。2003年任教于美国范德堡大学（Vanderbilt University）电机工程与计算机科学系，担任嵌入式计算系统实验室主任及软件集成系统研究所（Institute of Software Integrated Systems）教授会员。2003年起担任美国加州大学伯克利分校CHESS（Center for Hybrid and Embedded Software Systems）的教授会员。2006年出任清华大学与汕头大学下一代互联网技术联合实验室主任、汕头大学教育部重点实验室研究主任、汕头大学与英特尔多核技术实验室主任，及受聘为汕头大学电子工程系、计算机科学系特聘讲座教授及数学系双聘教授、博士生导师。2007年，兼任香港ASM太平洋科技有限公司的研究顾问。

　  谷德权教授从事嵌入式系统相关的研发工作逾十多年，在美期间曾主持承担和参与多项美国国家科学基金、DARPA资助的大型及个人科研项目（包括Information Technology Research (ITR), Software-Enabled Control (SEC), Model-Based Integration of Embedded Systems (MoBIES)），并跟多间飞机和汽车公司及其设备供应商进行与嵌入式软件系统相关的科研合作，曾获邀出席多个由美国和欧盟政府机构举办的与高可信软件与系统（High Confidence Software and Systems, HCSS）及Cyber-Physical Systems (CPS)相关的国家级策略性专家研讨会。回国后，主持承担和参与国家自然科学基金会项目、国家科技部项目、广东省自然科学基金会项目以及李嘉诚基金会项目。曾任美国国家科学基金会评审委员和香港科研基金委员会海外评审委员。在国际主要刊物和会议发表论文共60余篇。

杨绍发，嵌入式软件系统研究室副研究员、博导。于1996年在广东奥林匹克学校（数学组）高中毕业后获颁新加坡教育部奖学金，并赴新加坡国立大学计算机科学系就读。分别于2000、2003、2006年获一等荣誉学士、硕士、博士学位。加入深圳先进技术研究院前先后在法国国家信息学与自动化研究院（INRIA）和联合国大学国际软件技术研究所（UNU-IIST，联合国直辖，设址于中国澳门）任博士后研究员。杨的研究方向包括离散与连续混成系统（如汽车、飞机的控制系统）的设计、分析、验证与合成，并行系统的验证、合成，模型检验，以及与计算机科学相关的逻辑学基础理论。

Vania L. Joloboff, 中国科学院外国专家特聘研究员。Joloboff教授于1978年获法国格勒诺布尔大学博士学位，曾在BULL（法国计算机制造厂商）研究中心、Open Software Foundation Research Institute等工业及研究机构工作多年。现任法国国家信息及自动化研究所研究主任。研究方向为通过采用包含仿真、编译器、操作系统以及网络技术并结合形式化方法的虚拟样机进行可靠嵌入式系统开发。

Axel Jantsch , 中科院外国专家特聘研究员、嵌入式软件系统研究室访问教授、瑞典皇家理工学院(Royal Institute of Technology，KTH)教授。Axel Jantsch 教授于1988年获得维也纳技术大学信息学硕士学位、于1992年获得维也纳技术大学计算机科学博士学位。研究领域包括：嵌入式系统及片上系统架构、嵌入式软件、建模思想及语言、系统综合及验证。在国际学术会议及期刊共发表论文200多篇，参与完成2部学术著作的编写，并撰写出版个人专著1部。

杨家强，嵌入式软件系统研究室访问教授，美国伊利诺伊大学香槟分校（University of Illinois at Urbana-Champaign）博士（1977），IEEE Fellow（2000）。杨教授在美国能源部劳伦斯国家实验室工作多年，现任香港科技大学研发高级科技项目总监，电子与计算机工程系兼职教授。研究方向为智能机电一体化、工业自动化与控制、实时与嵌入式系统、激光瞄准和控制系统、视觉机器人、无线传感器网络。

刘劼,嵌入式软件系统研究室访问教授，于2001年获得加利福尼亚大学伯克利分校（University of California at Berkeley）电机工程博士学位，于1993和1996 年获得中国清华大学自动化系学士和硕士学位。现任微软研究院（Microsoft Research, Redmond）高级研究员。他领导下的网络嵌入式计算研究小组从事传感和低能耗系统方面的基础和应用研究。他曾获得清华大学优秀学生特等奖（1996）、加州大学伯克利分校Leon Chua 奖（2001）、帕克研究中心技术突破奖（2003）、和微软公司金星奖（2008）。

李荣清,研究助理，硕士。2004年于桂林电子科技大学计算机系获得工学学士学位，2008年于汕头大学工学院获得获计算机科学硕士学位，2008-2009年间在中国科学院软件所从事形式化方法研究。研究方向为基于模型的嵌入式系统，形式化方法。2009年10月入职

周榕，研究助理，硕士。2007年在北京航空航天大学获得工学学士学位，同年保送至北京航空航天大学自动化科学与电气工程学院攻读导航、制导与控制专业硕士研究生，2010年获得该专业硕士学位。研究方向为多机协同与控制、嵌入式软件系统。2010年1月入职

邹雅琴，研究助理，硕士。2007年于海军航空工程学院获得工学学士学位，2010年于汕头大学工学院获得工学硕士学位。研究方向为：嵌入式系统软件开发。现任嵌入式软件系统研究室中心助理。2010年7月入职

李广鑫，研究助理，硕士。2007年毕业于吉林大学计算机科学与技术学院，获理学学士学位。2010年毕业于吉林大学计算机科学与技术学院获工学硕士学位。专业：计算机应用技术。方向：智能控制与嵌入式系统。2010年7月入职

鄢来琼，工程师，硕士。2005年于长春大学计算机科学与技术系获得工学学士学位，2008年于汕头大学工学院获得获计算机科学工学硕士学位，2008.7-2011.3期间，在香港ASM太平洋科技有限公司从事下一代控制系统平台研发工作。目前主要从事基于模型的嵌入式软件系统工具的研发。2011年6月入职