Meet up

T2: A Temporal Property Verifier in F#

Thursday, 28th March at Skills Matter, London

This meetup was organised by F# Londoners in March 2013

Overview

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.


Who's coming?

Attending Members

Sorry, no member has joined this event so far.

Photos