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:
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.
We work on various security and privacy issues surrounding programming, applications and systemms, seeking robust solutions to real-world large-scale security and privacy problems. [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: Tej Chajed, Mary Maller, Fahad Ausaf, Ben Simner, Abhinav Verma, Mahmoud Khademi, Jack Williams, Dylan McDermott, Matthew Windsor.
- Congratulations to Manuel Costa who has been awarded the Eurosys Jochen Liedtke Young Researcher Award at the Eurosys Conference.
- Welcome to Sylvan Clebsch and Pantazis Deligiannis who have both joined PPT as an RSDE. Sylvan and Pantazis are formerly from Imperial College London.
- Welcome to Steven Woodhouse who has joined PPT as a Post Doc Researcher and Felienne Hermans from Delft University of Technology who has joined us as a Visiting Researcher.
- Congratulations to Samin Ishtiaq on winning the 2016 CAV Award for work on heap analysis via SLAyer.
- Jasmin Fisher has been elected a Fellow of Trinity College in Cambridge.
- Mikolas Janota participated with his solvers for Quantified Boolean Formulas (ABFs) in the QBF-Eval – a QBF competition and has received several awards but most importantly – Prenex CNF Track, First Place, Solver: bloqqer-RAReQS and 2QBF Track, First Place, Solver: AREQS.
- Congratulations to Don Syme and Tomas Petricek who received a Distinguished Paper Award at PLDI 2016 for the paper ‘Types from data: Making structured data first-class citizens in F#’.
- 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)
You’re welcome to play with some of our work in your browser!
The Programming Principles and Tools group is always looking for Interns and Post-docs. We are also interested to hear from outstanding researchers and especially recent PhDs. For further information please contact Andy Gordon or any member of the team.
Programming Principlesand Tools Research GroupMicrosoft Research21 Station RoadCambridge CB1 2FB, UK+44 1223 479700