Department of Computer Science
It is the department’s ambition to be internationally recognised as a leader in computer science - a department with coherent activities within research, education, development and industry cooperation. The research in the department is focused on computers and programming as well as software- and computer systems. The department's research approach ranges from formal logic, over experimental construction to empirical description.
The department offers a broad range of educational programmes within computer science at both undergraduate and postgraduate levels as well as continued professional development.
News and Events
Jiri Srba receives Independent Research Fund Denmark research grant
Professor Jiri Srba has received a grant of DKK 2.8 million for the project ”Quantitative Analysis and Synthesis of Network Protocols”. The three-year project will focus on improving an infrastructure that is today crucial to our digital society: the cabled networks.
Best Paper Award for model-checking paper
Professor Kim Guldstrand Larsen, Professor Jiri Srba and PhD student Søren Enevoldsen have been awarded the Best Paper Award at the European Joint Conferences on Theory and Practice of Software – ETAPS 2019.
Seminar: Mikkel Thorup, KU: Unleashing the Power of Hashing
Mikkel Thorup, Department of Computer Science, University of Copenhagen, DK, will hold a seminar at Cassiopeia on Friday 3 May at 14:00 in Room 0.2.13.
FREE SOFTWARE, FREE SOCIETY: MEET RICHARD STALLMAN IN AALBORG
Don't miss this unique opportunity to meet Richard Stallman - a living legend within the world of GNU and Linux.
AAU-forskere skal gøre den grønne omstilling billigere
To forskningscentre fra Institut for Datalogi deltager i et nyt landsdækkende forskningsprojekt, der kan spare samfundet for milliarder. Projektet skal sikre et fleksibelt og grønt energisystem i Danmark via optimal udnyttelse af det eksisterende elnet.
PhD defence by Felipe Soares da Costa
In partial fulfillment of the terms for obtaining the PhD degree, Felipe Soares da Costa will give a lecture on the following subject:Multi-view Latent Factor Models for Recommender Systems on Friday 26th of April 2019, 13:00, in room 0.2.13 at Selma Lagerlöfs Vej 300.