我校信息科学与技术学院博士生袁敏，获得UNU-IIST（联合国大学澳门国际软件技术研究所）的经费资助，受邀参加了2010年1月在印度举行的“计算机软件验证、测试和除错中的形式化方法研究”国际学术交流活动。

 该学术活动旨在为计算机科学领域富有天赋的青年学者提供高质量的教育和交流平台，此次活动主要关注计算机软件的模型检测（Model Checking）理论基础、应用和新进展，包括可满足性检测的算法和技术、计算机辅助验证、安全性测试、软件自动化测试中的静态或动态分析方法等。全球百余名顶尖专家、学者参加了此次交流活动，其中仅有4名学者获得了联合国专项经费资助，支持其在海外访问期间的研究、交通和生活等费用.

联合国大学是联合国的机构之一，通过与位于东京的总部、全世界13个研究、研修中心以及各地的大学、学术机构、学者的国际网络，开展不同领域的学术研究、能力培养等活动。其中UNU-IIST是联合国大学驻澳门的代表机构，秉承联合国宗旨着重拓展经济和社会发展领域，将计算机软件技术研究工作推向国际化。

  据其导师黄志球教授介绍，该同学获得联合国相关资助得益于我校新设立的“博士生国际学术交流基金”。我校“博士生国际学术交流基金”旨在鼓励我校博士生参加高水平国际学术活动，拓展我校博士生国际学术视野，培养更多具有国际竞争力的高层次创新人才。去年，该同学受学校资助，参加了IEEE服务计算国际会议（International Conference on Services Computing，SCC）并宣讲论文，引起了国内外同行的关注。

袁敏（图左）与图灵奖获得者C.A.R. Hoare（Tony Hoare）教授（图右）合影