| | - The Technion
Aspectoriented software development, including verification methods for aspects, requirements engineering and traceability, design methods for aspects, and language support and analysis, Formal specification methods and connections among them, includ ...
http://www.cs.technion.ac.il/~katz/
|
| |
- Sanjiv Kapoor
Indian Institute of Technology, Delhi Computational Geometry, Graph Algorithms, Combinatorial Optimization, Graphics, Data Structures ...
http://www.cse.iitd.ernet.in/~skapoor
|
| |
|
- Piyush Kumar
I am an Assistant Professor in the Computer Science Department at Florida State University. I obtained my Ph.D. from Stony Brook University in 2004 and my undergraduate degree from IIT Kharagpur in 1999. I am thankful to NSF, AMD, NASA and FSU for s ...
http://www.compgeom.com/~piyush/
| | |
| |
- Robert Kowalski
Imperial College, London Logic programming for knowledge representation and problem solving, Multiagent systems, Legal reasoning. ...
http://www.doc.ic.ac.uk/~rak/
|
| |
- Roni Khardon
Computational learning theory, knowledge representation and reasoning, efficient algorithms . ...
http://www.cs.tufts.edu/~roni/
| | - Anshul Kumar
Kumar Anshul Indian Institute of Technology, Delhi CAD for VLSI, Computer Architecture ...
http://www.cse.iitd.ernet.in/~anshul
|
| |
- Saroj Kaushik
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
| | - Bill Keller
Formal foundations and computational properties of formalisms in computational linguistics, application of machine learning techniques to problems in language learninggrammatical inference. ...
http://www.informatics.sussex.ac.uk/research/groups/nlp/keller/keller.html
|
| |
- Arthur M. Keller
Electronic commerce, interoperability of heterogeneous databases, database integration, objectoriented databases, database implementation, databases on parallel computers, federated autonomous databases, database views including updates, incomplete i ...
http://www.soe.ucsc.edu/~ark/
| | - Leonard Kleinrocks
Professor Leonard Kleinrock is Distinguished Professor of Computer Science at UCLA. Known as a Father of the Internet, he developed the mathematical theory of packet networks, the technology underpinning the Internet, while a graduate student at MIT. ...
http://www.lk.cs.ucla.edu/
|
| |
