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.
