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)
- Intro to OCaml (in Online Event on 25th June 2020)
- Keynote: Haskell is a Great Host (SkillsCast recorded in October 2019)
- Keynote: (Programming Languages) in Agda = Programming (Languages in Agda) (SkillsCast recorded in October 2019)
Lightning Talk: Lessons from F#: From Academic Prototypes to Safety-Critical Systems
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.