Heidy Khlaaf is a Research Consultant at Adelard LLP where she evaluates, specifies, and verifies the implementations of safety-critical systems. She received her PhD from University College London where she developed novel research methodologies, in part with Microsoft Research, to fully-automate the verification of temporal properties over software systems.
Talks I've Given
-
Lightning Talk: Lessons from F#: From Academic Prototypes to Safety-Critical Systems
Featuring Heidy Khlaaf
In the past decade, F# has shown its potential as one of the most successful functional languages in the software development community. But F#'s success reaches beyond the confines of software engineering, and expands into the realms of education, academia, and research.
functional-programming fsharpx f# f-sharp -
T2: A Temporal Property Verifier in F#
Featuring Heidy Khlaaf
T2 is a tool created for the purpose of answering sophisticated questions about the universal temporal behaviour of programs.
It automatically synthesizes execution environments that impose temporal properties that would not otherwise hold. Using F#, we are able to properly express, model, and...
f# .net functional functional-programming