Research
The Department is organised into several research areas, where a team of around 200 researchers work on developing innovative research projects with national and international bodies and private industries. See the research section of the website for more details. Current research areas include:
- Algebra, Geometry, and Mathematical Logic
- Algorithms, Logic, and Theory of Computing
- Artificial Intelligence
- Bioinformatics and Medical Informatics
- Cybersecurity
- Information Systems and Data Analytics
- Mathematical methods and models
- Physics
- Software Engineering and Formal Verification