Andrew Phillips
HEAD OF BIO COMPUTATION GROUP
.
Programming Biology
I am currently developing visual programming languages and tools for simulating and analysing complex models of biological systems. One of the aims is to develop a language in which large models of biological systems can be programmed from simple components in a modular fashion. An ultimate goal is to be able to program and simulate a biological system on a computer, before implementing the final design inside a living organism.
Projects
- Stochastc Pi Machine (SPiM). A visual programming language for designing and simulating computer models of biological processes.
- Genetic Engineering of Cells (GEC). A programming language for genetic engineering of living cells.
- DNA Strand Displacement (DSD). A programming language for composable DNA circuits.
- Immune System Modelling. A quantitative model of MHC class I peptide editing.
Press
- Computing with soup. The Economist, 3 March 2012.
- U.K. Researcher Garners TR35 Accolade. Microsoft Research, 23 August 2011.
- Computer-assisted genetic engineering. Technology Review, 3 August 2011.
- Programming Cells. Microsoft Next, 22 July 2011.
- Coming Soon to a Lab Near You: Drag-and-Drop Virtual Worlds. Science, 11 February 2011.
- Coding 4 DNA. Microsoft Channel 9, 23 March 2010.
- Science Fair for Grown Ups: Virtual Cells. MSNBC, 4 March 2008.
- Making Computer Systems Reveal Biological Secrets. Microsoft Research, 8 March 2007.
Publications
- Matthew Lakin, David Parker, Luca Cardelli, Marta Kwiatkowska, and Andrew Phillips, Design and Analysis of DNA Strand Displacement Devices using Probabilistic Model Checking, in Journal of the Royal Society Interface, vol. 9, no. 72, pp. 1470-1485 , The Royal Society, July 2012
- Timothy J. Rudge, Paul J. Steiner, Andrew Phillips, and Jim Haseloff, Computational Modeling of Synthetic Microbial Biofilms, in ACS Synthetic Biology, vol. 1, no. 8, pp. 345-352, American Chemical Society, July 2012
- Neil Dalchau, Matthew Smith, Samuel Martin, James R Brown, Stephen Emmott, and Andrew Phillips, Towards the rational design of synthetic cells with prescribed population dynamics, in Journal of the Royal Society Interface, vol. 9, pp. 2883-2898, The Royal Society, May 2012
- Matthew Lakin, Loïc Paulevé, and Andrew Phillips, Stochastic Simulation of Multiple Process Calculi for Biology, in Theoretical Computer Science, vol. 431, pp. 181-206, Elsevier, May 2012
- Matthew Lakin, Simon Youssef, Luca Cardelli, and Andrew Phillips, Abstractions for DNA circuit design, in Journal of the Royal Society Interface, vol. 9, no. 68, pp. 470-486, The Royal Society, March 2012
- Matthew Lakin, Simon Youssef, Filippo Polo, Stephen Emmott, and Andrew Phillips, Visual DSD: a design and analysis tool for DNA strand displacement systems, in Bioinformatics, vol. 27, no. 22, pp. 3211–3213, Oxford University Press, November 2011
- Neil Dalchau, Andrew Phillips, Leonard D Goldstein, Mark Howarth, Luca Cardelli, Stephen Emmott, Tim Elliott, and Joern M Werner, A peptide filtering relation quantifies MHC class I peptide optimization, in PLoS Computational Biology, vol. 7, no. 10, pp. e1002144, PLoS, 13 October 2011
- Harish Chandran, Nikhil Gopalkrishnan, Andrew Phillips, and John Reif, Localized Hybridization Circuits, in International Conference on DNA Computing and Molecular Programming, vol. 6937, pp. 64-83, Springer Verlag, September 2011
- Matthew Lakin and Andrew Phillips, Modelling, simulating and verifying Turing-powerful strand displacement systems, in International Conference on DNA Computing and Molecular Programming , vol. 6937, pp. 130-144, Springer Verlag, September 2011
- Jacob Beal, Andrew Phillips, Douglas Densmore, and Yizhi Cai, High-Level Programming Languages for Biomolecular Systems, in Design and Analysis of Biomolecular Circuits: Engineering Approaches to Systems and Synthetic Biology, Springer, 2011
- Andrew Phillips, Matthew Lakin, and Loïc Paulevé, Stochastic Simulation of Process Calculi for Biology, in Electronic Proceedings in Theoretical Computer Science, vol. 40, pp. 1-5, November 2010
- Andy van Hateren, Ed James, Alistair Bailey, Andrew Phillips, Neil Dalchau, and Tim Elliott, The cell biology of major histocompatibility complex class I assembly: towards a molecular understanding, in Tissue Antigens, vol. 76, no. 4, pp. 259 - 275, Wiley, October 2010
- Loïc Paulevé, Simon Youssef, Matthew R. Lakin, and Andrew Phillips, A Generic Abstract Machine for Stochastic Process Calculi, in Computational Methods in Systems Biology, pp. 43--54, September 2010
- Dennis Wang, Luca Cardelli, Andrew Phillips, Nir Piterman, and Jasmin Fisher, Computational modeling of the EGFR network elucidates control mechanisms regulating signal dynamics, in BMC Systems Biology, vol. 3, no. 118, December 2009
- Andrew Phillips and Luca Cardelli, A programming language for composable DNA circuits, in Journal of the Royal Society Interface, 17 June 2009
- Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanogullari, and Andrew Phillips, A Process Model of Rho GTP-binding Proteins, in Theoretical Computer Science, Elsevier , 18 May 2009
- Michael Pedersen and Andrew Phillips, Towards programming languages for genetic engineering of living cells, in Journal of the Royal Society Interface, 15 April 2009
- Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanogullari, and Andrew Phillips, A Process Model of Actin Polymerisation, in Electronic Notes in Theoretical Computer Science, vol. 229, no. 1, pp. 127-144, Elsevier , February 2009
- Andrew Phillips, A Visual Process Calculus for Biology, in Symbolic Systems Biology: Theory and Methods, Jones and Bartlett Publishers, In Press, 2009
- Andrew Phillips, An Abstract Machine for the Stochastic Bioambient Calculus, in Electronic Notes in Theoretical Computer Science, vol. 227, pp. 143-159, Elsevier , January 2009
- Andrew Phillips, Specifying and Implementing Secure Mobile Applications, in Process Algebra for Parallel and Distributed Processing , Chapman & Hall/CRC, December 2008
- Vinod Mugathan, Andrew Phillips, and Maria Vigliotti, BAM: BioAmbient Machine, in Application of Concurrency to System Design, pp. 45-49, IEEE Computer Society, September 2008
- Ralf Blossey, Luca Cardelli, and Andrew Phillips, Compositionality, Stochasticity and Cooperativity in Dynamic Models of Gene Regulation, in HFSP Journal, vol. 2, no. 1, pp. 17–28, HFSP Publishing, February 2008
- Johannes Borgstroem, Andrew Gordon, and Andrew Phillips, A Chart Semantics for the Pi-calculus, in Electronic Notes in Theoretical Computer Science, vol. 194, no. 2, pp. 3–29, Elsevier, January 2008
- Andrew Phillips and Luca Cardelli, Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus, in Computational Methods in Systems Biology, vol. 4695, pp. 184–199, Springer, September 2007
- Andrew Phillips, Luca Cardelli, and Giuseppe Castagna, A Graphical Representation for Biological Processes in the Stochastic Pi-calculus, in Transactions in Computational Systems Biology, vol. 4230, pp. 123–152, Springer, November 2006
- Andrew Phillips, Specifying and Implementing Secure Mobile Applications in the Channel Ambient System, Ph.D. Thesis, April 2006
- Editors, Stephen Emmott, Ehud Shapiro, Stuart Rison, Andrew Phillips, and Andrew Herbert, Towards 2020 Science, Microsoft, March 2006
- Ralf Blossey, Luca Cardelli, and Andrew Phillips, A Compositional Approach to the Stochastic Dynamics of Gene Networks, in Transactions in Computational Systems Biology, vol. 3939, no. 3939, pp. 99–122, Springer, January 2006
- Andrew Phillips and Luca Cardelli, A Graphical Representation for the Stochastic Pi-calculus, in Concurrent Models in Molecular Biology, August 2005
- Andrew Phillips and Luca Cardelli, A Correct Abstract Machine for the Stochastic Pi-calculus, in Concurrent Models in Molecular Biology, August 2004
- Andrew Phillips, Nobuko Yoshida, and Susan Eisenbach, A Distributed Abstract Machine for Boxed Ambient Calculi, in European Symposium on Programming, vol. 2986, pp. 155–170, Springer, April 2004
