Keller, Bill
- 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.informatics.susx.ac.uk/research/nlp/keller/keller.html

Keller, Arthur
- 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 up
- http://www.cse.ucsc.edu/~ark/

Khardon, Roni
- Tufts University - Computational learning theory, knowledge representation and reasoning, efficient algorithms .
- http://www.cs.tufts.edu/~roni/

Kowalski, Robert
- Imperial College, London - Logic programming for knowledge representation and problem solving, Multi-agent systems, Legal reasoning.
- http://www.doc.ic.ac.uk/~rak/

Kane, Kim
- University of California, Irvine - Real time systems, distributed computing, fault tolerant systems.
- http://dream.eng.uci.edu/kim-kane.htm

Kaehler, Ted
- Walt Disney Imagineering - One of Smalltalk's original core creators, and Squeak team member. Warm, friendly page; diverse topics: from Smalltalk philosophy, to alternative schooling, to nanotechnology.
- http://weather-dimensions.com/tedkaehler/us/ted/

Kumar, Piyush
- Indian Institute of Technology - Undergraduate, especially interested in computational geometry, computer graphics and algorithms.
- http://www.compgeom.com/~piyush/

Kiran K N
- Indian Institute of Technology, Delhi. TCP Models, UMTS, Ad-hoc networks, NS, 802.11. Presentations, papers.
- http://genie.iitd.ernet.in/~kiran

Krasavin, Konstantin
- University of Joensuu - graduate student in Information Technology. Course and project resources.
- http://cs.joensuu.fi/~kkrasavi/index.html

Kaushik, Saroj
- 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

Kapoor, Sanjiv
- Indian Institute of Technology, Delhi - Computational Geometry, Graph Algorithms, Combinatorial Optimization, Graphics, Data Structures
- http://www.cse.iitd.ernet.in/~skapoor

Kemerer, Chris F.
- 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

Katz, Shmuel
- 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/

Kumar, Anshul
- Indian Institute of Technology, Delhi - CAD for VLSI, Computer Architecture
- http://www.cse.iitd.ernet.in/~anshul

Kleinrock, Leonard
- 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
- http://www.lk.cs.ucla.edu/