Looking for a research topic ? How about looking into an interactive concurrent technology applied to a meta-level functional theorem ? Or a responsive real-time compiler for a dynamic object-oriented cache ? Personally I favour a type-safe secure theorem prover embedded in an interactive proxy algorithm approach, but to each his own.
http://www.cs.purdue.edu/homes/dec/e...generator.html (scroll to the bottom)