University of Edinburgh - Theoretical and computational linguistics, semantics, pragmatics, logic and knowledge representation. http://homepages.inf.ed.ac.uk/alex/
Boston University - Randomness in computing; algorithmic complexity and intractability; foundations of mathematics, computer science and probability; theory of computation; and information theory. http://www.cs.bu.edu/fac/lnd/
University of New South Wales - Triangulation of planar straight line graphs, 3d convex hulls, and virtual reality. http://www.cse.unsw.edu.au/~lambert/
University of New South Wales - Algorithm design, computational geometry, distributed and parallel computing, databases, data mining, and graph layouts. http://www.cse.unsw.edu.au/~lxue/