ITU
Spring ned til sidens indhold
IT-Universitetet i København - Logo
  • Uddannelser
  • Efteruddannelser
  • Forskning
  • Innovation & Samarbejde
  • Om ITU
  • Forskningsentre, hubs og 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
  • Sektioner og forskningsgrupper
    • 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
    • Forskningsgrupper
    • Sektioner
  • Forskningsresourcer
    • ITU Research Portal
    • Find forsker
    • Forskningsetik og -integritet
    • God forskningspraksis
    • Tekniske rapporter
    • Statement on Academic Freedom
  • Ph.d.-skole
    • Om ph.d.-uddannelsen
    • Ph.d.-kurser
    • Ph.d.-forsvar
Search
  • Dansk
  • Engelsk

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 / Forskning / Research centers

Research centers

ITU / Forskning / Sections and research groups

Sections and research groups

ITU / Forskning / PhD skolen

PhD skolen

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
  • Forskningsentre, hubs og labs
  • Sektioner og forskningsgrupper
  • Forskningsresourcer
  • 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 Data Science
  • BSc i Digital Design og Interaktive Teknologier
  • BSc i Global Business Informatics
  • BSc i Softwareudvikling
  • Udveksling
  • Gæstestuderende
  • ITU Summer University
  • Sådan søger du ind
  • Frister og vigtige datoer
  • MSc i Advanced Software Engineering
  • MSc i Business Analytics & Artificial Intelligence
  • MSc i Datalogi
  • MSc i Data Science
  • MSc i Digital Design og Interaktive Teknologier
  • MSc i Digital Innovation & Management
  • MSc i Softwaredesign
  • MSc i Spil
  • Udveksling
  • Gæstestuderende
  • ITU Summer University
  • Sådan søger du ind
  • Frister og vigtige datoer
  • Hvordan er det at gå på ITU?
  • Spørg en studerende
  • Campus
  • Studiestart
  • Studenterorganisationer
  • SPS (specialpædagogisk støtte)
  • Studie- og karrierevejledning
  • Muligheder med en IT-uddannelse
  • Innovation og iværksætteri
  • Kvinder i tech
  • Åbent hus
  • Studerende for en dag
  • Studiepraktik
  • Coding Café for kvinder
  • IT-Camp for kvinder
  • Tilbud til gymnasielærere
  • 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
  • Forskningsgrupper
  • Sektioner
  • ITU Research Portal
  • Find forsker
  • Forskningsetik og -integritet
  • God forskningspraksis
  • Tekniske rapporter
  • Statement on Academic Freedom
  • Om ph.d.-uddannelsen
  • Ph.d.-kurser
  • Ph.d.-forsvar
  • 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, ligestilling og inklusion
  • ITU Flagships
  • 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  /  Forskning  /  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
Alessandro BruniAssociate Professor
Alessio ColtellacciPostdoc
Alvin Gundlev AgerholmGuest Researcher
Amir NikabadiPhD fellow
Anastasiia SedovaPostdoc
Anton Ekman-ThorgaardGuest Researcher
Benjamin YoungPostdoc
Bernardo Machado DavidAssociate Professor
Carsten SchürmannProfessor
Christina Frederikke NissenPhD fellow
Dawit TirorePostdoc
Derguene MbayePostdoc
Eszter VighPostdoc
Eva RotenbergProfessor
Frederikke Uldahl MartensenPhD fellow
Gusts Gustavs GrinbergsResearch Assistant
Holger DellAssociate Professor
Jacobus ConradiGuest Researcher
Jens Christian GodskesenAssociate Professor
Jesper BengtsonAssociate Professor
Johanne Müller VistisenPhD fellow
Juliette Marie Victoire VlieghePhD fellow
Lasse Sascha Stefan WulfGuest
Louise BarkhuusProfessor
Maaike Annebet ZwartPostdoc
Magnus Christian Ring MerrildPhD fellow (enrolled/guest)
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
Niels Inselmann ChristiansenPhD fellow
Niklas Kline Lange FrostResearch Assistant
Nikolaj Munk Binder JensenResearch Assistant
Nikolaj Munk Binder JensenResearch Assistant
Nutan LimayeProfessor
Oksana KulykAssociate Professor
Paloma Thomé de LimaAssociate Professor
Patrick BahrAssociate Professor
Prateek DwivediGuest Researcher
Radu-Cristian CurticapeanAssociate Professor
Raha AsadiPhD fellow
Rahul Bangalore SatishPhD fellow
Rasmus Ejlers MøgelbergProfessor
Ricardo Jose Menezes MaiaPostdoc
Riko JacobAssociate Professor
Rosario GiustolisiAssociate Professor
Sarita de BergPostdoc
Sofie Lundholm AndersenStudent Worker
Søren DeboisAssociate Professor
Thomas HildebrandtGuest Researcher
Thomas Holme SurlykkePhD fellow
Thore HusfeldtProfessor
Tim Frederik SeppeltPostdoc
Willard RafnssonAssociate Professor
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/About-ITU/Press/News-from-ITU/2026/ERC-Grant-to-bring-self-healing-AI-hardware-into-space