Microsoft Research - Programming languages, Algorithms, Verification. Author of Latex.

INRIA Rocquencourt - Concurrency theory and programming languages.

University of New South Wales - Algorithm design, computational geometry, distributed and parallel computing, databases, data mining, and graph layouts.

University of California, Riverside - Computational Biology, Data Compression, Data Mining, Information Hiding.

Theoretical and applied machine learning guy. Contact information and selected publications.

University of Edinburgh - Theoretical and computational linguistics, semantics, pragmatics, logic and knowledge representation.

Boston University - Randomness in computing; algorithmic complexity and intractability; foundations of mathematics, computer science and probability; theory of computation; and information theory.

MIT Media Laboratory - Philosophically motivated AI, commonsense reasoning, assistive software agents, lexical semantics, story understanding.

University of New South Wales - Triangulation of planar straight line graphs, 3d convex hulls, and virtual reality.

Natural language understanding, science education.