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

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

　　研究方向：模型檢測(cè)多智能體系統(tǒng)，安全協(xié)議驗(yàn)證，難解問題的算法
　　學(xué)術(shù)兼職：《軟件學(xué)報(bào)》責(zé)任編委，中國(guó)數(shù)理邏輯學(xué)會(huì)理事。
　　主講課程：主講本科課程：算法設(shè)計(jì)與分析
　　
　　科研項(xiàng)目（課題）
　　主持國(guó)家杰出青年科學(xué)基金項(xiàng)目，國(guó)家自然科學(xué)基金委，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 （人工智能學(xué)科頂尖國(guó)際期刊）
　　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．（人工智能學(xué)科頂尖國(guó)際會(huì)議）
　　5．Han Lin, Kaile Su, Chu Min Li: Within-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving．AAAI 2008: 351-356．（人工智能學(xué)科頂尖國(guó)際會(huì)議）
　　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, 實(shí)例化空間: 一種新的安全協(xié)議驗(yàn)證邏輯的語義模型．計(jì)算機(jī)學(xué)報(bào)，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．蘇開樂，呂關(guān)鋒，陳清亮，基于知識(shí)結(jié)構(gòu)的認(rèn)證協(xié)議驗(yàn)證，中國(guó)科學(xué)（Ｅ輯），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．蘇開樂, 駱翔宇, 呂關(guān)鋒, 符號(hào)化模型檢測(cè)CTL*, 計(jì)算機(jī)學(xué)報(bào)，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 （人工智能學(xué)科頂尖國(guó)際會(huì)議）, 98-103．July, 2004

　　指導(dǎo)研究生簡(jiǎn)況：成功指導(dǎo)了8位博士研究生和20多位碩士研究生。

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

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

浙江師范大學(xué)