Dr Dalal Alrajeh

Associate Professor · Faculty of Engineering

Imperial College London · United Kingdom

Formal methodssoftware engineeringartificial intelligence for correct softwareand software for digital forensics

简介

Designing and developing safe AI systems by using formal methods, specification, and verification of multi-agent systems (MAS) by means of logic-based languages, reasoning about strategic abilities of autonomous agents in MAS, and the representation of their knowledge.

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。