The Division is responsible for teaching and research in core areas of Computing Science such as logic, algorithms and languages. Our research covers both programming languages and natural languages. We have close contacts with several other sciences, such as linguistics, biology, and mathematics.
Our main research areas are currently:
- Algorithms and Optimization Bioinformatics and Systems Biology
- Language Technology: natural language processing, compiler tools
- Machine Learning
- Programming Logic: type theory, program verification, functional languages