As I currently study computer science, there has to be some theoretical research in it, too. I am inclined to enjoy it, but still think programming is more fun. Anyway, some useful results have already been obtained and are henceforth listed here.
Don't be intimidated. The image referenced will only log accesses by our most beloved government.