张仕（shi@fjnu.edu.cn）个人简介：男，1977年11月生，籍贯：福建省龙岩市，博士，副教授。教育经历：l1996年9月—2000年7月，大庆石油学院计算机系，大学本科毕业，获学士学位l2000年9月---2003年4月，南京航空航天大学计算机科学与工程系，硕士研究生毕业，获硕士学位l2005年4月---2008年6月，上海交通大学计算机科学与工程系，博士研究生工作经历：l2003年4月—现在福建师范大学研究方向：n主要从事程序设计语言，分布式系统，软件工程方面的研究科研项目：
2007-2010福建省自然科学基金(编号：2007J0315)分布式系统中软件动态更新研究2007-2009福建省教育厅资助省属高校项目（编号：2007F5037）基于消息传递的分布式软件动态演化2011-2013福建省教育厅A类:基于服务的可扩展在线评测系统2003-2005福建省教育厅B类基金资助项目(JB03148)2004-2006福建师范大学扶苗基金资助项目(12F030)教学：l讲授C++语言，.net程序设计（C#)，算法设计与分析，数据库系统概论、数据结构等课程。论文著作：?PingGong,JianminJiang,ShiZhang(张仕):FormalAnalysisofOWL-SProcessModelbyFDR.APSCC2011:215-222?JianminJiang,ShiZhang(张仕),PingGong,ZhongHong:MessageDependency-BasedAdaptationofServices.APSCC2011:442-449?JianminJiang,ShiZhan(张仕),PingGongandZhongHong.ServiceAdaptationatmessageLevel.SERVICES2011:87-88?ZhangShi(张仕),JiangJianmin.ResearchonType-SafetyParallelUpdate.LNEE，2012?张仕,黄林鹏.基于FJ的多版本类动态更新演算.软件学报.Vol19(10).Pages2562-2571.2008-10.?张仕,黄林鹏.基于OSGi的服务动态演化.软件学报.Vol19(5).Pages1201-1211.2008-5.?张仕,赖会霞,黄林鹏.类动态更新事物研究.计算机科学.Vol35(11).Pages284-289.2008-11.?张仕,赖会霞.多线程可动态演化程序的设计.福建师范大学学报.Vol24(3).Pages23-28.2008-5.?ZhangShi(张仕),HuangLinPeng.Type-SafeDynamicUpdateTransaction.InproceedingofCOMPSAC2007,BeijingChina.?ZhangShi(张仕),HuangLinPeng.ResearchonDynamicUpdateTransactionforJavaClasses.FrontiersofComputerScienceinChina.Vol1(3),2007.?ZhangShi(张仕),HuangLinPeng.FormalizingClassDynamicSoftwareUpdating.InproceedingofQSIC2006,BeijingChina,Oct2006.?ZhangShi(张仕),HuangLinPeng.FormalizingMulti-versionsClassUpdate.InproceedingofICCP2006,Romania,Sep2006.?张仕,基于面向对象软件的动态更新研究.[博士论文],上海交通大学,2008.?张仕，赖会霞，基于Apriori算法的XML频繁子树挖掘，计算机科学，32:9A(2005)，19-23?张仕，赖会霞，XML文档模式的自动构造，福建师范大学学报(自然科学版)，2005.03?张仕，赖会霞，XML形式数据模型及其查询代数，计算机工程与设计，2005.02?张仕;毛宇光，XML语法检查的实现，计算机工程与设计，2002年11期