HD-SEC - Key Persons
Dr Asieh Salehi Fathabadi is a senior researcher in formal methods and has experience in tool development and verification.
Dr Dana Dghaym is a lecturer in formal methods and has experience in tool development and verification.
Dr Robert Thorburn is a researcher in cyber security, working on privacy, systems design, and the IoT.
Dr Thai Son Hoang is a leading researcher in refinement-based formal methods, including Event-B.
Job Titles:
- Principal Investigator, Professor