Dalal Alrajeh

Dalal Alrajeh is an Associate Professor of Computer Science at the Department of Computing, Imperial College London. Her research focuses on formal methods for designing provably correct software systems, with an emphasis on the generation, analysis, and implementation of formal specifications for safe AI-enabled systems. Her work applies to AI-enabled systems for tackling cyber-enabled crime. She serves as the department's Director of Postgraduate Research and is currently looking for motivated PhD students with an interest in formal methods, software engineering, and artificial intelligence. She is also involved in several academic committees and has published research on AI's role in law enforcement.

Dalal Alrajeh is an Associate Professor in the Department of Computing at Imperial College London, specializing in Formal methods, software engineering, and Symbolic AI. Her research focuses on enhancing software systems through rigorous formal techniques, particularly in requirements engineering, model checking, and automated reasoning. She explores the integration of symbolic AI with formal methods to improve system reliability, forensic readiness, and adaptability. Her work includes developing methods for requirements completeness, evidence preservation, and automated support for diagnosis and repair. Alrajeh's research also extends to algorithmic trading and domain-independent planning heuristics, emphasizing the application of formal verification and symbolic reasoning in real-world systems.