Overview
Who's coming?
Photos
T2: A Temporal Property Verifier in F#
Heidy Khlaaf
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.
Attending Members
Sorry, no member has joined this event so far.