For now I guess you could look at the partial list of publications on the University's Research Portal
Data Structures and Algorithms
Logic and Semantics of Programming Languages