The members of the department are internationally recognised researchers in the following domains:

  • artificial intelligence – natural language processing, computer vision, machine learning, data science
  • formal methods – verification, testing, cybersecurity
  • logic and optimization
  • theoretical computer science – algorithmics, bioinformatics, formal languages, graphs, distributed systems

The following research centers are part of the department:

Scientific seminars are regularly organised: