Heidy A. Khlaaf

Computer Science PhD Candidate

I'm a second year Computer Science PhD student at University College London where I'm co-advised by Byron Cook and Peter O'Hearn (UCL & Facebook) as part of the PPLV group. Additionally, I am technically advised by Nir Piterman (University of Leicester). Generally, I'm interested in formal verification, temporal logic, separation logic, termination, and non-termination of infinite-state systems.

I also actively collaborate with Microsoft Research Cambridge as part of the PPT group where I am extending the T2 tool to support temporal property verification.

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.

I'm currently away at Amazon NYC working as a Research Scientist Intern.

E-mail: [h dot khlaaf at ucl dot ac dot uk]

E-mail Me