28 November 2019
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.