Dr Dalal Alrajeh

Associate Professor · Faculty of Engineering

Imperial College London · United Kingdom

Formal methodssoftware engineeringartificial intelligence for correct softwareand software for digital forensics

About

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.

Data verified 9/6/2026Source

Student reviews

No reviews yet. Be the first to share your experience.