SkillsCast
T2: A Temporal Property Verifier in F#
SkillsCast
About the Speaker
Photos
YOU MAY ALSO LIKE:
- Lightning Talk: Lessons from F#: From Academic Prototypes to Safety-Critical Systems (SkillsCast recorded in April 2018)
- Functional Concurrency in .NET with C# and F# with Riccardo Terrell (Online Course on 7th - 10th December 2021)
- F# eXchange 2021 (Online Conference on 20th October 2021)
- ScalaCon 2021: November Edition (Online Conference on 2nd - 5th November 2021)
- Accessibility Testing: Why and How to involve People with Disabilities (Online Meetup on 28th October 2021)
- Formal Verification of Subsets of the Rust Language (SkillsCast recorded in June 2021)
- Journey to the Centre of the JVM (SkillsCast recorded in May 2021)
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.