Difference between revisions of "Main Page"

From Computer Science Department
Jump to: navigation, search
Line 20: Line 20:
 
* [[Talks and visitors]]
 
* [[Talks and visitors]]
 
* [[Administrative shortcuts]]
 
* [[Administrative shortcuts]]
* [[Department faculty meetings]] (visible to signed-in wiki users only)
+
* [[Department faculty meetings]]
 
* [[Study program head meetings]]
 
* [[Study program head meetings]]
 
* [[Recommended acronyms and formats]]
 
* [[Recommended acronyms and formats]]

Revision as of 20:06, 17 December 2018

Computer Science Department

This is the faculty-maintained homepage for the Computer Science Department at the IT University of Copenhagen. The department was created 1 January 2017 from the Theoretical Computer Science section and the Software and Systems section. The department conducts research in all aspects of computer science, including algorithms, databases, logic, image analysis, machine learning, natural language processing, operating systems, optimization, programming languages, proof assistants, robotics, security, semantics, software engineering, type theory, verification and more, as well as a range of its applications. It is responsible for the IT University's BSc Software Development, BSc Data Science, MSc Computer Science, and MSc Software Design.

Research groups


Information and links


Contact

The department's faculty is located primarily in the 4B, 4C, 4D and 4E wings of the IT University, Rued Langgaards Vej 7, DK-2300 Copenhagen S, Denmark. The department head is Peter Sestoft.