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/
Twitter:https://twitter.com/DalalAlrajeh
Research interests:Formal requirements, specification synthesis, logic-based learning
Contributions
| ICSE 2023 | Program Committee Member in Technical Track within the Technical Track-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile