COMPUTER SCIENCE RESEARCH AT CORNELL |
|
Artificial Intelligence:
Knowledge representation, machine learning, NLP and IR, reasoning, robotics, search, vision
|
|
Robotics:
Perception, control, learning, aerial robots, bio-inspired robots, household robots
|
|
Computational Biology:
Sequence analysis, structure analysis, protein classification, gene networks, molecular dynamics
|
|
Scientific Computing:
Numerical analysis, computational geometry, physically based animation
|
|
Computer Architecture and VLSI:
Processor architecture, networking, asynchronous VLSI, distributed computing
|
|
Security:
Secure network services, language-based security, mobile code, privacy, policies, verifiable systems
|
|
Database Systems:
Database systems, data-driven games, data privacy and security, digital libraries, data mining
|
|
Systems and Networking:
Operating systems, distributed computing, networking, wireless systems, security and protection
|
|
Graphics:
Interactive rendering, global illumination, modeling, measurement, image-based modeling, perception
|
|
Theory of Computing:
Algorithms, complexity, logic
|
|
Programming Languages:
Programming language design and implementation, optimizing compilers, type theory, formal verification
|
|
|
|
