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)
- F# eXchange 2020 (Online Conference on 21st October 2020)
- Haskell eXchange 2020 (Online Conference on 3rd - 4th November 2020)
- London Calling (Online Meetup on 24th September 2020)
- Applied Domain-Driven Design — Full-Stack Event Sourcing (SkillsCast recorded in July 2020)
- Intro to OCaml (SkillsCast recorded in June 2020)
Thanks to our sponsors
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.