Photo of Heidy Khlaaf.

Heidy Khlaaf

Heidy Khlaaf is a Computer Science PhD Candidate at the University College London where she works on the automated verification of software systems. Her work, in collaboration with Microsoft Research, has lead to the T2 Temporal Prover research project, which aims to build a high-performance automatic program verification tool for proving termination and liveness properties. Currently, she is exploring how academic verification tools can be applied on a scalable and an industrial level to prevent critical security breaches.


Implementation of a binary search tree in a text editor.

Cultural Ramifications of Technical Interviews

Punishing and irrelevant interview processes seek to produce disciplined high-tech employees, jumping through arbitrary hoops at the whims of employers.