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...

Imperial College, London - Logic programming for knowledge representation and problem solving, Multi-agent systems, Legal reasoning.

Stanford University - Electronic commerce, interoperability of heterogeneous databases, database integration, object-oriented databases, database implementation, databases on parallel computers, federated autonomous databases, database views including...

University of California, Irvine - Real time systems, distributed computing, fault tolerant systems.

Indian Institute of Technology, Delhi - CAD for VLSI, Computer Architecture

Tufts University - Computational learning theory, knowledge representation and reasoning, efficient algorithms .

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 (includ...

University of Pittsburgh - David Roderick Chair in Information Systems. Management and measurement issues in information systems and software engineering.

Indian Institute of Technology, Delhi - Artificial Intelligence, Natural Language Processing, Knowledge Based Systems, Computer Assisted Learning and Teaching

Florida State University - Algorithms, Computational Geometry, Geometric Optimization.