The Programming Principles and Tools group devises formal techniques and models for understanding programs, programming abstractions and languages, and develops related implementation technology.
Programming Principles and Tools is part of Microsoft Research Cambridge. Our work can be grouped into four themes:
|Programming principles |
We develop new ways to write, structure and reason about programs running in various environments. This includes advanced type and module systems, logics and semantic models, and probabilistic programming for machine learning.
We contribute to the Haskell and F# programming languages. We have a strong interest in the Coq theorem prover. We build world-class verification tools as well as tools for modelling various biological systems.
|Constructive security |
We work on various security and privacy issues surrounding programming, applications and systems. [more]
We focus on the design and analysis of executable programs describing biological phenomena, DNA computing, and molecular programming.
- Welcome to our latest PPT interns: Ben Dowling
- Welcome to Neil Toronto who has joined PPT as a Research Software Engineer. Neil previously worked as a Postdoctoral Researcher at University of Maryland, USA.
- Simon Peyton Jones has been elected a Fellow of the Royal Society (FRS)
- Congratulations to Cedric Fournet and Markulf Kohlweiss who received the Levchin Prize, provided by internet entrepreneur Max Levchin, at the Real World Cryptography Conference.
- The open-source release of miTLS happened during the last Open Source Summit in Paris on 18 November 2015. This featured in Next at Microsoft and Openness. Cedric got interviewed for The Register too. Further information can be found on the project website here.
- Luca Cardelli has been awarded the 2015 ACM SIGPLAN Programming Languages Achievement Award.
- Congratulations to Santiago Zanella-Beguelin who received a Best Paper Award at ACM CCS on 12 October 2015. The paper 'Imperfect Forward Secrecy: How Diffie-Hellman Fails In Practice' can be found here. The official announcement can be found on the ACM website but mistakenly listed as Best Student Paper Award. The paper also got a Pwnie Award for Most Innovative Research at BlackHat 2015 on 3 August 2015.
- Congratulations to Cedric Fournet and Markulf Kohlweiss, and their INRIA colleagues for a distinguished paper award at IEEE Security and Privacy, Oakland. The paper "A Messy State of the Union: Taming the Composite State Machines of TLS" is on testing implementations of TLS using a test harness built over their reference implementation miTLS, which led to their discovery of the FREAK attack on TLS.
- Cedric Fournet and Markulf Kohlweiss make it into the The Register for producing Geppetto.
- Programming Principles
and Tools Research Group
21 Station Road
Cambridge CB1 2FB, UK
+44 1223 479700