معرفی
Dalal Alrajeh serves as a Reader (equivalent to Associate Professor) in the Department of Computing within the Faculty of Engineering at Imperial College London. She maintains an active research profile and contributes significantly to the software engineering academic community through conference service.
Her research specializes in formal requirements engineering, with particular expertise in specification synthesis and logic-based learning techniques. Her work bridges theoretical foundations with practical applications in software verification, focusing on methods to automatically generate and adapt formal specifications for assured adaptive systems.
Dr. Alrajeh demonstrates strong community engagement through extensive service on program committees for premier software engineering conferences including ASE, ICSE, and ESEC/FSE across multiple years (2021-2026). Her technical contributions include work on adaptation frameworks for specification learners in assured adaptive systems, as evidenced by her NIER track publication at ICSE 2021.
