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
Twitter:https://twitter.com/DalalAlrajeh
Research interests:Formal methods, requirements, specification, logic-based learning
Contributions
| ICSE 2021 | Session Chair of Early PhD #1 (part of DS - Doctoral Symposium) | ||||||||||||||||||||||||||||||||||||||||
| FormaliSE 2021 | Committee Member in Programme Committee within the FormaliSE 2021-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICSE 2021-profile
View general profile
View general profile