Heidy Khlaaf
Ph.D. University College London 2018
Dissertation:
The Past, Present, and Future(s): Verifying Temporal Software Properties
Advisor 1: Alexandra Silva
Advisor 2: Nir Piterman
Advisor 3: Byron Cook
No students known.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 300154 for the advisor ID.