nicholas at fitzroydale dot org
Computer science favourite list: Computer programs which aren't full of bugs. The practical outcomes of automated reasoning. Performance optimisation.
My doctoral thesis is about improving the performance of component-based operating systems using automated and semi-automated domain-specific optimisation techniques for inter-component communication (though I gave it a slightly shorter title).