Portrait of Matthew Parkinson

Matthew Parkinson

Researcher

About

I am a Researcher in the Programming Principles and Tools group.  I am investigating memory management for managed programming languages.  I am also working on verification for concurrent programs.

Prior to joining Microsoft in March 2010, I spent the last four years in the Cambridge Computer Lab on an RAEng/EPSRC research fellowship investigating how to verify object-oriented and concurrent programs meet their specifications. I have also made some brief forays into programming language semantics and design.

Before the research fellowship I did a post-doc with Richard Bornat verifying crazy concurrent programs running on exotic hardware. And prior to that I did a Ph.D. in the Computer Lab in Cambridge with Gavin Bierman and Andrew Pitts on extending separation logic to reason about Java programs.

Publications

2013

2012

2011

2010

2009

2008

2007

2006

2005

Projects