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
Demonstration af TotalFlex
Mandag d. 28. november kl. 13.00 demonstreres TotalFlex - et markedsbaseret system for fleksibilitet baseret på det banebrydende Flex-Offer-koncept.
Ph.D. defence by Simon Borgbjerg Laursen
Simon Borgbjerg Laursen will defend his thesis Synchronization and Control of Quantitative Systems on Monday 28th of November 2016, 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