Dr Kaile Su

Contact Details

Position:	Element:	Campus:

Contact Details
Phone:
Email:	k.su@griffith.edu.au

Research Description

Model hecking multi-agent systems, Verification of security protocols, Modal logics

Research Expertise

Computation Theory and Mathematics (general)

Computational logics

Logics and Meanings of Programs

Applied logic

Other Artificial Intelligence

Artificial intelligence
Artificial intelligence - agents