多伦多大学简介

多伦多大学建立于1827年，位于加拿大安大略省多伦多市，是加拿大规模最大且最有影响力的公立大学。多伦多大学有三个校区：主校区为圣乔治校区（St.George Campus, UTSG），还有密西沙加校区（Mississauga Campus, UTM）和士嘉宝校区（Scarborough Campus, UTSC）。现在已有6万多名学生，14个院系，30多个图书馆，以及300多个专业课程。多伦多大学已连续多年在加拿大大学中排名第1，2014年世界大学排名第24位。多伦多大学有许多杰出的科研成果，包括发现胰岛素及干细胞，发明电子起搏器、多点触控技术、电子显微镜、复制T细胞、飞行员衣，以及发现首个经核证的黑洞。多伦多大学目前共有9位教授和毕业生获得过诺贝尔奖。

多伦多大学计算机系在计算机理论研究方面非常卓越，在2014年世界大学学科排名中位列第10。其中，现为计算机系和数学系教授的Stephen Arthur Cook教授因发表Cook定理奠定了NP完全理论的基础而获了1982年图灵奖。另外，计算机系还拥有7位加拿大皇家科学院士，科研实力雄厚。

多伦多大学访学报告

我是国家公派访问学者，于2002年在多伦多大学计算机系师从John Mylopoulos教授，他主要致力于知识工程等方面的研究，最早提出知识管理这个概念，近年来多活跃于工业界，与IBM、Bell等大公司密切合作，是Bell University Lab的主席。我在这里的合作项目是“面向agent的软件工程”，主要是以知识管理实验室的研究方向为基础，以面向agent，面向goal的i*表示框架模型来支持复杂系统的早期需求分析，以及进一步实现后期的设计和实现。i*模型的底层是基于Telos形式化语言，该语言可以支持各种知识的形式化表示和推理；在合作工作中，又进一步参与开发了NFR模型框架，以表示agent中的各种软目标，以支持软件系统中各种质量问题的分析，如精确性、安全性、可重用性等。访问期间多次参加国际学术会议，联合发表了多篇论文，并应邀担任了在美国San Diego举办的CAINE’02大会的Session Chair。