![Dalal Alrajeh](https://2024.esec-fse.org/getProfileImage/dalalalrajeh/13479537-7f7f-4d8f-a6f2-6db70f99ea84/small.jpg?1711475873000)
Registered user since Thu 12 Apr 2018
Name:Dalal Alrajeh
Country:United Kingdom
Affiliation:Imperial College London
Personal website: http://www.doc.ic.ac.uk/~da04
X (Twitter): https://x.com/DalalAlrajeh
Research interests:Formal methods, requirements, specification, logic-based learning
Contributions
Using general profile