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
From Silver to Gold in Model Checking Contest
Professor MSO Jiri Srba has recently won two gold medals and one silver medal in the esteemed Model Checking Contest.
PhD defence by Peter Gjøl Jensen
In partial fulfillment of the terms for obtaining the PhD degree, Peter Gjøl Jensen will give a lecture on the following subject: Efficient Analysis and Synthesis of Complex Quantitative Systems on Friday 22th of June 2018, 13:00, in room 0.2.13 at Selma Lagerlöfs Vej 300.
PROFESSOR WITH SPECIFIC RESPONSIBILITIES IN COMPUTER SCIENCE
At the Technical Faculty of IT and Design, Department of Computer Science one or more positions as Professor with Specific Responsibilities in Computer Science are open for appointment starting January 1, 2019 or soon thereafter. The positions are open for a period of five years with a possible extension of up to an additional three years.
ONE OR MORE PHD STIPENDS AT COMPUTER SCIENCE
At the Technical Faculty of IT and Design, Department of Computer Science, one or more PhD stipends are available within the general study programme "Computer Science and Engineering". The stipends are open for appointment at the earliest from 15 July 2018 or soon thereafter.
PhD defence by Ove Andersen
In partial fulfillment of the terms for obtaining the PhD degree, Ove Andersen will give a lecture on the following subject: Tools and Techniques for Advanced Traffic Analytics on Friday 8th of June 2018, 13:00, in room 0.2.13 at Selma Lagerlöfs Vej 300.
PhD defence by Muhammad Aamir Saleem
In partial fulfillment of the terms for obtaining the PhD degree, Muhammad Aamir Saleem will give a lecture on the following subject: Location Analytics for Location-Based Social Networks on Wednesday 30th of May 2018, 12:30, in room 0.2.13 at Selma Lagerlöfs Vej 300.