Computer Science

Computer science research at the Department of Mathematics focuses on the use of mathematical methods for improving the performance and reliability of software. The most important research topics are:

• efficient algorithms and data structures 
• algoritmic machine learning and data mining 
• model checking of concurrent systems 
• concurrency theory