导师姓名:冯海林

 汪杭军，男，教授，硕士生导师，中国科学技术大学博士.主要研究方向：模式识别与智能系统。主持浙江省科技厅重点项目和浙江省自然科学基金各1项，并作为主要成员参与国家科学基金、浙江省科技计划

姓名  曾松

导师姓名吴达胜

姓名  周德

姓名： 方陆明

导师姓名：李光辉 性别：男出生年月：1970.10所在学院：信息工程学院一级学科：控制科学与工程二级学科：检测技术与自动化装置研究方向一：无线传感器网络研究方向二：容错计算研究方向三：无损检测技术政治面貌：中共党员现任职务：副院长（主持工作）现在职称：教授职称评定时间：2007最后学历：博士研究生最后学位：博士获学位时间：2005.7获学位单位：中国科学院研究生院在读硕士：5毕业硕士：1工作简历：1996.09-1999.6：湘潭大学，攻读硕士学位1999.7-至今:浙江农林大学信息工程学院讲师、副教授、教授期间：2001.09-2005.7:中国科学院计算技术研究所，攻读博士学位2006.05-2008.12：浙江大学与中控科技集团有限公司，博士后教学工作：给本科生讲授过的课程有“高级语言程序设计”、“离散数学”、“计算机前沿技术讲座”、“数字电路”等。给研究生开设课程有“计算机系统与接口技术”，“农业信息化进展”等。研究领域：目前主要开展的研究方向包括：1、无线传感器网络可靠性、测量数据验证与误差校正。2、物联网在农林业信息化领域的应用。3、木材无损检测技术及其产业化。主持的课题1. 国家自然科学基金项目：高可靠的环境传感器数据流异常检测与校正机制（2012-2015，61万）2.  国家自然科学基金“可信软件基础研究”重大研究计划面上项目：基于模型和规约的无线传感器网络应用系统验证方法（2009-2011，50万）3.  国家863计划项目：可重构的智能无线传感器平台和无线控制网络研发（2008-2010，155万）4.      浙江省科技厅重点项目：基于应力波的木材无损检测技术及其产品化研发（2007-2009，25万）5.        浙江省自然科学基金项目：无线传感器网络测量数据验证与故障检测关键技术研究（2011-2012，8万）论文目录:[1]            李光辉，邵明，李晓维。验证包含黑盒的电路设计的有效方法，计算机学报，2004,27(6):803-811.[2]            李光辉，李晓维。基于增量可满足性的等价性检验方法，计算机学报，2004,27(10):1388-1394.[3]            李光辉，邵明，李晓维。一个适于形式验证的ATPG引擎，计算机研究与发展，2004,41(5): 886-893.[4]            李光辉，李晓维。电路宽度制导的布尔推理启发式策略，计算机辅助设计与图形学学报，2004,16(11):1568-1574.[5]            LiGuanghui,LiXiaowei.Circuit-WidthBasedHeuristicforBooleanReasoning.ProceedingsofIEEE13thAsianTestSymposium,Nov.2004,336-341.[6]           LiXiao-wei,LiGuang-hui,ShaoMing.FormalVerificationTechniquesBasedonBooleanSatisfiabilityProblem,JournalofComputerScienceandTechnology,2005,20(1):38-47.[7]            LiGuanghui,LiXiaowei.FormalVerificationunderUnknownConstraints,WuhanUniversityJournalofNaturalSciences,2005,10(1):43-47. [8]            李光辉，邵明，李晓维。通用CPU设计验证中的等价性检验方法，计算机辅助设计与图形学学报，2005,17(2):230-235.[9]            邵明，李光辉，李晓维。求解可满足问题的调查传播算法以及步长的影响规律，计算机学报，2005,28(5):849-855.[10]       GuanghuiLi,MingShao,XiaoweiLi.DesignErrorDiagnosisBasedonVerificationTechniques.ProceedingsofIEEE12thAsianTestSymposium,Nov.2003,474-477.[11]       李光辉，赵军，王智。基于无线传感器网络的森林火险监测预警系统，传感技术学报，2006,19(6):2760-2764.[12]       LIGuanghui,FENGDongqin.TestGenerationwithUnspecifiedVariableAssignments.TshinghuaScienceandTechnology.2007,21(S1):180-185. [13]       李光辉，夏其表，李洪。基于渗透理论的林火蔓延模型研究。系统仿真学报。2008,20(24):6595-6598.[14]       李光辉，冯冬芹，曾松伟。基于电路拓扑结构分析的等价性验证方法。计算机辅助设计与图形学学报。2008,20(12):1557-1562.[15]       GuanghuiLi,DongqinFeng.RendantCluster-basedRoutinginWirelessSensorNetworks.Proceedingsofthe7thWorldCongressonIntelligentControlandAutomation.2008.[16]       冯冬芹，李光辉，全剑敏，金建祥。基于簇头冗余的无线传感器网络可靠性技术研究。浙江大学学报（工学版）。2009,43(5):849-854.[17]        GuanghuiLi,ChangqingXu,HailinFeng.FaultTolerantSchemeinWSNbyFindingMinimumFAS.3rdinternationalworkshoponmatrixanalysis.2009,Vol.1,126-129.[18]       LiHong,LiGuang-hui,FengHai-lin,WangZhi.ResearchonForestFireMonitoringQualityVariationwithWirelessSensorNodeDensity.InternationalConferenceonCommunicationsandMobileComputing(CMC2010),2010.[19]       GuanghuiLi,QibiaoXia,HongLi,andDongqinFeng.Modeling ForestFireSpreadProcessBasedonPercolationTheory.JournalofInformationandComputationalSystems.2010,7(9):1930-1937.[20]       HailinFeng,GuanghuiLi,WenweiLu,LeijunHuang.TrustBasedSecurein-networkDataProcessingSchemainWirelessSensornetworks.JournalofNetworks.2011,6(2):295-302.著译目录：[1]李光辉，周素茵，章云，胡海根。《数字电子技术基础》，中国电力出版社，北京：2008年5月。[2]李晓维，吕涛，李华伟，李光辉。《数字集成电路设计验证》，科学出版社，北京：2010年5月。[3]李光辉，周素茵，章云，胡海根。《数字电子技术基础》修订版，清华大学出版社，北京：2012年。科研成果：1、2004年度中国科学院院长奖学金优秀奖2、2007年度北京市科学技术奖三等奖：“集成电路逻辑测试与验证基础技术”3、2010年度浙江省高校科研成果二等奖：“木材应力波无损检测技术及其产品化研发”4、2005年被评为浙江林学院“十佳”科技工作者5、2007年被评选为浙江省高校中青年学科带头人6、2010年入选浙江省“新世纪151人才工程”第二层次学术兼职：中国计算机学会容错计算专委会常务委员中国计算机学会传感器网络专委会委员中国计算机学会普适计算专委会委员中国自动化学会系统仿真专委会委员杭州市工业企业信息化专家库成员办公室电话:0571-63740788通讯地址:浙江省杭州市临安环城北路88号邮政编码:311300电子邮件lgh@zafu.e.cn

  祁亨年，男，生于1975年4月；兰州大学理学硕士、浙江大学工学博士、华南理工大学信息机械博士后，教授，硕士生导师；浙江农林大学信息工程学院副院长。主要从事模式识别、图像

导师姓名：徐爱俊