Dr Kaile Su
Contact Details
| Position: |
Element: |
Campus: |
Research Description
- Model hecking multi-agent systems, Verification of security protocols, Modal logics
Research Expertise
Computation Theory and Mathematics (general)
Logics and Meanings of Programs
Other Artificial Intelligence
- Artificial intelligence
- Artificial intelligence - agents