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
Jesper Kjeldskov ny institutleder på Institut for Datalogi
Professor Jesper Kjeldskov tiltrådte 1. marts 2019 stillingen som institutleder på Institut på Datalogi. Han afløser Kristian G. Olesen, der har været på posten siden 2006
Robert Robot – facilitates creative play with 3-5 year-olds and LEGO® DUPLO® bricks.
Meet Robert Robot! He’s a fun playmate designed to shape playful experiences by helping children be creative with LEGO® DUPLO® bricks.
Dataloiprofessor skal rådgive kinesisk premierminister om digitalisering
Datalogiprofessor Kim Guldstrand Larsen fra AAU er udnævnt som en af de eksperter, der skal rådgive den kinesiske regering om digitalisering. Den 25. januar skal han mødes med Kinas premierminister Li Keqiang for at give sit bud på, hvordan digitalisering og smarte systemer kan understøtte landets udvikling.
Ph.D. defence by Jilin Hu
In partial fulfillment of the terms for obtaining the PhD degree, Jilin Hu will give a lecture on the following subject: Managing and Analyzing Big Traffic Data —An Uncertain Time Series Approach on Thursday 14th of February 2019, 13:00, in room 0.2.13 at Selma Lagerlöfs Vej 300.
Ph.D. defence by Mathias Ruggaard Pedersen
In partial fulfillment of the terms for obtaining the PhD degree, Mathias Ruggaard Pedersen will give a lecture on the following subject: Behavioural Preorders on Stochastic Systems - Logical, Topological, and Computational Aspects on Tuesday 29th of January 2019, 13:00, in room 0.2.13 at Selma Lagerlöfs Vej 300.
Ph.D. defence by Rikke Hagensby Jensen
In partial fulfillment of the terms for obtaining the PhD degree, Rikke Hagensby Jensen will give a lecture on the following subject: Interaction Design for Sustainable Energy Consumption in The Smart Home on Monday the 29th of October 2018, 13:00, in room 0.2.13 at Selma Lagerlöfs Vej 300.