He's very enthusiastic about program analysis and correctness, as well as efficient abstractions and low level tricks to implement these abstractions. In his own time he develops Loci, a systems programming language.