Zckn4lwbxjlkrawg8ajl
SkillsCast

Lightning Talk: Lessons from F#: From Academic Prototypes to Safety-Critical Systems

5th April 2018 in London at CodeNode

There are 24 other SkillsCasts available from F# eXchange 2018

Please log in to watch this conference skillscast.

Https s3.amazonaws.com prod.tracker2 resource 41088130 skillsmatter conference skillscast o9nohu

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:

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.

SkillsCast

Please log in to watch this conference skillscast.

Https s3.amazonaws.com prod.tracker2 resource 41088130 skillsmatter conference skillscast o9nohu

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:

Thanks to our sponsors

About the Speaker

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.

Photos