Cambridge, England. Cryptic crossword solving; anagrams; search; computer chess; knowledge representation.

Includes work in logic, planning, and robotics, also known for his blunt public appraisals of the state of AI research. Interviewed in Crossroads, the student magazine of the ACM.

Stanford University. Explanations for semantic web tasks, semantic web tools and infrastructure, model-based user interfaces, formal specification and verification of interactive systems.

Washington University in St. Louis. AI and the law, models of negotiation, modeling legal argument.

University at Buffalo, SUNY. Nonparamtric Bayes, bioinformatics, HMMs, probablisitic sensor fusion.

University of Colorado, Boulder. Latent semantic analysis, stochastic context-free grammars, pronunciation modeling, discourse tagging, bayesian models of sentence processing, co-author of "Speech and Language Processing" with James H. Martin.

Carnegie Mellon University. Speech recognition, CMU Communicator, dialog systems, speech agents.

University of Texas at El Paso. Department of Computer Science Chair. Spoken dialog models, mediated communication, user interface development methodologies.

Kavli Institute of Nanoscience, Delft University of Technology. Advanced research and development inititiates at the confluence of quantum mechanics and information science: superconducting quantum computing, superposed adaptive quantum networks.

University of British Columbia. Preference elicitation, dynamic constraint optimization, satisfiability problems in propositional logic, computational musicology.