张仕 （fjnuzs@qq.com, shi@fjnu.edu.cn, 15880066986）
个人简介：男，1977年11月生，籍贯：福建省龙岩市，博士，副教授。
教育经历：
1996年9月—2000年7月，大庆石油学院计算机系，大学本科毕业，获学士学位
2000年9月---2003年4月，南京航空航天大学计算机科学与工程系，硕士研究生毕业，获硕士学位
2005年4月---2008年6月 ，上海交通大学计算机科学与工程系，博士研究生
2015年8月---2016年7月 ，美国普渡大学访问学者。
工作经历：
2003年4月—现在 福建师范大学
研究方向：
主要从事程序语言，分布式系统，软件工程，大数据等方面的研究
主持和参与的科研项目：
2018-2021 国家自然基金面上项目，61772004，基于事件的形式化模型的表达能力与工程方法研究
2018-2021福建省自然基金面上项目，2018J01777，基于事件的形式化模型的理论与应用研究
2014-2018 福建省自然基金面上项目，2014J01221，多租户云应用软件的形式化建模与自动配置
2015-2017 福建省教育厅社科A类项目，以竞赛为驱动的软件人才培养(JAS151260)
2011-2013 福建省教育厅A类: 基于服务的可扩展在线评测系统
2007-2010 福建省自然科学基金(编号：2007J0315)分布式系统中软件动态更新研究
2007-2009 福建省教育厅资助省属高校项目（编号：2007F5037）基于消息传递的分布式软件动态演化
2003-2005 福建省教育厅B类基金资助项目(JB03148)
2004-2006 福建师范大学扶苗基金资助项目(12F030)
教学：
讲授过计算机、软件工程专业基础课程和专业核心课程：C++语言，.net程序设计（C#)，算法设计与分析，数据库系统概论、数据结构、软件测试等课程。
主讲研究生课程《高级算法设计与分析》。
主编和编写《数据结构实验教程》、《C语言程序设计》等教材。
论文著作：
蔡蕊,张仕,余晓菲,蒋建民.基于程序频谱的缺陷定位方法[J].计算机系统应用,2019,28(01):188-193.
Jiang, J.M., Zhu, H., Li, Q., Zhao, Y., Hong, Z., Zhang, S. (张仕), et al. Isolation modeling and analysis based on mobility. ACM Transactions on Software Engineering and Methodology, 28(2),2019, 1-31.
张仕,蔡蕊,余晓菲,严宣辉,黄晞,蒋建民.基于协同演化算法的HLS延时优化[J].福建师范大学学报(自然科学版),2018,34(04):1-9+24.
Liu, H., Wei, X., Xiao, R., Chen, L., Du, X., Zhang, S. (张仕). OPRCP: approximate nearest neighbor binary search algorithm for hybrid data over WMSN block chain. Eurasip Journal on Wireless Communications and Networking, 2018(1).
余晓菲,张仕,蔡蕊,陈慧峰,蒋建民.基于改良程序谱的软件故障定位方法[J].计算机工程与科学,2018,40(02):275-281.
Chen Cong, Cheng Shib, Zhang Shi(张仕). A comparative study on electromagnetic wave propagation in a plasma sheath based on double parabolic model. Optik,159(2018),69-78.
Jiang, J.M., Zhu, H., Li, Q., Zhao, Y., Zhao, L., Zhang, S. (张仕), et al. Event-based mobility modeling and analysis. ACM Transactions on Cyber-Physical Systems, 1(2),2017, 1-32.
朱振宇, 张仕, 蒋建民, 吴亚洲, 杨启帆，并发系统中基于优先级的调度分析，计算机科学，2016-6
Jian-Min Jiang, Huibiao Zhu, Qin Li, Yongxin Zhao, Lin Zhao, Shi Zhang(张仕), Ping Gong, Zhong Hong. Analyzing event-based scheduling in concurrent reactive systems, ACM Transactions on Embedded Computing systems, 14, 4, Article 86, 27 pages. 2015.
吴亚洲，杨启帆，蒋建民, 张仕, 业务过程的自动配置与管理，计算机科学， 2015，（07）：129-133+141.
杨启帆，吴亚洲，蒋建民，张仕，云计算中服务虚拟的形式依赖分析，福建师范大学学报(自然科学版)，2015，（02）：24-31
Jian-Min Jiang, Shi Zhang(张仕), Ping Gong, Zhong Hong. Configuration of Services based on Virtualization,TASE 2014:178-184
Jian-Min Jiang, Shi Zhang(张仕), Ping Gong, Zhong Hong. Configuring business process models, ACM SIGSOFT Software Engineering Notes 38(4):1-10. 2013
Jian-Min Jiang, Shi Zhang(张仕), Ping Gong, Zhong Hong. Modeling and analyzing mixed communications in service-oriented trustworthy software. Science China Information Science, 55(12): 2738-2756, 2012
Zhang Shi(张仕),Jiang Jianmin. Research on Type-Safety Parallel Update. LNEE， 2012
Jian-Min Jiang, Shi Zhang(张仕), Ping Gong, Zhong Hong. Message Dependency-Based Adaptation of Services. APSCC 2011: 442-449
Jian-Min Jiang, Shi Zhang(张仕), Ping Gong, Zhong Hong. Service adaptation at message level，2011 IEEE World Congress on Services, SERVICES 2011:87-88
Ping Gong, Jianmin Jiang, Shi Zhang(张仕): Formal Analysis of OWL-S Process Model by FDR. APSCC 2011: 215-222
Jianmin Jiang, Shi Zhang(张仕), Ping Gong, Zhong Hong: Message Dependency- Based Adaptation of Services. APSCC 2011: 442-449
Jianmin Jiang, Shi Zhan(张仕), Ping Gong and Zhong Hong. Service Adaptation at message Level. SERVICES 2011:87-88
张仕, 赖会霞. 基于轻映射的数据集成系统. 计算机与数字工程, 2009年9期
张仕, 黄林鹏. 基于FJ的多版本类动态更新演算. 软件学报. Vol19(10). Pages 2562- 2571. 2008-10.
张仕, 黄林鹏. 基于OSGi的服务动态演化. 软件学报. Vol19(5). Pages 1201- 1211. 2008-5.
张仕, 赖会霞, 黄林鹏. 类动态更新事物研究. 计算机科学. Vol35(11). Pages 284-289. 2008-11.
张仕, 赖会霞. 多线程可动态演化程序的设计. 福建师范大学学报. Vol24(3). Pages 23-28. 2008-5.
Zhang Shi(张仕), Huang LinPeng. Type-Safe Dynamic Update Transaction. In proceeding of COMPSAC 2007, Beijing China.
Zhang Shi(张仕), Huang LinPeng. Research on Dynamic Update Transaction for Java Classes. Frontiers of Computer Science in China. Vol1(3), 2007.
Zhang Shi(张仕), Huang LinPeng. Formalizing Class Dynamic Software Updating. In proceeding of QSIC 2006, Beijing China, Oct 2006.
Zhang Shi(张仕), Huang LinPeng. Formalizing Multi-versions Class Update. In proceeding of ICCP 2006, Romania, Sep 2006.
张仕, 基于面向对象软件的动态更新研究. [博士论文], 上海交通大学, 2008.
张仕，赖会霞，基于Apriori算法的XML频繁子树挖掘，计算机科学， 32:9A (2005)， 19-23
张仕，赖会霞，XML文档模式的自动构造，福建师范大学学报(自然科学版)，2005.03
张仕，赖会霞，XML形式数据模型及其查询代数，计算机工程与设计，2005.02
张仕; 毛宇光，XML语法检查的实现，计算机工程与设计，2002年 11期
