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
F-klubben fejrer 40 års jubilæum
Den sociale forening for nuværende og tidligere ansatte og studerende på Institut for Datalogi, F-klubben, kan fredag d. 24. marts fejre 40 års jubilæum.
Ph.D. defence by Zhengkui Zhang
Zhengkui Zhang will defend his thesis “Time and Cost Optimization of Cyber-Physical Systems by Distributed Reachability Analysis” on Tuesday 28rd of March 2017, 13:00, in room 0.2.13 at Selma Lagerlöfs Vej 300
IT-SVÆRVÆGTER FÅR GRUNDFOSPRISEN
Professor i datalogi Kim Guldstrand Larsen fra Aalborg Universitet tildeles i dag den ærefulde og betydningsfulde ’Grundfosprisen’. Prisen er en af de helt store i dansk sammenhæng, og den gives til Kim Guldstrand Larsen for hans imponerende indsats for og bidrag til datalogien, som blandt andet tæller internationalt anerkendte industrirelevante it-løsninger.
Ph.D. defence by Tanvir Ahmed
Tanvir Ahmed will defend his thesis “Analytics on Indoor Moving Objects with Applications in Airport Baggage Tracking” on Tuesday 24th of May 2016, 13:00, in room 0.2.90 at Selma Lagerlöfs Vej 300
Ph.D. defence by Saulius Samulevičius
Saulius Samulevičius will defend his thesis “Context-Aware Prediction Techniques with Applications in Mobile Broadband Networks” on Friday 8th of April 2016, 13:00, in room 0.2.90 at Selma Lagerlöfs Vej 300
Ph.D. defence by Erik Ramsgaard Wognsen
Erik Ramsgaard Wognsen will give a lecture on his thesis "Batteries in Space:Designing Energy-Optimal Satellites with Statistical Model Checking", on Friday 26th of February 2016, 13:00, in room 0.2.13 at Selma Lagerlöfs Vej 300