APR 05 - News flash: I have taken leave of MIT and am now working at Google in New York.
SEP 04 - I am a fourth-year PhD candidate in the Computer Science & AI Lab at MIT near Boston, MA.. I'm in the Program Analysis Group, supervised by Michael Ernst, and I'm looking at programming language design, implementation and analysis to improve programmer productivity. My Master's thesis was on the problem of automatic inference of generic types in Java; a paper on this work appears in OOPSLA'04.
For the summers of 2002 and 2003, I was working at IBM Research in New York, and living in Manhattan; first on adding immutable types to Java, then on the use of pointer analysis to enable high-level optimisation of serialisation-intensive Java programs. I have returned there for Fall 2004 to continue work on pointer analysis.
Before moving to the US, I lived in England; most recently in Cambridge, where I studied for three years as an undergraduate, then worked for five years in various systems-engineering jobs, including a year in the Research group of the microprocessor design firm, ARM Ltd.
Here are some handy links: