MSc student with David Pearce working on Type Inference in Java. Research Assistant over 06/07 summer working on the non null checking project. Completed BIT in 2006.