I am a member of the Software Analysis Research Group, where we are looking at:
- an up-front optimizing Java compiler called OptiJava
- issues relating to software reliability engineering, particularly Probabilistic Program Execution using Smalltalk,
- programming languages, particularly pure object-oriented languages like Smalltalk, Self and Ruby and mostly-functional languages like Scheme and Clojure,
My other academic interests include teaching and attempting to remove impediments to success in computer science for under-represented members of society (particularly women). I am also interested in literate programming and other aspects of text formatting.