ICFP/SPLASH 2025 (series) / Dalal Alrajeh
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:requirements engineering, specification synthesis, symbolic learning
Contributions
Using general profile