Education | Research | Resource 

 

 

Liang Chang (常亮)    PhD Candidate

 

Intelligent Science Research Group,

Key Laboratory of Intelligent Information Processing,

Institute of Computing Technology, Chinese Academy of Science.

 

No. 6 South Kexueyuan Rd. Beijing 100080

Tel: 86-10-62600508                    Email: changl@ics.ict.ac.cn

 

 

 

Education

 

 

    PhD. CandidateSep.2005- )Institute of Computing Technology, CAS, China.

Advisor: Prof. Zhongzhi Shi (史忠植)

 

MasterSep.2002–Jul.2005)Guilin University of Electronic and Technology, Guilin, China.

MajorApplication of Computer Science

Dissertation: On the Formal Analysis of Optimistic Fair Exchange Protocols

Advisor: Prof. Tianlong Gu (古天龙)

 

BachelorSep.1998–Jul.2002)Guilin University of Electronic and Technology, Guilin, China.

MajorComputer Science

 

 

 

Top

 

 

Research Interests

 

 

 

Description Logic
Semantic Web
Intelligent Agent

Reasoning about action

Formal Method (especially Model Checking )
Security Protocol

 

 

Top

 

 

Resources

 

 

  Technical Reports:

        

 

    Links:

DL homepage (maintained by Carsten Lutz)

Reasoning about actions

ACM's official A. M. Turing Award Page

ACM Turing Award Lectures

 

Conferences:

IJCAI2007

AAAI Conferences

KR2006

AAMAS2007

WWW2007

ICWS2007

ISWC2007

ESWC2007

ASWC2007

ICAPS2006