Generate a tailored SOP for Dr. Dalal Alrajeh. Improve your application with a focused, well-structured draft.
Dalal Alrajeh is an Associate Professor in the Department of Computing at Imperial College London, where she serves as the Director of Postgraduate Research. Her research primarily focuses on formal methods for designing and implementing provably correct software systems. This includes a particular emphasis on the generation, analysis, and implementation of formal specifications for safe AI-enabled systems. Alrajeh's work addresses applications of these methods in tackling cyber-enabled crime, with research papers that highlight the intersection of artificial intelligence and law enforcement efforts. She actively seeks motivated PhD students with a strong interest in formal methods, software engineering, and artificial intelligence, offering scholarships for prospective candidates. She is also involved in the organisation of workshops and is a member of various programme committees, contributing to the academic community through her research publications and engagement.
Specialisms available in Materials for the Energy Transition or Theory and Simulation of Materials.