Lightning Talk: Lessons from F#: From Academic Prototypes to Safety-Critical Systems
Please log in to watch this conference skillscast.
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.
In this talk, Heidy will share with you the lessons I've learned from F# that bolstered her success as a student, an academic, and now as a consultant formally verifying safety-critical systems.
YOU MAY ALSO LIKE:
- T2: A Temporal Property Verifier in F# (SkillsCast recorded in March 2013)
- Functional Concurrency in .NET with C# and F# with Riccardo Terrell (Online Course on 1st - 4th December 2020)
- F# eXchange 2020 (Online Conference on 21st October 2020)
- Haskell eXchange 2020 (Online Conference on 4th - 5th November 2020)
- Applied Domain-Driven Design — Full-Stack Event Sourcing (SkillsCast recorded in July 2020)
- Intro to OCaml (SkillsCast recorded in June 2020)
Thank you to our sponsors and partners
Platinum
Gold
Silver
Lightning Talk: Lessons from F#: From Academic Prototypes to Safety-Critical Systems
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.