University of Edinburgh - Probabilistic computation, the complexity of combinatorial enumeration, information- and complexity-theoretic aspects of machine learning, and combinatorial optimisation.
University of Edinburgh - Auto-parallelising compilers, optimising for locality, compiling for distributed shared memory, adaptive compilation for VLIW processors, linear program transformation theory and practice, parallelisation of commercial langua...