He worked on features like static type checking and static compilation, compilation customization and AST transformations, and lately, on Groovy support in Android development.