Eventil - Find Tech Events
Official mobile app
FREE - In Google Play
Official mobile app
FREE - In App Store

Reprogramming Biology with F#

Nov 28, 2019 · London, United Kingdom

Please also sign up with our hosts Skills Matter to get an entry code for the meetup: https://skillsmatter.com/meetups/12862-reprogramming-biology-with-f-sharp

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.

I’ll also show demos of our public tools on:

- molecular programming via DNA strand displacement: https://www.microsoft.com/en-us/research/project/programming-dna-circuits/

- reasoning about stem cell decision making: https://www.microsoft.com/en-us/research/project/reasoning-engine-for-interaction-networks-rein/


Colin is a software developer working in the Biological Computation group at Microsoft Research, Cambridge, with a background in industrial automation and building analytical devices in the materials, pharmaceuticals, and aerospace industries. He applies this to building reproducible and effective systems in Microsoft Research's wet lab to validate biological designs. He also assists in the optimisation of computational methods to run far more efficiently, and then conveniently scaling over many machines on Azure.

Event organizers
  • F#unctional Londoners Meetup Group

    F#unctional Londoners is a meetup group that aims to bring together Londoners with an interest in functional programming with F#. Topics include: - Essentials of functional programming and F# - Assessing what kind of projects F# is well suited for - or not - Using F# alongside other languages and libraries - Asynchronous and parallel programming - Data visualisation - Scientific programming - Numerical methods and optimisation - Financial modelling

    Recent Events

Are you organizing Reprogramming Biology with F#?

Claim the event and start manage its content.

I am the organizer

based on 0 reviews

Featured Events