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.