Faculty members
Classes of research
Artificial intelligence (AI)
- Logic programming in artificial intelligence
Operational research
- Combinatorial and network optimization (including programming and metaheuristics)
- Operational research, n.e.c.
Theoretical computer science and computational mathematics
- Algorithms and data structures
- Analysis of algorithms and complexity