王向云

·职称：讲师

·邮箱：287072016@qq.com

学历背景

·最高学历：博士

研究领域

非经典逻辑、软件可靠性、生物信息学

个人简介

王向云，工学博士，主要从事非经典逻辑、软件可靠性及生物信息学等方面的研究。发表SCI期刊论文、国际会议论文十余篇。在教学方面，主讲《高等数学》和《离散数学》课程。

教学科研成果

·教授课程：《高等数学》《离散数学》

·教学荣誉：

1.2023年，离散数学课程教研室被评为天津师范大学师德建设先进集体。

2.2023年 “离散数学”课程创新教学案例获师生信息素养提升实践活动国家级创新作品

3.2021年，“离散数学”入选天津市课程思政示范课程，授课教师入选“天津市课程思政教学名师和教学团队”。

4.2021年离散数学课程被认定为天津市一流本科建设课程，类型为线上线下混合课程。

5.2010年，“离散数学”被评为天津市精品课程。

学术研究成果

·代表性论文：

1.Xiang-Yun Wang, Kai-Yuan Cai,The controllability of extended finite state machines, Recent Advances in Computer Science and Information Engineering, 2012.

2.Xiang-Yun Wang, Kai-Yuan Cai,An EFSM Approach to Software Design Based on the Supervisory Control Theory, 3rd International Conference on Computer Design and Applications (ICCDA 2011), May 27-29, 2011.

3.Xiang-Yun Wang, Xi-Rong Ma,An Equivalence Relation on Extended Finite State Machines, International Conference on Computational Intelligence and Software Engineering (CISE), December 11-13, 2009.

4.Xiang-Yun Wang, Yong-Chao Li, Kai-Yuan Cai,A Polynomial Dynamic System Approach to Software Design for Attractivity Requirement, Information Science, 2007.

5.Xiang-Yun Wang, Yong-Chao Li, Kai-Yuan Cai,On the Polynomial Dynamical System Approach to Software Development, Science in China (Series F, Information Sciences), 2004.