姓名：卜月华性别：男职称：教授所在学院：数理与信息工程学院学术兼职：中国运筹学会图论与组合分会常务理事兼副秘书长，浙江省数学会理事研究方向：主要从事图的染色

姓名：苏开乐职称：教授所在学院：数理与信息工程学院研究方向：模型检测多智能体系统，安全协议验证，难解问题的算法学术兼职：《软件学报》责任编委，中国数理逻辑学会理事。主讲课程：主讲本科课程：算法设计与分析科研项目（课题）主持国家杰出青年科学基金项目，国家自然科学基金委，2008-2011，在研论文著作1．KaileSu,AblSattar,GuanfengLv,YanZhang:Variableforgettinginreasoningaboutknowledge,JournalofArtificialIntelligenceResearch,35(1):677-716,2009（人工智能学科顶尖国际期刊）2．DavidA．Bell,YingJiang,RuqianLu,KaileSu,SongmaoZhang:Knowware:TheThirdStarafterHardwareandSoftware．KSEM2009:3.3．YanyanXu,WeiyaYue,KaileSu:TheBDD-BasedDynamicA*AlgorithmforReal-TimeReplanning．FAW2009:271-2824．KaileSu,AblSattar:AnExtendedInterpretedSystemModelforEpistemicLogics．AAAI2008:554-559．（人工智能学科顶尖国际会议）5．HanLin,KaileSu,ChuMinLi:Within-problemLearningforEfficientLowerBoundComputationinMax-SATSolving．AAAI2008:351-356．（人工智能学科顶尖国际会议）6．JinjiYang,KaileSu,QingliangChen:ImprovingEncodingEfficiencyforBoundedModelChecking．TASE2008:31-384．KaileSu,AblSattarandXiangyuLuo,ModelCheckingTemporalLogicsofKnowledgeViaOBDDs,TheComputerJournal,OxfordPress,J．50(4):403-42020075．KaileSu,AblSattar,HanLin,MarkReynolds:AModalLogicforBeliefsandProAttitudes．AAAI2007:496-501.6．HanLin,KaileSu(通信作者)ExploitingInferenceRulestoComputeLowerBoundsforMAX-SATSolving，IJCAI-07,2334-23397．QingliangChen,KaileSu(通信作者),XizhongZheng:PrimitiveRecursivenessofRealNumbersunderDifferentRepresentations．Electr．NotesTheor．Comput．Sci．167:303-324(2007)8．KaileSu,HuijingHuang,XindongWu,ShichaoZhang:Alogicalframeworkforidentifyingqualityknowledgefromdifferentdatasources．DecisionSupportSystems42(3):1673-1683(2006)9．KaileSu,WeiyaYue,AblSattar,MehmetA．Orgun,XiangyuLuo,Observation-BasedLogicofKnowledge,Belief,DesireandIntention,Proc．ofKSEM2006,LectureNotesinComputerScience,vol．4092,Springer,366-378．200610．KaileSu,XiangyuLuo,AblSattarandMehmetAOrgun，TheInterpretedSystemModelofKnowledge,Belief,DesireandIntention，Proc．ofAAMAS,2006.11．苏开乐，岳伟亚，陈清亮，XizhongZheng,实例化空间:一种新的安全协议验证逻辑的语义模型．计算机学报，29（9）:1655—1663，2006.12．KaileSu，QingliangChen，AblSattar,WeiyaYueandGuanfengLv,XizhongZheng，VerificationofAuthenticationProtocolsforEpistemicGoalsviaSATCompilation，JournalofComputerScienceandTechnology．21(6):932-943,SpringerPress,200613．XiangyuLuo,KaileSu(通信作者),AblSattarandMarkReynolds，VerificationofMulti-agentSystemsviaBoundedModelChecking,18thAustralianJointConferenceonArtificialIntelligence,LectureNotesinComputerScience,69-78,Springer.14．苏开乐，吕关锋，陈清亮，基于知识结构的认证协议验证，中国科学（Ｅ辑），2005年,第35卷,第4期337–35115．KaileSu,AblSattar,GuidoGovernatori,QingliangChen,Acomputationallygroundedlogicofknowledge,beliefandcertainty,AAMAS-05,149-156，200516．KaileSu,AblSattar,GuidoGovernatori,XiangyuLuo,AcomputationallygroundedmodelofBDI-agents,InternationalJointConferenceonArtificialInteligence,30July-5August,2005,Edinburgh,Scotland．（ShortPaper）17．KaileSu,AblSattar,KewenWang,XiangyuLuo,GuidoGovernatoriandVineetPadmanabhan,Observation-basedmodelforBDI-agents,InProc．ofAAAI-05,190-195．200518．KewenWang,AblSattar,KaileSu，Atheoryofforgettinginlogicprogramming,InProc．ofAAAI-05,682-693．2005.19．苏开乐,骆翔宇,吕关锋,符号化模型检测CTL*,计算机学报，2005年第11期20．KaileSu,CongxinZhao,GuanfengLv,HanLin,QingliangChenFormalAnalysisandImprovementoftheStateTransitionModelforIntrusionTolerantSystem,WINE-2005,LectureNotesinComputerScience,Springer,2005.21．R．vanderMeyden,KaileSu(作者以字母排序),SymbolicModelCheckingtheKnowledgeoftheDiningCryptographers,17thIEEEComputerSecurityFoundationsWorkshop，2004,280-29122．KaileSu,GuangfengLvandYanZhang,Reasoningaboutknowledgebyvariableforgetting,KR2004,576-586June,200423．KaileSu,Modelcheckingtemporallogicsofknowledgeindistributedsystems,AAAI2004（人工智能学科顶尖国际会议）,98-103．July,2004指导研究生简况：成功指导了8位博士研究生和20多位硕士研究生。*如果发现导师信息存在错误或者偏差，欢迎随时与我们联系，以便进行更新完善。联系方式

姓名：金永贤职称：教授所在学院：数理与信息工程学院研究方向：目前主要从事开放式实时系统，嵌入式实时系统，网络化控制系统，可预测性实时Java语言等方面研究。主讲课程

姓名：韩建民职称：副教授所在学院：数理与信息工程学院研究方向：信息安全；数据挖掘隐私保护；计算智能主讲课程：主讲本科课程：数据结构，C程序设计语言，计算机组成与结构

姓名：邓大勇职称：副教授所在学院：数理与信息工程学院研究方向：粗糙集理论及应用、数据挖掘、机器学习、人工智能主讲课程：主讲本科课程：软件工程、离散数学、专业英语

姓名：朱响斌职称：副教授所在学院：数理与信息工程学院研究方向：研究方向为嵌入式系统，无线传感器网络和智能信息处理。主讲课程：主讲本科课程：嵌入式系统，计算机网络

姓名：郑忠龙职称：教授所在学院：数理与信息工程学院研究方向：模式识别，机器学习，图像处理学术兼职：国家自然科学基金通信评审专家。主讲课程：主讲本科课程：微机原

姓名：赵建民职称：教授所在学院：数理与信息工程学院研究方向：研究领域为计算机应用，主要研究方向为模式识别、网络工程及企业信息化工程，目前在做一些物联网方面的研究。主

姓名：余水宝职称：教授所在学院：数理与信息工程学院研究方向：单片机与嵌入式系统应用，信号检测与仪表技术主讲课程：主讲本科生课程：单片机原理及应用、模拟电子技术，电子