The paper Agentic Visualization: Extracting Agent-Based Design Patterns From Visualization Systems has been selected as runner-up for the 2025 Best Paper Award by IEEE Computer Graphics and Applications (IEEE CG&A), recognising outstanding research published in the journal over the past year.

Congratulations to Associate Professor Daniel Gratzer on receiving a Distinguished Paper Award at the 2026 ACM/IEEE Symposium on Logic in Computer Science (LICS). 'The ∞-Category of ∞-Categories in Simplicial Type Theory' advances the mathematical foundations that underpin areas such as programming languages, formal verification, and proof…

The application deadlines for our Bachelor's and Master's degree programmes have now passed, and we're excited to welcome a new cohort of students to the Department of Computer Science after the summer.

A tradition created by students, for students. Meet the artists behind this year's graduation posters and discover the stories, humour and hidden references that celebrate life at the department. Thank you for the amazing artwork!

Today, we celebrated 120 new bachelor's graduates in Computer Science and IT Product Development together with their families, friends and staff as they received their graduation letters and marked the occasion with a reception.

During their studies, our graduates have developed the knowledge, technical skills and problem-solving mindset needed to…