浙江師范大學數(shù)理與信息工程學院導師：蘇開樂 正文

　　姓名：蘇開樂　
　　職稱：教授　
　　所在學院：數(shù)理與信息工程學院　

　　研究方向：模型檢測多智能體系統(tǒng)，安全協(xié)議驗證，難解問題的算法
　　學術兼職：《軟件學報》責任編委，中國數(shù)理邏輯學會理事。
　　主講課程：主講本科課程：算法設計與分析
　　
　　科研項目（課題）
　　主持國家杰出青年科學基金項目，國家自然科學基金委，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, 實例化空間: 一種新的安全協(xié)議驗證邏輯的語義模型．計算機學報，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．蘇開樂，呂關鋒，陳清亮，基于知識結構的認證協(xié)議驗證，中國科學（Ｅ輯），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多位碩士研究生。

　　*如果發(fā)現(xiàn)導師信息存在錯誤或者偏差，歡迎隨時與我們聯(lián)系，以便進行更新完善。

添加浙江師范大學學姐微信，或微信搜索公眾號“考研派小站”，關注[考研派小站]微信公眾號，在考研派小站微信號輸入[浙江師范大學考研分數(shù)線、浙江師范大學報錄比、浙江師范大學考研群、浙江師范大學學姐微信、浙江師范大學考研真題、浙江師范大學專業(yè)目錄、浙江師范大學排名、浙江師范大學保研、浙江師范大學公眾號、浙江師范大學研究生招生）]即可在手機上查看相對應浙江師范大學考研信息或資源。

浙江師范大學