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
As an affiliated user group of fsharp.org (http://community.fsharp.org/), the F# Software Foundation, we strive to build a great community of passionate people who care deeply about F#, and want to make our community a safe and welcoming place for everyone. We expect everyone attending our events to be respectful, open, and considerate, and to follow the F# Software Foundation Code of Conduct (http://foundation.fsharp.org/code_of_conduct). If someone's behavior makes you feel uncomfortable or unsafe in any way, please report the issue by emailing firstname.lastname@example.org.
** PLEASE NOTE CHANGE OF DATE AND VENUE **
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.