I do research on programming languages. In particular, I seek programming abstractions that can provide the expressiveness and assurance required to build extensible, reliable software.
A lot of polymorphism and extensibility in a lightweight package.
The flexibility of unchecked exceptions, the static guarantees of checked exceptions, and good performance too.
An expressive, lightweight genericity mechanism with better code reuse and stronger static checking.