My interests include functional and managed object-oriented programming languages and their implementation, program transformation, program specification, software development, compilers, parallel programming, and bioinformatics. See my real homepage for full information, and also my online CV.