Skip to content


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:

Scientific seminars are regularly organised: