Skip to main content ITU
IT-Universitetet i København - Logo
  • Uddannelser
  • Efteruddannelser
  • Forskning
  • Innovation & Samarbejde
  • Om ITU
  • Organisation
    • Organisationsdiagram
    • Bestyrelsen
    • Direktionen
    • Aftagerpaneler
    • Sektioner
  • Værdier, strategi og grundprincipper
    • Diversitet og inklusion
    • Pædagogiske principper
  • Tal og fakta
    • Nøgletal
    • Gennemsigtighed og åbenhed
    • Kvalitet og studiemiljø
    • Årsrapporter
    • Strategiske rammekontrakter
    • IT-Universitetets vedtægter
    • IT-Universitetets historie
    • Kapitalforvaltning
    • Tilskud
    • Energimærkning
  • Presse og nyheder
    • Nyheder
    • Pressekontakt
    • Pressebilleder
    • Find en forsker
    • Filme og fotografere på ITU
    • Logoer
  • Stillinger
    • Tilmeld jobagent
    • Testpolitik
    • Kompetenceprofiler
Search
  • Dansk
  • English

ITU

Forside

ITU / Uddannelser

Uddannelser

ITU / Efteruddannelser

Efteruddannelser

ITU / Forskning

Forskning

ITU / Innovation & Samarbejde

Innovation & Samarbejde

ITU / Om ITU

Om ITU

ITU / Uddannelser / Bacheloruddannelser

Bacheloruddannelser

ITU / Uddannelser / Kandidatuddannelser

Kandidatuddannelser

ITU / Uddannelser / Studieliv

Studieliv

ITU / Uddannelser / Job

Job

ITU / Uddannelser / Besøg os

Besøg os

ITU / Efteruddannelser / Master i it-ledelse

Master i it-ledelse

ITU / Efteruddannelser / Masterkurser

Masterkurser

ITU / Efteruddannelser / Korte kurser

Korte kurser

ITU / Efteruddannelser / Enkeltfag

Enkeltfag

ITU / Efteruddannelser / ITU INSPIRE

ITU INSPIRE

ITU / Innovation & Samarbejde / Samarbejde med studerende

Samarbejde med studerende

ITU / Innovation & Samarbejde / Employer Branding

Employer Branding

ITU / Innovation & Samarbejde / Forskningsinnovation

Forskningsinnovation

ITU / Innovation & Samarbejde / Studenterentreprenørskab

Studenterentreprenørskab

ITU / Om ITU / Organisation

Organisation

ITU / Om ITU / Værdier, strategi og grundprincipper

Værdier, strategi og grundprincipper

ITU / Om ITU / Tal og fakta

Tal og fakta

ITU / Om ITU / Presse

Presse

ITU / Om ITU / Stillinger

Stillinger
  • Uddannelser
  • Efteruddannelser
  • Forskning
  • Innovation & Samarbejde
  • Om ITU
  • Bachelor
  • Kandidat
  • Studieliv
  • Job
  • Besøg os
  • Master i it-ledelse
  • Masterkurser
  • Korte kurser
  • Enkeltfag
  • ITU Inspire
  • Forskningscentre
  • Forskningsenheder
  • Ph.d.-skole
  • Samarbejde med Studerende
  • Employer Branding
  • Forskningsinnovation
  • studenterentreprenørskab
  • Organisation
  • Værdier, strategi og grundprincipper
  • Tal og fakta
  • Presse og nyheder
  • Stillinger
  • BSc i Global Business Informatics
  • BSc i Digital Design og Interaktive Teknologier
  • BSc i Softwareudvikling
  • BSc i Data Science
  • Udveksling
  • Gæstestuderende
  • ITU Summer University
  • Sådan søger du ind
  • Frister og vigtige datoer
  • MSc i Digital Innovation & Management
  • MSc i Digital Design og Interaktive Teknologier
  • MSc i Softwaredesign
  • MSc i Data Science
  • MSc i Datalogi
  • MSc i Spil
  • Kandidatreformen
  • Udveksling
  • Gæstestuderende
  • ITU Summer University
  • Sådan søger du ind
  • Frister og vigtige datoer
  • Hvordan er det at gå på ITU?
  • Campus
  • Studiestart
  • Spørg en studerende
  • Studenterorganisationer
  • SPS (specialpædagogisk støtte)
  • Studie- og karrierevejledning
  • Muligheder med en IT-uddannelse
  • Innovation og iværksætteri
  • Kvinder i tech
  • Campus
  • Åbent hus
  • Studerende for en dag
  • Studiepraktik
  • Coding Café for kvinder
  • IT-Camp for kvinder
  • For gymnasielærere
  • Center for Digital Play
  • Center for Climate IT
  • Center for Computing Education Research
  • Center for Digital Velfærd
  • Forskningscenter for offentlig IT
  • Danish Institute for IT Program Management
  • Centre for Information Security and Trust
  • Forskningscentre
  • Forskningsektioner
  • Forskningsgrupper
  • Labs
  • Om Ph.d.-skolen
  • Ph.d.-kurser
  • Ph.d.-forsvar
  • Ph.d.-stillinger
  • Ph.d.-håndbog
  • Ph.d.-support
  • Projektsamarbejde
  • Projektmarked
  • Projektopslag
  • Lav opslag i Jobbanken
  • IT Match Making
  • Sådan ansætter du en ITU'er
  • Lav opslag i Jobbanken
  • Ansæt en ErhvervsPhD
  • ITU NextGen
  • ITU Business Development
  • Organisationsdiagram
  • Bestyrelsen
  • Direktionen
  • Aftagerpaneler
  • Sektioner
  • Diversitet og inklusion
  • Pædagogiske principper
  • Nøgletal
  • Gennemsigtighed og åbenhed
  • Kvalitet og studiemiljø
  • Årsrapporter
  • Strategiske rammekontrakter
  • IT-Universitetets vedtægter
  • IT-Universitetets historie
  • Kapitalforvaltning
  • Tilskud
  • Energimærkning
  • Nyheder
  • Pressekontakt
  • Pressebilleder
  • Find en forsker
  • Filme og fotografere på ITU
  • Logoer
  • Tilmeld jobagent
  • Testpolitik
  • Kompetenceprofiler
ITU  /  Om ITU  /  Organisation  /  Sektioner  /  Theoretical Computer Science
  • Om ITU
    • Organisation
      • Organisationsdiagram
      • Bestyrelsen
      • Direktionen
      • Aftagerpaneler
      • Sektioner
        • 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
      • Værdier, strategi og grundprincipper
      • Tal og fakta
      • Presse
      • Stillinger
      • ITU Channel
      • ITU Alumni
      • IT-biblioteket
      • Privatlivspolitik
      • Fakturering
      • Information til censorer
      • Events
      • Kontakt
      • Find vej
      • Parkeringsforhold
      • Bygningens tilgængelighed

    Theoretical Computer Science

    Sektionen er nyoprettet som følge af en omstrukturering, der trådte i kraft 1. januar 2025. En beskrivelse af sektionen er under udarbejdelse og vil blive publiceret hurtigst muligt.

    Sektionsleder: Riko Jacob

    Forskningsgrupper: Algorithms, Programming, Logic and Semantics (PLS)

    Forskningscenter: Center for Information Security and Trust (CISAT) 

    Læs mere om denne sektion på ITU Research Portal


    NameTitle
    Alessandro BruniAssociate Professor
    Alexander Theodor Bilde PedersenPhD fellow
    Amir NikabadiPhD fellow
    Anastasiia SedovaPostdoc
    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
    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

    Kontakt os

    IT-Universitetet i København
    Rued Langgaards Vej 7
    2300 København S
    Danmark

    Telefon: +45 7218 5000
    E-mail: itu@itu.dk
    Alle kontaktoplysninger
    Find vej
    Bygningens tilgængelighed

    Aktuelt

    Nyheder
    Stillinger
    Events

    Genveje

    IT-biblioteket
    ITU Student
    ITU Alumni
    Til censorer
    Presse

    Fakturering

    CVR-nr. 29 05 77 53
    P-nummer: 1005162959
    EAN-nr. 5798000417878
    Send faktura

    Web

    Tilgængelighedserklæring
    Privatlivspolitik

    ITU på Instagram ITU på Facebook ITU på Linkedin ITU på Youtube ITU på Bluesky

    Denne side er udskrevet fra https://en.itu.dk/Programmes/MSc-Programmes/Computer-Science