Algorithms and Logic, kontakt: Paul Fischer
Vi udvikler metoder for at modellere problemer med henblik på at løse disse med computeren. Vi designer og analyserer de tilsvarende løsnings metoder og datastrukturer til vedligeholdelsen af de tilhørende data.
Billedanalyse og computergrafik, kontakt: Rasmus Larsen
Vi arbejder dels med at måle fysiske egenskaber ved hjælp af kameraer og andre billeddannende instrumenter, herunder medicinske 3D scannere, dels med at lave naturtro visualisering og anden computer grafik. Eksempler er sortering af fødevarer, diagnose af hjertepatienter og visualisering i computerspil.
DTU Dataanalyse, kontakt: Bjarne Ersbøll
Sektionen har til formål at støtte DTU's institutter med viden om og hjælp til statistik og anden dataanalyse på tværs af alle DTU Informatik's sektioner.
Embedded Systems Engineering, kontakt: Jan Madsen
Kognitive systemer, kontakt: Lars Kai Hansen
Vi arbejder med at gøre computere selvlærende, så de bedre kan forstå signaler og mønstre i digitale omgivelser. Vi laver matematiske modeller af selvlærende systemer f.eks. til medicinske formål, til intelligente høreapparater og til overvågning af komplekse maskiner.
Language-Based Technology, kontakt: Hanne Riis Nielson
Vi udvikler metoder, værktøjer og teknikker til design, implementation og validering af sikre og pålidelige IT-systemer. Vi er specielt interesserede i netværks teknologi og sprog baseret teknologi.
Matematisk statistik, kontakt: Per Brockhoff
Vi arbejder med informationsteknologi med vægt på dataanalyse. Data kan være forsøgsresultater, eller andre observationer. På grundlag af data opstilles matematiske modeller med henblik på beskrivelse eller forudsigelse. Eksempler er forudsigelse af valutakurser eller elforbrug.
Software Engineering, kontakt: Joseph Kiniry
Vi arbejder med metoder, teknikker og principper til at udvikle software systemer i en bred forstand, der bl.a. omfatter parallelle, distribuerede, indlejrede og sandtids systemer. Vores grundholdning er at programudvikling er en modellerings baseret aktivitet, og en væsentlig del af vores forskning er rettet imod matematisk velfunderet modellering, konstruktion og verifikation af software systemer og komponenter.
Scientific Computing, kontakt: Per Christian Hansen
Vi udvikler beregningsmetoder og software til forskellige former for simulering, optimering og andre matematiske beregningsopgaver. Vores fokus er på problemer, som kræver high-performance computing, hvor algoritmer og software skal udnytte moderne hardware bedst muligt. Vores arbejde anvendes bl.a. inden for industriel regulering, akustisk holografi, tomografi, medicinske systemer, bølgesimuleringer samt efterforskning af olie og gas.