My research interests encompass the areas of programming languages,
formal models of computation in large scale distributed systems and static program analysis. Recently, I have focused on foundational
aspects of languages which include support for code mobility and security as a design objective. In particular, I am interested in the use of static type systems as a means for estimating the dynamic behaviour of programs and enforcing properties concerning the integrity of systems and secure information flow.