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# (in London on 9th - 10th September 2019)
- Modern Application Development with C# and .NET Core (in London on 16th - 19th September 2019)
- ProgNET London 2019 (in London on 11th - 13th September 2019)
- Haskell eXchange 2019 (in London on 10th - 11th October 2019)
- Keynote by Iris Classon on .NET Core and More: 30 Things You Should Know (in London on 28th August 2019)
- London .NET September 2019 with James Bender (in London on 4th September 2019)
- GraphQL: May the Best API Win! (SkillsCast recorded in July 2019)
- Scala 2.13 and Beyond! (SkillsCast recorded in April 2019)
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.
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# (in London on 9th - 10th September 2019)
- Modern Application Development with C# and .NET Core (in London on 16th - 19th September 2019)
- ProgNET London 2019 (in London on 11th - 13th September 2019)
- Haskell eXchange 2019 (in London on 10th - 11th October 2019)
- Keynote by Iris Classon on .NET Core and More: 30 Things You Should Know (in London on 28th August 2019)
- London .NET September 2019 with James Bender (in London on 4th September 2019)
- GraphQL: May the Best API Win! (SkillsCast recorded in July 2019)
- Scala 2.13 and Beyond! (SkillsCast recorded in April 2019)
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.