Inventor of the internet technology packet switching. Has published more than 200 papers and authored six books on a wide array of subjects including packet switching networks, packet radio networks, local area networks, broadband networks and gigabit net http://www.lk.cs.ucla.edu/
Indian Institute of Technology - Undergraduate, especially interested in computational geometry, computer graphics and algorithms. http://www.compgeom.com/~piyush/
Imperial College, London - Logic programming for knowledge representation and problem solving, Multi-agent systems, Legal reasoning. http://www.doc.ic.ac.uk/~rak/
University of Pittsburgh - David Roderick Chair in Information Systems. Management and measurement issues in information systems and software engineering. http://www.pitt.edu/~ckemerer/kemerer.htm
The Technion - Language constructs for distributed programming (superimposition, multiparty interactions, reconciliations), tools for design and programming of distributed systems (debugging, domain archetypes), interleaving set temporal logic (including http://www.cs.technion.ac.il/~katz/
Indian Institute of Technology, Delhi - Artificial Intelligence, Natural Language Processing, Knowledge Based Systems, Computer Assisted Learning and Teaching http://www.cse.iitd.ernet.in/~saroj
University of Sussex at Brighton - Formal foundations and computational properties of formalisms in computational linguistics, application of machine learning techniques to problems in language learning/grammatical inference. http://www.cogs.susx.ac.uk/lab/nlp/keller/keller.html