沈云付副教授（SHENYUNFU）
Email:yfshen@mail.shu.edu.cn
Tel:66135376

1988年2月获北京师范大学理学硕士学位。1993年9月至1996年7月在北京师范大学学习攻读博士学位，1996年获该校理学博士学位。1997年7月—2000年7月，在湖南师范大学计算机系工作并任副教授，期间于1998年1月初应美国伯克利数学研究所的邀请，去美国伯克利数学研究所参加国际模型论研讨会和春季活动。2000年7月至现在，在上海大学计算机学院工作，现担任学院院长助理。已有8名硕士生毕业（其中一名已成为博士研究生），现有硕士研究生4名。
本人的研究领域涉及：

1．软件形式化方法。用逻辑方法研究逻辑理论的可定义性和计算复杂性及以及可计算性理论，对数理逻辑和计算机科学理论中形式理论（如字自动机和树自动机理论）有较深的研究。对推理与人工智能也有一定的研究。对计算机系统及网络通讯方面的安全性问题有一定的涉及。目前软件形式化方法的研究侧重于软硬件的模型检查、自动推理与定理证明、并发系统可信性研究等。
2．高性能并行算法与设计。曾主持了上海市教委的高等学校科学技术发展项目和上海大学青年教师科研启动项目，在“自强2000”平台上从事于并行算法及对模具设计的应用研究。曾与材料学院合作进行钢铁连铸过程控制模型开发中的并行算法研究与数值模拟。
3.对网络与计算机应用方面的研究与应用开发感兴趣。

目前已在科学通报、数学学报、中国科学、Arch.Math.Logic等国内外较高级别的刊物上发表文章20多篇。

在教学方面，承担过C语言，PASCAL语言、汇编语言、数字逻辑、编译原理、计算机密码学、组合分析、计算机算法设计与分析、单片机原理和ACM程序设计等课程的教学。目前担任上海大学国际大学生程序设计竞赛ACM集训队教练。