考研网快讯，据福建师范大学研究生院消息，2014年福建师范大学070105运筹学与控制论考研报录比已发布，详情如下：学院名称专业码

考研网快讯，据福建师范大学研究生院消息，2014年福建师范大学070104应用数学考研报录比已发布，详情如下：学院名称专业码专业

考研网快讯，据福建师范大学研究生院消息，2014年福建师范大学070103概率论与数理统计考研报录比已发布，详情如下：学院名称专业码

考研网快讯，据福建师范大学研究生院消息，2014年福建师范大学070102计算数学考研报录比已发布，详情如下：学院名称专业码专业

考研网快讯，据福建师范大学研究生院消息，2014年福建师范大学070101基础数学考研报录比（官方）已发布，详情如下：学院名称专业码

考研网快讯，据福建师范大学研究生院消息，2014年福建师范大学045104学科教学（数学）考研报录比已发布，详情如下：学院名称专业码

姓名：严宣辉性别：男职称：副教授学院：数学与计算机科学学院研究方向：人工智能和网络安全方向个人简介：男，1968年3月生，福建福州人，硕士，

姓名：叶雪梅性别：女职称：副教授学院：数学与计算机科学学院研究方向：数学教育，组合数学（图论）个人简介：女，福建古田人，副教授，硕士生导师

姓名：蒋建民性别：男职称：副教授学院：数学与计算机科学学院研究方向：软件工程实践与理论个人简介：男，1972年生，副教授，硕士生导师 教育经历： 1991.9—1995.7四川师范大学物理系计算机专业本科 2003.9—2006.7中国科学院成都计算机应用研究所计算机软件与理论博士 工作经历：1995.7—2003.8在重庆工商大学从事计算机教学与科研工作 2006.8—现在在福建师范大学从事计算机教学与科研工作社会兼职：《计算机应用》(中国科学院成都计算机应用研究所主办)，审稿人研究兴趣：软件工程实践与理论目前，在工程中软件开发方法很难被正确采用，究其原因主要是现有方法在实践上没有具体可行的实施方案，我们的研究工作就是将现有方法具体化、工程化，从而提出自己的开发方法，主要研究基于组件、面向服务和云计算的软件开发方法。在实践上，寻求与软件公司合作，培养研究生成为高级程序员、架构工程师、系统分析员和软件项目经理。形式刻画和形式验证软件需求、设计、编码和测试是非常繁重的工作，现阶段还没有完全可行的理论和技术保证开发软件的质量，我们的研究工作主要提出新的理论和技术，采用严格的数学推理方法，把新的理论融入到软件开发过程中，使其部分能自动生成代码，保证软件正确。 指导研究生：2007级：朱恒亮、肖颖2008级：林添荣 教学：主要对本科学生讲授《软件工程》和《C++》等课程 科研：1、论文1)JianminJiang,ShiZhan,PingGongandZhongHong.ServiceAdaptationatmessageLevel.SubmittedtoICWS’20112)JianminJiang,Hongpin.Shu.Assembly,Disassembly,AdaptationandReplacementofSoftwareComponents,Proc.ofCSSE2008,IEEEComputerSocietyPress,20083）JianminJiang,JinzhaoWuandHongpingShu.SymmetryinProcessAlgebra.ProceedingsofFirstJointIEEE/IFIPSymposiumonTheoreticalAspectsofSoftwareEngineering(TASE'07),pp.450-459,IEEEComputerSocietyPress,20074)JianminJiang,JinzhaoWuandLiXu.AnArchitectureforSoftwareSystemswithTimeConstraints.ProceedingsofEighthACISInternationalConferenceonSoftwareEngineering,ArtificialIntelligence,Networking,andParallel/DistributedComputing,pp.154-159,IEEEComputerSocietyPress,2007.5)JianminJiang,JinzhaoWuandDonghuoChen.SymmetryinEventStructures.Proceedingsofthe21stAnnualACMSymposiumonAppliedComputing(SAC’06).ACMpress,pp.1850-1851,2006.6)JianminJiang,JinzhaoWu.InterleavingandStepEquivalencesandTheirPreservationsunderActionRefinement.AcceptedbyJournalofComputerScienceandTechnology,2005.7)JianminJiang,JinzhaoWu.SymmetryandAutobisimulation.Proceedingsofthe6thInternationalConferenceonParallelandDistributedComputing,ApplicationsandTechnologies(PDCAT2005).IEEEComputerSocietyPress,pp.866-870,2005.8)JianminJiang,JinzhaoWuandWeiYan.StructuralRectionsinProcessAlgebraLanguages.Proceedingsofthe11thJointInternationalComputerConference(JICC2005).WorldScientificPublishingCo.,pp.596-600,2005.9)JianminJiang,JinzhaoWu.Thepreservationofinterleavingequivalences.Proceedingsofthe10thIEEEInternationalConferenceonEngineeringofComplexComputerSystems.IEEEComputerSocietyPress,pp.580-589,2005.10)蒋建民、舒红平.基于组件和中间件的装配式软件系统模型。计算机工程与应用.2003,39(34):137-138,190.11)蒋建民.基于组件的设计模式。计算机应用研究。2003，增刊：278-282。12)蒋建民、李登信.用例模型与装配式软件系统的开发.计算机工程与设计.2003,24(12):97-99.13)蒋建民.基于XML与组件的新组件.第四次全国程序设计语言发展与教学学术会议论文集.北京：电子工业出版社，2003，76-80.14)蒋建民、张世勇.基于组件的分析模型.重庆工商大学学报.2003,20(1):37-40.15)蒋建民.JMS、XML和组件构建可装配的软件系统.计算机应用研究.2003,20(7):72-75.16)蒋建民、李登信.软件槽技术与装配式软件系统.计算机应用研究.2003,20(2):32-33，47.17)蒋建民、李登信.基于组件的用例模型.计算机工程与应用.2002,38(22):98-99,130.18)蒋建民、张世勇.软件扩展槽技术.渝州大学学报.2002,19(3):49-5219)蒋建民.Java、XML和组件技术构建可装配系统.计算机工程与应用.2002,38(16):105-106,10920)蒋建民.基于组件和工作流技术的系统模型.计算机工程与应用.2002,38(15):63-642、科研项目已结题：福建省科技厅青年人才项目，项目编号为：2006F3043，项目负责人。*如果发现导师信息存在错误或者偏差，欢迎随时与我们联系，以便进行更新完善。联系方式