| Applied Logic |
 NuPrl |
| Artificial Intelligence |
| Overview Cornell
Engineering Magazine Article |
| Computer Vision |
| Databases |
| Digital Libraries |
|
| Machine Learning |
| Overview |
| Natural Language Processing |
| People
and Projects |
| Networking Highly-Available Distributed Systems |
| Formal Support for High Assurance Systems Foundations and Support for Survivable
Systems
Horus
Ensemble Spinglass JavaGroups - Java
Group Communication Toolkit |
| Programming Languages |
| High Performance
Systems Software TILT Typed Assembly Language |
| Scientific and Engineering Computing |
|
| Systems |
|
| Theory |