I'm an LFCS postgraduate at the Department of Computer Science, University of Edinburgh, Scotland. My principal research interests are typed based program analysis and type systems for concurrent and distributed languages. I'm working on a polymorphic type systems for detecting locality of mutable objects in a ML-like distributed language. The goal of this type system is to provide information for the compiler about which data is local to a particular machine and which data can be acessed by different machines. Based on that information the compiler can perform optimizations that reduce the number of calls to a coherency protocol.