Skip to main content ITU
IT Universitety of Copenhagen - Logo
  • Programmes
  • Professional Education
  • Research
  • Collaboration
  • About ITU
  • Centres, hubs & labs
    • Centre for Digital Play
    • Centre for Climate IT
    • Center for Computing Education Research
    • Centre for Digital Welfare
    • Centre for Information Security and Trust
    • Danish Institute for IT Program Management
    • Maritime Hub
    • Labs
  • Sections and research groups
    • Data Science
    • Data, Systems and Robotics
    • Digital Business Innovation
    • Digitalization Democracy and Governance
    • Human-Computer Interaction and Design
    • Play Culture and AI
    • Software Engineering
    • Technologies in Practice
    • Theoretical Computer Science
    • Research groups
    • Sections overview
  • Research resources
    • ITU Research Portal
    • Find researcher
    • Research ethics and integrity
    • Good Scientific Practice
    • Technical Reports
  • PhD Programme
    • About the PhD Programme
    • PhD Courses
    • PhD Defences
    • PhD Positions
    • Types of Enrolment
    • PhD Admission Requirements
    • PhD Handbook
    • PhD Support
Search
  • Dansk
  • English

ITU

Frontpage

ITU / Programmes

Programmes

ITU / Professional Education

Professional Education

ITU / Research

Research

ITU / Collaboration

Collaboration

ITU / About ITU

About ITU

ITU / Programmes / BSc Programmes New

BSc Programmes New

ITU / Programmes / MSc Programmes New

MSc Programmes New

ITU / Programmes / Student Life

Student Life

ITU / Programmes / International students

International students

ITU / Programmes / Open House new

Open House new

ITU / Professional Education / Master in IT Management

Master in IT Management

ITU / Professional Education / Single subjects

Single subjects

ITU / Professional Education / Short courses

Short courses

ITU / Professional Education / Contact

Contact

ITU / Research / Research centers

Research centers

ITU / Research / Sections and research groups

Sections and research groups

ITU / Research / Research resources

Research resources

ITU / Research / PhD Programme

PhD Programme

ITU / Collaboration / Collaboration with students

Collaboration with students

ITU / Collaboration / Employer Branding

Employer Branding

ITU / Collaboration / Research innovation

Research innovation

ITU / Collaboration / Student entrepreneurship

Student entrepreneurship

ITU / About ITU / Organisation

Organisation

ITU / About ITU / Values, strategy and principles

Values, strategy and principles

ITU / About ITU / Facts and Figures

Facts and Figures

ITU / About ITU / Press

Press

ITU / About ITU / Vacancies

Vacancies
  • Programmes
  • Professional Education
  • Research
  • Collaboration
  • About ITU
  • BSc Programmes
  • MSc Programmes
  • Student Life
  • International students
  • Open House
  • Master in IT Management
  • Single Subjects
  • Short courses
  • Contact
  • Centres, hubs & labs
  • Sections and research groups
  • Research resources
  • PhD Programme
  • Collaboration with students
  • Employer Branding
  • Research innovation
  • Student entrepreneurship
  • Organisation
  • Values, strategy and principles
  • Facts and Figures
  • Press and news
  • Vacancies
  • BSc in Global Business Informatics
  • BSc in Digital Design and Interactive Technologies
  • BSc in Software Development
  • BSc in Data Science
  • Applying for a BSc programme
  • MSc in Digital Innovation & Management
  • MSc in Digital Design and Interactive Technologies
  • MSc in Software Design
  • MSc in Data Science
  • MSc in Computer Science
  • MSc in Games
  • Master's reform
  • Applying for an MSc programme
  • Practical information for international students
  • Ask a student
  • Women in tech
  • Student organisations at ITU
  • Study start
  • Labs for students
  • Special Educational Support (SPS)
  • Study and Career Guidance
  • Exchange students
  • Guest students
  • ITU Summer University
  • Open House - BSc programmes
  • Open House - MSc programmes
  • Centre for Digital Play
  • Centre for Climate IT
  • Center for Computing Education Research
  • Centre for Digital Welfare
  • Centre for Information Security and Trust
  • Danish Institute for IT Program Management
  • Maritime Hub
  • Labs
  • Data Science
  • Data, Systems and Robotics
  • Digital Business Innovation
  • Digitalization Democracy and Governance
  • Human-Computer Interaction and Design
  • Play Culture and AI
  • Software Engineering
  • Technologies in Practice
  • Theoretical Computer Science
  • Research groups
  • Sections overview
  • ITU Research Portal
  • Find researcher
  • Research ethics and integrity
  • Good Scientific Practice
  • Technical Reports
  • About the PhD Programme
  • PhD Courses
  • PhD Defences
  • PhD Positions
  • Types of Enrolment
  • PhD Admission Requirements
  • PhD Handbook
  • PhD Support
  • Project collaboration
  • Project Market
  • Student worker
  • Project postings
  • Job and Project bank
  • IT Match Making
  • Hiring an ITU student or graduate
  • Make a post in the job bank
  • Hire an Industrial PhD
  • ITU NextGen
  • ITU Business Development
  • Board of Directors
  • Advisory Panels
  • Diversity Equity and Inclusion
  • Pedagogical principles
  • Annual reports
  • Key figures
  • Development Contracts
  • Quality and Educational Environment
  • Transparency and Openness
  • The story of ITU
  • Asset Management
  • News from ITU
  • Press contacts
  • Press photos
  • Find an expert
  • Logos
  • Job agent
  • Test policy
  • Competence profiles
ITU  /  Research  /  Sections and research groups  /  Theoretical Computer Science

Theoretical Computer Science

This section has just been established as part of a restructuring that took effect on January 1, 2025. A description of the section is currently being formulated and will be published as soon as possible.

Head of section: Riko Jacob

Research groups: Algorithms, Programming, Logic and Semantics (PLS)

Research center: Center for Information Security and Trust (CISAT) 

Read more about this Section at the ITU Research Portal



NameTitle
Alessandro BruniAssociate Professor
Alexander Theodor Bilde PedersenPhD fellow
Amir NikabadiPhD fellow
Anastasiia SedovaPostdoc
Anton Ekman-ThorgaardGuest Researcher
Bernardo Machado DavidAssociate Professor
Camilla Birch OkkelsPhD fellow (enrolled/guest)
Carsten SchürmannProfessor
Christina Frederikke NissenPhD fellow
Daniel Peter RutschmannResearch Assistant
Dawit TirorePostdoc
Eszter VighPostdoc
Eva RotenbergProfessor
Frederik HaagensenPhD fellow (enrolled/guest)
Frederikke Uldahl MartensenPhD fellow
Gusts Gustavs GrinbergsStudent Worker
Hjalte Erlang TreebakStudent Worker
Holger DellAssociate Professor
Ivor van der HoogAssociate Professor
Jacobus ConradiGuest Researcher
Jens Christian GodskesenAssociate Professor
Jesper BengtsonAssociate Professor
Johanne Müller VistisenPhD fellow
Juliette Marie Victoire VlieghePhD fellow
Lasse Sascha Stefan WulfPostdoc
Louise BarkhuusProfessor
Lukas RetschmeierGuest Researcher
Maaike Annebet ZwartPostdoc
Magnus Rahbek Dalgaard HansenPhD fellow
Manon Brigitte BlancPostdoc
Marco CarboneProfessor
Maria Bendix MikkelsenPhD fellow
Markus Krabbe LarsenPhD fellow
Martin AumüllerAssociate Professor
Natalie SchluterAssociate Professor
Nikolaj Munk Binder JensenResearch Assistant
Nutan LimayeProfessor
Oksana KulykAssociate Professor
Paloma Thomé de LimaAssociate Professor
Patrick BahrAssociate Professor
Prateek DwivediPostdoc
Radu-Cristian CurticapeanAssociate Professor
Raha AsadiGuest
Rahul Bangalore SatishPhD fellow
Rasmus Ejlers MøgelbergProfessor
Ricardo Jose Menezes MaiaPostdoc
Riko JacobAssociate Professor
Rosario GiustolisiAssociate Professor
Sarita de BergPostdoc
Sergei StepanenkoPostdoc
Søren DeboisAssociate Professor
Thomas HildebrandtGuest Researcher
Thore HusfeldtProfessor
Tim Frederik SeppeltPostdoc
Victor Bloch Daugaard HansenStudent Worker
Willard RafnssonAssociate Professor
Yuliia Storm LarsenGuest Researcher
IT-Universitetet i København - Logo

Contact

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark

Telephone: +45 7218 5000
E-mail: itu@itu.dk
All contact information
How to get here
Building accessibility

Explore

News
Vacancies
Events

Useful links

ITU Library Service
ITU Student
ITU Alumni
Body of External Examiners
Press

Invoicing

CVR-nr. 29 05 77 53
P-number: 1005162959
EAN-nr. 5798000417878
Send invoice

Web

Web Accessibility Statement
Privacy Statement

ITU at Instagram ITU at Facebook ITU at Linkedin ITU at Youtube ITU at Bluesky

This page is printed from https://en.itu.dk/Programmes/MSc-Programmes/Software-Design