I'm a third year Computer Science PhD student at University College London where I'm co-advised by Byron Cook and Nir Piterman (University of Leicester) as part of the PPLV group. Generally, I'm interested in formal verification, temporal logic, separation logic, termination, and non-termination of infinite-state systems. More recently I have been interested in the application of temporal logic to security systems.
Previously, I received my Bachelor of Science from Florida State University where I double majored in Computer Science and Philosophy with a minor in Mathematics.
E-mail: [h dot khlaaf at ucl dot ac dot uk]E-mail Me