【校内主页】 【邮箱登陆】 【智慧校园】
公共搜索

2012广西可信App重点实验室学术活动通知:4月11日中国澳门联合国大学刘志明教授报告会



  报告题目:App工程与可持续开发—挑战与机遇(Software Engineering and Sustainable Development -- Challenges and Opportunities)
  报告时间:2012.4.11日(星期三)下午4:10-5:30
  报告地点:金鸡岭校区F电2教室

  报告概况:咱们通过讨论App开发中固有的复杂性来说明App工程学科所面临的挑战。咱们先容一种形式化的模型驱动的App工程方法rCOS-基于组件和面向对象系统的精化演算。本报告重点先容rCOS-发展过程、现在和将来的发展方向,以及它在App工程领域所面临的挑战和机遇。本报告也将先容一些澳门联合国大学App研究所目前所开展的一些学术研究项目与活动。

  报告人:刘志明教授(Prof. Zhiming Liu, http://www.iist.unu.edu/people/lzm),现任中国澳门联合国大学App研究所(UNU-IIST, Macao SAR, China)高级研究员,1988年获中科院App所计算机科学硕士学位,1991 年获英国华威大学(Universityof Warwick)计算机科学博士学位。主要研究领域包括实时容错系统的设计、分析和证明,模型驱动形式化App工程方法,面向对象和基于构件的App理论和技术,以及如上方法在公共健康医疗和环境健康领域的应用。他在主流学术杂志和会议发表论文100 余篇。刘教授现任三本学术杂志编辑委员会成员,四个国际会议的创始人,四个国际会议引导委员会委员(其中两个的主席),曾担任多个国际会议程序委员会主席。是拟于在上海召开的ICTAC2013 和在南昌召开的FACS2013 程序委员会主席。应邀为欧洲、澳大利亚和新加坡科研基金评审科研项目申请多项。近几年来应邀评审中国百篇优秀博士论文10 多篇。


上一条:交通运输部中国民用航空局机场司高级工程师廖志高博士4月20日来校讲学
下一条:第三届桂林诗歌朗诵会2012年3月24在js金沙所有网址金鸡岭校区三教一楼报告厅举行

【打印资讯】 【关闭】

XML 地图 | Sitemap 地图