Heidy joined Adelard mid-2017. She has background and experience in both the application and research of formal verification methods for software systems. She has previously developed novel research methodologies, in part with University College London and Microsoft Research, to fully-automate the verification of temporal properties over software systems. She has additionally analysed the application of static analysis methods to resolve a wide variety of security vulnerabilities in an industrial setting at Amazon Web Services.
Heidy obtained a BSc in computer science and philosophy from Florida State University with a minor in mathematics, and has completed her PhD in computer science at the University College London with a specialty in formal verification.