学院新闻

当前位置: 星空网页版 学院新闻 正文
美国俄勒冈波特兰州立大学教授到星空(中国)交流访问

发布日期:2015-08-28来源:

   2015年8月28日上午8:30,美国俄勒冈波特兰州立大学宋晓宇教授在星空(中国)308室与学院云计算与软件工程方向的教师和研究生,以“Formal Modeling and Analysis of Cloud Systems”为主题,进行了学术交流讨论。在云计算环境下,云操作系统、云应用等有哪些值得进行分析的问题?传统的形式化建模和分析技术是否还适用?不仅交流形式化建模和分析的基础问题和技术,也探讨新的计算范型下系统出现和可能出现的新问题。

   宋教授在形式化方法及其应用领域研究多年,并从1996年起开始不定期地访问星空(中国),为星空(中国)在形式化方法方向的学科建设和人才培养上做出了很多贡献。

地址:内蒙古呼和浩特市大学西路235号星空网页版

版权所有 © 星空网页版

官方微信