Difference between revisions of "Main Page"

From Computer Science Department
Jump to: navigation, search
(Information and links)
 
(88 intermediate revisions by 10 users not shown)
Line 1: Line 1:
 
=Computer Science Department=
 
=Computer Science Department=
This is the faculty-maintained homepage for the [https://en.itu.dk/research/departments/computer-science-department Computer Science Department] at the [http://www.itu.dk 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.<br/>
+
This is the faculty-maintained homepage for the [https://en.itu.dk/research/departments/computer-science-department Computer Science Department] at the [http://www.itu.dk IT University of Copenhagen]. The department conducts research in all aspects of computer science and data science, including algorithms, databases, government IT, logic, image analysis, machine learning, natural language processing, network science, operating systems, optimization, programming languages, proof assistants, quantum computing, robotics, security, semantics, software development tools, software engineering, type theory, verification and more, as well as a range of applications.  
  
==Research groups==
+
The department is responsible for the IT University's technical education programs BSc Software Development, BSc Data Science, MSc Computer Science, MSc Data Science, and MSc Software Design.<br/>
  
* [http://itu-algorithms.github.io Algorithms Group], group coordinator [http://www.itu.dk/people/pagh/ Rasmus Pagh]
+
==Research groups and centers==
* [https://cist.dk/ Center for Information Security and Trust], coordinator [https://www.itu.dk/~carsten/ Carsten Schürmann]
+
 
* [[Data Systems Group]], group coordinator [http://www.itu.dk/people/phbo/ Philippe Bonnet]
+
* [https://algorithms.itu.dk/ Algorithms Group], head [http://www.itu.dk/~rikj/ Riko Jacob]
* [https://ml.itu.dk Machine Learning Group], group coordinator [http://www.itu.dk/people/rmj/pmwiki/ Rune Møller Jensen]
+
* [https://pure.itu.dk/da/organisations/audio-visual-computing Audio-Visual Computing Group], head [https://pure.itu.dk/da/persons/sami-brandt Sami Brandt]
* [https://nerds.itu.dk/ NEtwoRks, Data, and Society (NERDS) Group], group coordinator [https://www.robertasinatra.com/ Roberta Sinatra]
+
* [https://cisat.dk Center for Information Security and Trust], head [https://www.itu.dk/~carsten/ Carsten Schürmann]
* [https://nlp.itu.dk/ Natural Language Processing Group], group coordinator [http://www.derczynski.com/itu/ Leon Derczynski]
+
* [https://ccer.itu.dk/ Center for Computing Education Research], head [http://www.itu.dk/people/brabrand/ Claus Brabrand]
* [https://www.itu.dk/forskning/forskningscenter-for-offentlig-it Research Centre for Government IT], group coordinator [https://pure.itu.dk/portal/da/persons/jens-schmidt(e0edf6ca-5a14-41d8-81cc-77fd67f03ee5).html Jens Schmidt]
+
* [https://pure.itu.dk/portal/en/organisations/danish-institute-for-it-program-management(7f2f8ac6-4a69-4ef9-94ec-0f0090bde5ef).html Danish Institute for IT Program Management (DIIP)], head [https://en.itu.dk/Research/DIIP/Flyvbjerg Bent Flyvbjerg]
* [http://pls.itu.dk/ Programming, Logic, and Semantics (PLS) Group], group coordinator [http://www.itu.dk/people/mogel/ Rasmus Møgelberg]
+
* [https://dasya.itu.dk Data-Intensive Systems and Applications (DASYA) Group], head [https://pure.itu.dk/portal/en/persons/pinar-toezun(63342b24-28ec-40c5-a7d9-ec49867dc75d).html Pinar Tözün]
* [https://real.itu.dk/ Robotics, Evolution, and Art Lab (REAL)], group coordinator [https://real.itu.dk/people/kasper-stoy/ Kasper Støy]
+
* [[Machine Learning Group]], head [https://pure.itu.dk/portal/en/persons/dan-witzner-hansen(5ad9c220-e37f-443a-8a31-fc4abf365db5).html Dan Witzner Hansen]
* [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://nlp.itu.dk/ Natural Language Processing Group], head [https://robvanderg.github.io/ Rob van der Goot]
* [https://square.itu.dk/ Software Quality Research (SQUARE)] group, group coordinator [http://www.itu.dk/people/wasowski/ Andrzej Wasowski]  
+
* [https://nerds.itu.dk/ NEtwoRks, Data, and Society (NERDS) Group], head [http://michael.szell.net/ Michael Szell]
 +
* [http://pls.itu.dk/ Programming, Logic, and Semantics (PLS) Group], head [http://www.itu.dk/people/mogel/ Rasmus Møgelberg]
 +
* [https://www.itu.dk/forskning/forskningscenter-for-offentlig-it Research Centre for Government IT], head [https://pure.itu.dk/portal/da/persons/jens-schmidt(e0edf6ca-5a14-41d8-81cc-77fd67f03ee5).html Jens Schmidt]
 +
* [https://real.itu.dk/ Robotics, Evolution, and Art Lab (REAL)], head [https://real.itu.dk/people/kasper-stoy/ Kasper Støy]
 +
* [https://pure.itu.dk/portal/en/organisations/software-engineering(ee5c661f-e0ab-4afb-acba-6ec467d5f1a9).html Software Engineering Group], head [https://www.itu.dk/~ydi/ Yvonne Dittrich], acting head [https://pure.itu.dk/da/persons/paolo-tell Paolo Tell] from February 2024 to January 2025
 +
* [https://square.itu.dk/ Software Quality Research (SQUARE)] group, head [http://www.itu.dk/people/wasowski/ Andrzej Wasowski]
 +
 
 +
==Boards and committees==
 +
 
 +
* [[Ad hoc department board meetings]]
 +
* [[Computing Resources Committee]]
 +
* [[CS representation in other committees]]
 +
* [[Department faculty meetings]]
 +
* [[Department management meetings]]
 +
* [[Study program head (HoSP) meetings]]
  
 
==Information and links==
 
==Information and links==
  
* [[Department faculty meetings]]
 
* [[Supervisors for projects and theses]]
 
* [[Talks and visitors]]
 
* [[Lunch talks]] (informal)
 
 
* [[Administrative shortcuts]]
 
* [[Administrative shortcuts]]
 +
* [https://cs-lectures.itu.dk/ Computer Science Lectures]
 +
* [[Media:CS strategy-20220322.pdf|CS department goals, values and strategy]]
 +
* [http://en.itu.dk/research/departments/computer-science-department Official department description on the IT University homepage]
 +
* [https://en.itu.dk/research/departments/computer-science-department/list-of-staff-dat People in the department] (drawn from Pure)
 
* [[Recommended acronyms and formats]]
 
* [[Recommended acronyms and formats]]
* [https://en.itu.dk/research/departments/computer-science-department/list-of-staff-dat People in the department] (drawn from Pure)
+
* [[Supervisors for projects and theses]]
* [[Study program head meetings]]
+
* [https://wiki.itu.dk/computerscience/images/e/e9/Teknosofikum_expertsNov2020ITU.pdf Teknosofikum]
* [[Computing Resources Committee]]
 
* [[Ad hoc department board meetings]]
 
* [http://en.itu.dk/research/departments/computer-science-department Official department description on the IT University homepage]
 
 
* The other ITU research departments: [https://en.itu.dk/research/departments/business-it-department Business IT] and [https://en.itu.dk/research/departments/digital-design-department-new Digital Design]
 
* The other ITU research departments: [https://en.itu.dk/research/departments/business-it-department Business IT] and [https://en.itu.dk/research/departments/digital-design-department-new Digital Design]
  
 
==Contact==
 
==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 [http://www.itu.dk/people/sestoft Peter Sestoft].
+
The department's postal address is IT University of Copenhagen, Rued Langgaards Vej 7, DK-2300 Copenhagen S, Denmark. The department is located both in the Rued Langgaards Vej 7 (RLV, wings 3E, 4B, 4C, 4D, 4E, 5B) and the Emil Holms Kanal 20 (EHK, DR, wing F) buildings.
 +
Department head [http://www.itu.dk/people/sestoft Peter Sestoft], deputy department heads [https://pure.itu.dk/portal/en/persons/oksana-kulyk(1dbd1112-eb47-4406-936c-6807e8845610).html Oksana Kulyk] (research) and [https://pure.itu.dk/portal/en/persons/thore-husfeldt(472021c7-73cc-44ba-a4ef-70cd2bed8601).html Thore Husfeldt] (education), department administrator [mailto:markr@itu.dk Maria Kronberg Nedergaard] and [mailto:sarg@itu.dk Sarah Grant ]

Latest revision as of 20:31, 4 February 2024

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 and data science, including algorithms, databases, government IT, logic, image analysis, machine learning, natural language processing, network science, operating systems, optimization, programming languages, proof assistants, quantum computing, robotics, security, semantics, software development tools, software engineering, type theory, verification and more, as well as a range of applications.

The department is responsible for the IT University's technical education programs BSc Software Development, BSc Data Science, MSc Computer Science, MSc Data Science, and MSc Software Design.

Research groups and centers

Boards and committees

Information and links

Contact

The department's postal address is IT University of Copenhagen, Rued Langgaards Vej 7, DK-2300 Copenhagen S, Denmark. The department is located both in the Rued Langgaards Vej 7 (RLV, wings 3E, 4B, 4C, 4D, 4E, 5B) and the Emil Holms Kanal 20 (EHK, DR, wing F) buildings. Department head Peter Sestoft, deputy department heads Oksana Kulyk (research) and Thore Husfeldt (education), department administrator Maria Kronberg Nedergaard and Sarah Grant