conf.researchr.org / Dalal Alrajeh
![Dalal Alrajeh](https://conf.researchr.org/getProfileImage/dalalalrajeh1/a079f98f-3b2e-42e6-a01b-842ac400b489/small.jpg?1711485463000)
Registered user since Sat 15 Feb 2020
Name:Dalal Alrajeh
Country:United Kingdom
Affiliation:Imperial College London
Personal website: https://www.doc.ic.ac.uk/~da04/
X (Twitter): https://x.com/DalalAlrajeh
Research interests:Formal requirements, specification synthesis, logic-based learning
Contributions