- Artificial Intelligence
- Natural Language Processing
- Machine Translation
- Learning Systems
- Automated Theorem Proving
- Theoretical Computer Science