Difference between revisions of "Main Page"

From Computer Science Department
Jump to: navigation, search
Line 11: Line 11:
 
* [http://pls.itu.dk/ Programming, Logic, and Semantics (PLS) Group], group coordinator [http://www.itu.dk/people/mogel/ Rasmus Møgelberg]
 
* [http://pls.itu.dk/ Programming, Logic, and Semantics (PLS) Group], group coordinator [http://www.itu.dk/people/mogel/ Rasmus Møgelberg]
 
* [https://real.itu.dk/ Robotics, Evolution, and Art Lab (REAL)], group coordinator [https://real.itu.dk/people/kasper-stoy/ Kasper Støy]
 
* [https://real.itu.dk/ Robotics, Evolution, and Art Lab (REAL)], group coordinator [https://real.itu.dk/people/kasper-stoy/ Kasper Støy]
* [https://cisr.dk/ Security Group], group coordinator [https://www.itu.dk/~carsten/ Carsten Schürmann]
+
* [https://cist.dk/ Center for Information Security and Trust], coordinator [https://www.itu.dk/~carsten/ Carsten Schürmann]
 
* [https://pure.itu.dk/portal/en/organisations/software-engineering(ee5c661f-e0ab-4afb-acba-6ec467d5f1a9).html Software Engineering Group], group coordinator [https://www.itu.dk/~ydi/ Yvonne Dittrich]
 
* [https://pure.itu.dk/portal/en/organisations/software-engineering(ee5c661f-e0ab-4afb-acba-6ec467d5f1a9).html Software Engineering Group], group coordinator [https://www.itu.dk/~ydi/ Yvonne Dittrich]
 
* [https://square.wikit.itu.dk/ Software Quality Research (SQUARE)] group, group coordinator [http://www.itu.dk/people/brabrand/ Claus Brabrand]  
 
* [https://square.wikit.itu.dk/ Software Quality Research (SQUARE)] group, group coordinator [http://www.itu.dk/people/brabrand/ Claus Brabrand]  

Revision as of 17:54, 28 April 2019

Computer Science Department

This is the faculty-maintained homepage for the Computer Science Department at the IT University of Copenhagen. 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 applications. It is responsible for the IT University's technical education programs 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.