The members of the department are internationally recognised researchers in the following domains:
- artificial intelligence – natural language processing, computer vision, machine learning, data science
- cybersecurity
- formal methods – verification, testing
- logic
- theoretical computer science – algorithmics, bioinformatics, formal languages, graphs, distributed systems, optimization
The following research centers are part of the department:
- Center for Data Science
- Center for Human Language Technologies
- Center for Logic, Optimization, and Security
- Center for Models of Computation, Algorithms, and Cryptography
Scientific seminars are regularly organised:
- artificial intelligence
- blockchain (together with ILDS)
- logic (together with ILDS and IMAR)
- logic, optimization and security
- natural language processing
- proof mining (together with ILDS)
- theoretical computer science, algorithms, bioinformatics