Difference between revisions of "Main Page"
| Line 1: | Line 1: | ||
| − | < | + | =Computer Science Department= |
| + | This is the faculty-maintained homepage for the Computer Science Department at the [http://www.itu.dk IT University of Copenhagen]. The department was created 1 January 2017 from the [https://tcs.wikit.itu.dk/ Theoretical Computer Science section] and the [https://sss.wikit.itu.dk/ 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 and MSc education programs in software development, data science, and computer science.<br /> <br /> | ||
| − | + | ==Research groups== | |
| − | + | * [http://itu-algorithms.github.io Algorithms Group], group coordinator [http://www.itu.dk/people/pagh/ Rasmus Pagh] | |
| − | * [https:// | + | * [[Data Systems Group]], group coordinator [http://www.itu.dk/people/phbo/ Philippe Bonnet] |
| − | * [https://www. | + | * [https://ml.itu.dk Machine Learning Group], group coordinator [http://frellsen.org Jes Frellsen] |
| − | * [https:// | + | * [https://nlp.itu.dk/ Natural Language Processing Group], group coordinator [https://zeljkoagic.github.io/ Željko Agić] |
| − | * [https://www. | + | * [https://pls.wikit.itu.dk/ Programming, Logic, and Semantics (PLS) Group], group coordinator [http://www.itu.dk/people/mogel/ Rasmus Møgelberg] |
| − | * [https://www. | + | * [https://real.itu.dk/ Robotics, Evolution, and Art Lab (REAL)], group coordinator [https://real.itu.dk/people/kasper-stoy/ Kasper Støy] |
| + | * [[Security Group]], group 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://square.wikit.itu.dk/ Software Quality Research (SQUARE)] group, group coordinator [http://www.itu.dk/people/brabrand/ Claus Brabrand] | ||
| + | <br /> | ||
| + | |||
| + | ==Information and links== | ||
| + | |||
| + | * [https://en.itu.dk/research/departments/computer-science-department/list-of-staff-dat People in the department] (drawn from Pure) | ||
| + | * [[Talks and visitors]] | ||
| + | * [[Administrative shortcuts]] | ||
| + | * [[Department faculty meetings]] (visible to signed-in wiki users only) | ||
| + | * [[Study program head meetings]] | ||
| + | * [[Recommended acronyms and formats]] | ||
| + | * [[Lunch talks]] (informal) | ||
| + | * [http://en.itu.dk/research/departments/computer-science-department Official department description on the IT University homepage] | ||
| + | * [[Former members of the department (partial list)]] | ||
| + | * The other ITU research departments: [https://www.itu.dk/forskning/institutter/institut-for-business-it Business IT] and [https://www.itu.dk/forskning/institutter/institut-for-digital-design-ny Digital Design] | ||
| + | <br /> | ||
| + | |||
| + | ==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]. </div> | ||
Revision as of 10:27, 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 and MSc education programs in software development, data science, and computer science.
Research groups
- Algorithms Group, group coordinator Rasmus Pagh
- Data Systems Group, group coordinator Philippe Bonnet
- Machine Learning Group, group coordinator Jes Frellsen
- Natural Language Processing Group, group coordinator Željko Agić
- Programming, Logic, and Semantics (PLS) Group, group coordinator Rasmus Møgelberg
- Robotics, Evolution, and Art Lab (REAL), group coordinator Kasper Støy
- Security Group, group coordinator Carsten Schürmann
- Software Engineering Group, group coordinator Yvonne Dittrich
- Software Quality Research (SQUARE) group, group coordinator Claus Brabrand
Information and links
- People in the department (drawn from Pure)
- Talks and visitors
- Administrative shortcuts
- Department faculty meetings (visible to signed-in wiki users only)
- Study program head meetings
- Recommended acronyms and formats
- Lunch talks (informal)
- Official department description on the IT University homepage
- Former members of the department (partial list)
- The other ITU research departments: Business IT and Digital Design
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.
