Reprogramming Biology With F#

button-icon-arrow-right
button-icon-arrow-left

button-icon-arrow-leftBack

Event

Reprogramming Biology with F#

28 November 2019

London

Added 01-Jan-1970

If we could program biology as effectively as we program digital computers, we could make fundamental breakthroughs in the treatment of disease and the biofabrication of materials, while gaining insight into the workings of life itself. I'll talk about how we use F# and:

- domain specific languages (FParsec)
- property-based testing (FsCheck),
- satisfiability analysis (Z3 via the .net bindings) to do this.

Top