浙江师范大学数理与信息工程学院导师：苏开乐 正文

　　姓名：苏开乐　
　　职称：教授　
　　所在学院：数理与信息工程学院　

　　研究方向：模型检测多智能体系统，安全协议验证，难解问题的算法
　　学术兼职：《软件学报》责任编委，中国数理逻辑学会理事。
　　主讲课程：主讲本科课程：算法设计与分析
　　
　　科研项目（课题）
　　主持国家杰出青年科学基金项目，国家自然科学基金委，2008-2011，在研

　　论文著作
　　1．Kaile Su, Abdul Sattar, Guanfeng Lv, Yan Zhang: Variable forgetting in reasoning about knowledge, Journal of Artificial Intelligence Research, 35(1):677-716,2009 （人工智能学科顶尖国际期刊）
　　2．David A．Bell, Ying Jiang, Ruqian Lu, Kaile Su, Songmao Zhang: Knowware: The Third Star after Hardware and Software．KSEM 2009: 3.
　　3．Yanyan Xu, Weiya Yue, Kaile Su: The BDD-Based Dynamic A* Algorithm for Real-Time Replanning．FAW 2009: 271-282
　　4．Kaile Su, Abdul Sattar: An Extended Interpreted System Model for Epistemic Logics．AAAI 2008: 554-559．（人工智能学科顶尖国际会议）
　　5．Han Lin, Kaile Su, Chu Min Li: Within-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving．AAAI 2008: 351-356．（人工智能学科顶尖国际会议）
　　6．Jinji Yang, Kaile Su, Qingliang Chen: Improving Encoding Efficiency for Bounded Model Checking．TASE 2008: 31-38
　　4．Kaile Su, Abdul Sattar and Xiangyu Luo, Model Checking Temporal Logics of Knowledge Via OBDDs, The Computer Journal, Oxford Press, J．50(4): 403-420 2007
　　5．Kaile Su, Abdul Sattar, Han Lin, Mark Reynolds: A Modal Logic for Beliefs and Pro Attitudes．AAAI 2007: 496-501.
　　6．Han Lin, Kaile Su (通信作者) Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving，IJCAI-07, 2334-2339
　　7．Qingliang Chen, Kaile Su(通信作者), Xizhong Zheng: Primitive Recursiveness of Real Numbers under Different Representations．Electr．Notes Theor．Comput．Sci．167: 303-324 (2007)
　　8．Kaile Su, Huijing Huang, Xindong Wu, Shichao Zhang: A logical framework for identifying quality knowledge from different data sources．Decision Support Systems 42(3): 1673-1683 (2006)
　　9．Kaile Su, Weiya Yue, Abdul Sattar, Mehmet A．Orgun, Xiangyu Luo, Observation-Based Logic of Knowledge, Belief, Desire and Intention, Proc．of KSEM 2006, Lecture Notes in Computer Science, vol．4092, Springer, 366-378．2006
　　10．Kaile Su, Xiangyu Luo, Abdul Sattar and Mehmet A Orgun， The Interpreted System Model of Knowledge, Belief, Desire and Intention，Proc．of AAMAS, 2006.
　　11．苏开乐，岳伟亚，陈清亮，Xizhong Zheng, 实例化空间: 一种新的安全协议验证逻辑的语义模型．计算机学报，29（9）: 1655—1663，2006.
　　12．Kaile Su，Qingliang Chen，Abdul　Sattar, Weiya Yue and Guanfeng Lv, Xizhong Zheng， Verification of Authentication Protocols for　Epistemic Goals via SAT Compilation， Journal of Computer Science and Technology．21(6):932-943, Springer Press, 2006
　　13．Xiangyu Luo, Kaile Su(通信作者), Abdul Sattar and Mark Reynolds， Verification of Multi-agent Systems via Bounded Model Checking, 18th Australian Joint Conference on Artificial Intelligence, Lecture Notes in Computer Science, 69-78, Springer.
　　14．苏开乐，吕关锋，陈清亮，基于知识结构的认证协议验证，中国科学（Ｅ辑），2005年, 第35卷, 第4期 337 – 351
　　15．Kaile Su, Abdul Sattar, Guido Governatori, Qingliang Chen, A computationally grounded logic of knowledge, belief and certainty, AAMAS-05 , 149 - 156 ， 2005
　　16．Kaile Su, Abdul Sattar, Guido Governatori, Xiangyu Luo, A computationally grounded model of BDI-agents, International Joint Conference on Artificial Inteligence, 30 July - 5 August, 2005, Edinburgh, Scotland．（Short Paper）
　　17．Kaile Su, Abdul Sattar, Kewen Wang, Xiangyu Luo, Guido Governatori and Vineet Padmanabhan, Observation-based model for BDI-agents, In Proc．of AAAI-05, 190-195．2005
　　18．Kewen Wang, Abdul Sattar, Kaile Su，A theory of forgetting in logic programming, In Proc．of AAAI-05, 682-693．2005.
　　19．苏开乐, 骆翔宇, 吕关锋, 符号化模型检测CTL*, 计算机学报，2005年第11期
　　20．Kaile Su, Congxin Zhao,Guanfeng Lv,Han Lin, Qingliang Chen Formal Analysis and Improvement of the State Transition Model for Intrusion Tolerant System, WINE-2005, Lecture Notes in Computer Science, Springer, 2005.
　　21．R．van der Meyden, Kaile Su (作者以字母排序), Symbolic Model Checking the Knowledge of the Dining Cryptographers , 17th IEEE Computer Security Foundations Workshop ，2004, 280-291
　　22．Kaile Su, Guangfeng Lv and Yan Zhang, Reasoning about knowledge by variable forgetting, KR 2004, 576-586 June, 2004
　　23．Kaile Su, Model checking temporal logics of knowledge in distributed systems, AAAI 2004 （人工智能学科顶尖国际会议）, 98-103．July, 2004

　　指导研究生简况：成功指导了8位博士研究生和20多位硕士研究生。

　　*如果发现导师信息存在错误或者偏差，欢迎随时与我们联系，以便进行更新完善。

添加浙江师范大学学姐微信，或微信搜索公众号“考研派小站”，关注[考研派小站]微信公众号，在考研派小站微信号输入[浙江师范大学考研分数线、浙江师范大学报录比、浙江师范大学考研群、浙江师范大学学姐微信、浙江师范大学考研真题、浙江师范大学专业目录、浙江师范大学排名、浙江师范大学保研、浙江师范大学公众号、浙江师范大学研究生招生）]即可在手机上查看相对应浙江师范大学考研信息或资源。

浙江师范大学