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
FSE 2024-profile
View general profile
View general profile