Skip to main content ITU
Logo
  • Uddannelser
    • Bachelor
    • BSc i Global Business Informatics
    • BSc i Digital Design og Interaktive Teknologier
    • BSc i Softwareudvikling
    • BSc i Data Science
    • Sådan søger du ind
    • Gæstestuderende på bachelorniveau
    • ITU Summer University på bachelorniveau
    • Kandidat
    • 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
    • Sådan søger du ind
    • Gæstestuderende på kandidatniveau
    • ITU Summer University på kandidatniveau
    • Studieliv
    • Spørg en studerende
    • Kvinder i tech
    • Studenterorganisationer
    • Studiestart
    • Labs for studerende
    • Specialpædagogisk støtte (SPS)
    • Studie- og Karrierevejledning
    • Besøg ITU
    • Åbent hus
    • Studerende for en dag
    • Studiepraktik i uge 43
    • Coding Café for unge kvinder
    • IT-Camp for unge kvinder
    • For gymnasielærere
    • Besøg ITU med klassen
    • Digital Dannelse
    • Coding Class
  • Efteruddannelser
    • Efteruddannelser
    • Se alle efteruddannelser
    • Besøg og arrangementer
    • Master i it
    • Om Master i it-ledelse
    • Sådan søger du ind
    • Nyhedsbrev
    • Kontakt
    • Enkeltfag
    • Se udbud af enkeltfag
    • Enkeltfag på masterniveau
    • Sådan søger du ind
    • Nyhedsbrev
    • Kontakt
    • Korte kurser | ITU Professional Courses
    • Se alle korte kurser
    • Nyhedsbrev
    • Kontakt
  • Forskning
    • Forskningsektioner
    • 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
    • Forskningscentre
    • 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
    • ITU Research Portal
    • Find forsker
    • Find forskning
    • Forskningsenheder
    • Forskningscentre
    • Forskningsektioner
    • Forskningsgrupper
    • Labs
    • Forskningsetik og -integritet
    • God forskningspraksis
    • Tekniske rapporter
    • Tekniske rapporter
    • Ph.d.-skole
    • Om Ph.d.-skolen
    • Ph.d.-kurser
    • Ph.d.-forsvar
    • Ph.d.-stillinger
    • Ph.d.-håndbog
    • Ph.d.-support
  • Erhvervssamarbejde
    • Samarbejde med Studerende
    • Projektsamarbejde
    • Projektmarked
    • Studiejob
    • Projektopslag
    • Job- og projektbank
    • Employer Branding
    • IT Match Making
    • Sådan ansætter du en ITU'er
    • Lav opslag i Jobbanken
    • Innovation og samarbejde
    • Læs mere om innovation og samarbejde
    • ErhvervsPhD
    • Ansæt en Erhvervs-p.hd
    • Maritime Hub
    • Innovation og iværksætteri
    • ITU Business Development
    • ITU NextGen
  • Om ITU
    • Om ITU
    • Presse
    • Stillinger
    • Kontakt
  • ENG
ITU  /  Forskning  /  Forskningssektioner  /  Theoretical Computer Science
  • Forskning
    • Center for Digital Velfærd
    • Forskningssektioner
      • 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
      • Forskningsetik og -integritet
      • Tekniske rapporter
      • Forskningscentre
      • Forskningsgrupper
      • Labs
      • Ph.d.-skolen

    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
    Amir NikabadiPhD fellow
    Bernardo Machado DavidAssociate Professor
    Camilla Birch OkkelsPhD fellow
    Carsten SchürmannProfessor
    Christina Frederikke NissenPhD fellow
    Frederik HaagensenPhD fellow
    Holger DellAssociate Professor
    Jens Christian GodskesenAssociate Professor
    Jesper BengtsonAssociate Professor
    Louise BarkhuusProfessor
    Maaike Annebet ZwartPostdoc
    Magnus Rahbek Dalgaard HansenPhD fellow
    Marco CarboneProfessor
    Markus Krabbe LarsenPhD fellow
    Martin AumüllerAssociate Professor
    Melanie Duckert SchmidtPhD fellow
    Natalie SchluterAssociate Professor
    Nutan LimayeProfessor
    Oksana KulykAssociate Professor
    Paloma Thomé de LimaAssociate Professor
    Patrick BahrAssociate Professor
    Prateek DwivediPostdoc
    Radu-Cristian CurticapeanAssociate Professor
    Rahul Bangalore SatishPhD fellow
    Rasmus Ejlers MøgelbergProfessor
    Ricardo Jose Menezes MaiaPostdoc
    Riko JacobHead of Section
    Rosario GiustolisiAssociate Professor
    Sarita de BergPostdoc
    Thore HusfeldtProfessor
    Tim Frederik SeppeltPostdoc
    Willard RafnssonAssociate Professor

    Kontakt os

    Telefon
    +45 7218 5000
    E-mail
    itu@itu.dk

    Alle kontaktoplysninger

    Tilgængelighedserklæring

    Find os

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

    Følg os

    ITU Student /
    Privatliv /
    EAN-nr. 5798000417878/
    CVR-nr. 29 05 77 53 /
    P-nummer 1005162959

    Denne side er udskrevet fra https://itu.dk/404