苏开乐

作者:来源:发布时间:2017-04-14

个人简介

苏开乐,男,1964年9月出生,湖南省隆回县人,现为
浙江师范大学数理信息学院特聘教授。


学习经历

1980.9-1984.7  湖南师范大学数学系获理学学士,数学教育专业

1984.9-1987.6  湖南大学应用数学系理学硕士学位,应用数学专业

1992.2-1995.3  南京大学数学系获理学博士学位,数学专业


工作简历

1996.8-1999.9  汕头大学科学研究院任副教授;

1999.9-2007.3  中山大学信息学院任教;副教授(1999.9)教授(2000.6)博导(2001.6)

2007.3-至今   北京大学信息学院任教授博士生导师

2010.9-至今   浙江师范大学数理信息学院任特聘教授。


人才梯队、荣誉

国家杰出青年基金获得者(2007.9)

国家百千万人才工程入选者(2013)

国家有突出贡献中青年专家(2013)


研究领域及成果

苏开乐对算法教科书中重讨论的三个基本的难解问题:最大可满足性问题(MaxSAT),最大团问题,和可满足性问题(SAT),分别提出了国际领先的经验算法Inc(W)Maxsatz,NuMVC, CCASat.

代表性论文、论著
  1. Kaile Su, More on Representation Theory for Default Logic, Information and Computation, 2001,169(1): 81-93.
  2. Kai Engelhardt, R. van der Meyden and Kaile Su , Modal logics with a hierarchy of local propositional quantiers , Proc. Advances in Modal Logic, Toulouse, Oct. 2002.
  3. 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)
  4. Kaile Su , Abdul Sattar, Xiangyu Luo, Model Checking Temporal Logics of Knowledge Via OBDDs. The Computer Journal 50(4),403-420 (2007).
  5. Kaile Su, Abdul Sattar, Guanfeng Lv and Yan Zhang, Variable Forgetting in Reasoning about Knowledge. Journal of Arti_cial Intelligence Research 35 677-716 (2009)

代表性科研项目

2008-2011,算机课科学基础研究,国家自然科学基金杰青项目

2010-2014,息服务的构造与验证,国家973计划课题


近三年教学情况

为本科生主讲课程有《难解问题的算法》;指导培养硕士研究生3名,培养博士研究生1名。


Profile

Su Kai Le,Male,born in Sep 1964,Hunan Longhui,Special Professor of College of Mathematics, Physics and Information Engineering,  Zhejiang Normal University


Education Background

Feb 1992-Mar 1995: Ph.D. in Mathematical Logic and its Application in Computer Science, Nanjing University. Thesis: Study on Open Logic and Default Logic. Advisors: Shaokui Mo and Decheng Ding.

Sep 1984 -Jun 1987: Master's degree in Applied Mathematics, Hunan University.

Sep 1980- Jul 1984: B.Sc. in Mathematics, Hunan Normal University.


Work Experiences

1996.8 -1999.9  Institute of Science, Shantou University, Associate Professor.

1999.9 -2007.3  School of Information, Associate Professor(from 1999.9),Professor(from 2000.6), and PhD Student Supervisor(from 2001.6)

2007.3-2013.12  School of CSEE, Peking University, Professor and PhD Student Supervisor

2010.9-  Special Professor of College of Mathematics, Physics and Information Engineering, Zhejiang Normal University


Honorable Titles and Awards:

Awardee of National Science Fund for Distinguished Young Scholars:(2007.9)


Research Field and Achievements

My major contributions are summarized under three topics: (1) modal logics of multi-agent systems, (2) model checking epistemic logics and (3) OBDD and satisability problem (SAT) solving. My initial research interest is in (1) and (2), and my previous research theoretically underpins both the issues. My research on model checking naturally concerns SAT and OBDD (Binary Decision Diagram), as they are promising techniques for overcoming the state space explosion problem when dealing with large scale model checking problems.   My students and I have designed word-wide leading experimental algorithms (Inc(W)Maxsatz,NuMVC, CCASa) for three most fundamental problems in computer science, namely, MaxSAT),Max-clique, and SAT


Representative Works

  1. Kaile Su, More on Representation Theory for Default Logic, Information and Computation, 2001,169(1): 81-93.
  2. Kai Engelhardt, R. van der Meyden and Kaile Su , Modal logics with a hierarchy of local propositional quantiers , Proc. Advances in Modal Logic, Toulouse, Oct. 2002.
  3. 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)
  4. Kaile Su , Abdul Sattar, Xiangyu Luo, Model Checking Temporal Logics of Knowledge Via OBDDs. The Computer Journal 50(4),403-420 (2007).
  5. Kaile Su, Abdul Sattar, Guanfeng Lv and Yan Zhang, Variable Forgetting in Reasoning about Knowledge. Journal of Articial Intelligence Research 35 677-716 (2009)
Research Projects

1. 2008-2011, Basic Research for Computer Science, National Science Fund awarded for Distinguished Young Scholars;

2. 2010-2014, Construction and Verication for Information Service,National 973 Program.


Teaching and Supervision during Last 3 Years

Research Course for undergraduate students Algorithms for Hard Problems;Supervised 3 Mater and 1 PhD student.