Research

Microsoft Research ()

Currently a Researcher at Microsoft Research Cambridge, working on Programming Languages for Biology, in collaboration with Luca Cardelli. Member of the Computational Biology Group and the European Science Initiative. 

Software

  • The Stochastic Pi Machine is a simulator for the stochastic pi-calculus, which can be used to simulate models of Biological systems.
  • The Channel Ambient System is a distributed programming environment for developing secure mobile applications based on a formal model. The system can help provide insight into the design of future programming languages for mobile computing.

Papers [bibtex]

  • Andrew Phillips. Efficient, Correct Abstract Machines for Stochastic Process Calculi with Mobile Compartments. Current draft (080529) [pdf]
  • Andrew Phillips. Specifying and Implementing Secure Mobile Applications. Process Algebra for Parallel and Distributed Processing. In press. Preliminary version [pdf]
  • Vinod Mugathan, Andrew Phillips and Maria Vigliotti. The BioAmbient Machine. In proceedings of Application of Concurrency to System Design (ACSD'08). In press. Preliminary version [pdf]
  • Ralf Blossey, Luca Cardelli and Andrew Phillips. Compositionality, Stochasticity and Cooperativity in Dynamic Models of Gene Regulation. HFSP Journal, 2(1):17–28 February 2008. ©HFSP. [pdf]. Supplement [pdf]
  • Johannes Borgstroem, Andrew Gordon and Andrew Phillips. A Chart Semantics for the Pi-calculus. Electronic Notes in Theoretical Computer Science, 194(2):3–29, January 2008. ©Elsevier. [pdf]
  • Andrew Phillips and Luca Cardelli. Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus.  In Proceedings of Computational Methods in Systems Biology (CMSB'07), 4695:184–199, September 2007.©Springer. [pdf]. Extended Version [pdf]
  • Andrew Phillips, Luca Cardelli and Giuseppe Castagna. A Graphical Representation for Biological Processes in the Stochastic Pi-calculus. Transactions in Computational Systems Biology (TCSB), 4230:123–152, November 2006. ©Springer. [pdf]
  • Stephen Emmott, Ehud Shapiro, Stuart Rison, Andrew Phillips, and Andrew Herbert, editors. Towards
    2020 Science. Microsoft Research, March 2006. [pdf] 2020 Science Website. Nature Special Issue.
  • Ralf Blossey, Luca Cardelli and Andrew Phillips. A Compositional Approach to the Stochastic Dynamics of Gene Networks, Transactions in Computational Systems Biology (TCSB), 3939:99–122, January 2006. ©Springer. [pdf] Supplement [pdf]
  • Andrew Phillips and Luca Cardelli. A Graphical Representation for the Stochastic Pi-calculus. In Proceedings of Concurrent Models in Molecular Biology (Bioconcur'05), affiliated with CONCUR'05, August 2005, San Francisco. [pdf] Talk [pdf]
  • Andrew Phillips and Luca Cardelli. A Correct Abstract Machine for the Stochastic Pi-calculus. In Proceedings of Concurrent Models in Molecular Biology (Bioconcur'04), affiliated with CONCUR'04,  August 2004, London. [pdf]  Talk [pdf]. Extended Version [pdf]
  • Andrew Phillips, Nobuko Yoshida and Susan Eisenbach. A Distributed Abstract Machine for Boxed Ambient Calculi. In Proceedings of the European Symposium on Programming (ESOP'04), LNCS, 2986:155–170, April 2004, Barcelona. ©Springer. [ps] Talk [ps]
  • Andrew Phillips, Susan Eisenbach and Daniel Lister. From Process Algebra to Java Code. In Proceedings of Formal Techniques for Java-like Programs (FTfJP'02), affiliated with ECOOP'02, June 2002, Malaga. [pdf]
  • Andrew Phillips. A Calculus for Distributed Computation. In Proceedings of the Symposium on Software Mobility and Adaptive Behaviour, affiliated with AISB'01, March 2001, York. [ps]
  • Andrew Phillips. Specifying and Implementing Secure Mobile Applications in the Channel Ambient System. PhD Thesis, Imperial College, April 2006. [pdf]

Talks

Press

Training