职称：讲师/硕士生导师

个人简介：

主要研究领域：软件理论、工作流模型的仿真与验证、软件度量及软件测试。

科研成果：

1. 龚晓庆，付丽娜，朱新懿,《C++面向对象程序设计》第二版，清华大学出版社，2017.2出版

2. 付丽娜，利用工作流管理系统实现软件测量，软件技术进展2003‘全国软件与应用学术会议，2003.10 P532-536

3. 刘丽娟，付丽娜，基于CWM的模型驱动体系结构的研究，《微计算机信息》，24(27)，2008.9 P21-22

4. 付丽娜，郝克刚，工作流流程动态仿真技术的研究，《计算机工程与应用》，45(13)，2009.5 P29-33

5. 付丽娜，郝克刚，工作流中同步区与异步区的动态修改，《计算机工程与应用》，46(14)，2010.5 P27-30

6. 付丽娜，郝克刚，针对工作流模式执行约束的解决方案，《计算机应用研究》，29（7）

7. 付丽娜，郝克刚，Research on Some Key Issues of Dynamic Simulation for Workflow Process，International Conference on Advanced Design and Manufacturing Engineering (ADME 2011)，Guangzhou，China，2011.9 P1049-1055

8. 付丽娜，郝克刚，Design & Measure RUP Development Case Using the Zachman Framework as an Aid，2012 3nd International Conference on Manufacturing Science and Engineering(ICMSE 2012)，Xiamen，China，2012.3

科研项目：

1、 参与包括863重点研发项目、国家自然科学基金项目等科研项目；

2、 主持产学合作协同育人项目；

3、 主持或参与多项校级教改项目；

4、 共发表论文近10篇，其中EI检索2篇。

教学情况：

承担的本科教学任务有：《数据库原理》、《软件测试》、《面向对象程序设计》、《管理信息系统》、《编译原理》以及毕业设计指导工作。承担的研究生教学任务有：《移动平台开发技术》

其它信息：

中国计算机学会会员