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

   宋教授在形式化方法及其应用领域研究多年，并从1996年起开始不定期地访问太阳成，为太阳成集团tyc在形式化方法方向的团队建设和人才培养上做出了很多贡献。