Interests: virtual machines; dynamic optimisations; program verification; and all things new and interesting.