The mission of the Computational Science Lab is to pioneer new kinds of science to address important scientific and societal challenges, and create new kinds of science-based technology innovation. To achieve this we have established a new kind of Laboratory, of new kinds of scientists, pioneering new kinds of computational methods, and new kinds of scientific software tools.
Biological Computation GroupThe Group is focused on the development and advancement of a new field of Biological Computation, that aims to transform our understanding of biology by considering biological systems as living computation, and to develop the techniques needed to design and program computation in living systems.
Computational Ecology and Environmental Science GroupThe Group is focused on enabling, making and accelerating fundamental advances in our understanding of, and ability to predict the impact of future changes to, the global climate and ecological systems and processes: Earth’s life support system.
3 Tech Giants Quietly Investing in Synthetic Biology: Microsoft's newest programming language...
June 2014: Paper in New Scientist: Windows bug-testing software cracks stem cell programs
June 2014: Paper in The Scientist: Minimal Toolkit for Stem Cell Self-Renewal
June 2014: Paper from Inside Microsoft Research-technet.com: Theorem Prover Sheds New Light on Stem-Cell Behavior
- Y. P. Wang, J. Jiang, B. Chen-Charpentier, F. B. Agusto, B. Hastings, F. Hoffman, M. Rasmussen, M. J. Smith, K. Todd-Brown, Y. Wang, X. Xu, and Y. Q. Luo, Responses of two nonlinear microbial models to warming or increased carbon input, in Biogeosciences Discussions, 7 September 2015.
- Neil Dalchau, Niall Murphy, Rasmus Petersen, and Boyan Yordanov, Synthesizing and tuning chemical reaction networks with specified behaviours, in International Conference on DNA Computing and Molecular Programming, Springer, August 2015.
- Rasmus Petersen, Matthew R. Lakin, and Andrew Phillips, A strand graph semantics for DNA-based computation, in Theoretical Computer Science, In press, July 2015.
- Neil Dalchau, Harish Chandran, Nikhil Gopalkrishnan, Andrew Phillips, and John Reif, Probabilistic analysis of localized DNA hybridization circuits, in ACS Synthetic Biology, American Chemical Society, June 2015.
- Michael Pedersen, Andrew Phillips, and Gordon D. Plotkin, A High-Level Language for Rule-Based Modelling, in PLoS ONE, In press, June 2015.