Lab directory
Prof. Dalal Alrajeh — Research Profile
Imperial College London · Department of Computing
This research profile is based on public faculty information. An independent lab and student recruitment have not yet been verified.
Information sourceChecked Jul 22, 2026
About
Prof. Dalal Alrajeh at Imperial College London Department of Computing lists Formal methods, software engineering, artificial intelligence for correct software as their registered research area.
Research keywords
Formal methodssoftware engineeringartificial intelligence for correct software
Other labs in this department
- Abbas Edalat 교수 연구실
Computational geometry, optimization theory, game theory
- Alastair Donaldson 교수 연구실
Formal verification, software performance optimization
- Aldo Faisal 교수 연구실
Neurotechnology, machine learning, algorithmic behavior prediction
- Alessandra Russo 교수 연구실
Computational logic, logic-based machine learning, autonomous systems
- Alessio Lomuscio 교수 연구실
AI verification, computer vision validation, certified learning
- Andrew Davison 교수 연구실
Computer vision, robotics, SLAM, augmented reality