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
Virksomheder skal tvinges til at vise, hvad de bruger dine data til
Professor Christian S. Jensen fra Institut for Datalogi mener det er nødvendigt at regulere brugen af store datamængder.
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
Ph.D. defence by Danny Bøgsted Poulsen
Danny Bøgsted Poulsen will defend his thesis "Statistical Model Checking of Rich Models and Properties" on Tuesday 23rd of February 2016, 13:00, in room 0.2.13 at Selma Lagerlöfs Vej 300
PhD.-defense by Frank Ulrich
Frank Ulrich will defend his thesis “Imagination from Evaluation: A Design Theory for Creativity Enhancing Systems” on Friday 5th of February 2016, 13:00, in room 0.2.13 at Selma Lagerlöfs Vej 300
Prof. Christian S. Jensen skal fordele Big Data-millioner i Schweiz
Professor Christian S. Jensen fra Institut for Datalogi skal stå i spidsen for en stor schweizisk satsning inden for forskning i Big Data. Han er udnævnt til præsident for en styrekomite, som skal fordele 172 millioner kroner til nye projekter de kommende år.
Ph.D. defense by Henrik Sørensen
Henrik Sørensen will give a lecture on his thesis “Proxemics in Digital Ecosystems”, Tuesday 12. January 2016, at 13:00, in room 0.2.13 at Selma Lagerlöfs Vej 300, 9220 Aalborg East.