Afshani, Peyman

Algoritmer for hierarkisk hukommelse, Algoritmik, Geometriske algoritmer og datastrukturer

Andersen, Jacob

Indlejrede systemer, Kommunikationsprotokoller og netværk, Pervasive healthcare, Softwaresystemer for pervasive computing

• Alexandra Instituttet A/S

Assent, Ira

Algoritmer for store datamængder (Data Analytics, Data management, Data mining, Data-Intensive Systems, Machine learning, Parallel algorithms, Query processing, Search, Text mining)

Bertelsen, Olav W.

Brugerdeltagelse i systemudvikling (participatory design), Interaktionsdesign, It-støtte til samarbejde, CSCW, Oplevelsesorienteret it, Æstetisk interaktion

Birkedal, Lars

Funktionel programmering, Programanalyse og -transformationer, Programmeringssprog og formelle modeller

Bouvin, Niels Olof

Brugerdeltagelse i systemudvikling (participatory design), Distribuerede softwaresystemer, Eksperimentel systemudvikling, Fleksibilitet i design, Hypermedier, Mobile systemer og grænseflader, Softwaresystemer for pervasive computing, Webteknologi

Brodal, Gerth Stølting

Algoritmik

Bødker, Susanne

Arbejde, organisation og it, Brugerdeltagelse i systemudvikling (participatory design), Design og systemudvikling, Design som læring, Designprocesser, Eksperimentel systemudvikling, Forståelig teknologi, Interaktionsdesign, Interaktionsformer, It-baserede videnarbejdspladser, It-støtte til samarbejde, CSCW, Menneske-maskin-interaktion, Systemudviklingsmetoder, Teorier om brug og interaktion

Chester, Sean

Algoritmer for store datamængder, Design og analyse af algoritmer og datastrukturer, Grafalgoritmer

Christensen, Henrik Bærbak

Distribuerede softwaresystemer, Eksperimentel systemudvikling, Softwarearkitektur, Undervisning i programmering og softwareudvikling

Christensen, Michael

Brugerdeltagelse i systemudvikling (participatory design), Eksperimentel systemudvikling, Forståelig teknologi, Interaktive rum, bygninger og byrum, It-støtte til samarbejde, CSCW, Objekt-orienteret programmering, Softwaresystemer for pervasive computing, Spatial it

• Alexandra Instituttet A/S

Damgård, Ivan Bjerre

Algoritmik, Datasikkerhed, Kryptografiske protokoller, Kryptologi, Kvantecomputing, Public-key-kryptering

Danvy, Olivier

Domain-specifikke sprog, Funktionel programmering, Global computing, Kompilere og fortolkere, Modeller og logik for interaktive systemer, Moderne logik, Objekt-orienterede programmeringssprog, Objekt-orienteret programmering, Partial-evaluering og normalisering, Programanalyse og -transformationer, Programmeringssprog og formelle modeller, Semantik af programmeringssprog, Softwareudviklingsværktøjer, Teknologi med læringspotentiale, Type-systemer, Undervisning i programmering og softwareudvikling, Videnskabsteori, Virtuelle/abstrakte maskiner, Værktøjer baseret på partiel evaluering

Dong, Yifan

Kompilere og fortolkere, Programanalyse og -transformationer, Programmeringssprog og formelle modeller

Frandsen, Gudmund Skovbjerg

Algebraiske og talteoretiske algoritmer, Design og analyse af algoritmer og datastrukturer, Kompleksitetsteori

Grønbæk, Kaj

Augmented reality, Brugerdeltagelse i systemudvikling (participatory design), Design og systemudvikling, Digitale og fysiske rum, Eksperimentel systemudvikling, Hypermedier, Interaktionsdesign, Interaktionsformer, Interaktive rum, bygninger og byrum, Menneske-maskin-interaktion, Mobile systemer og grænseflader, Multimedier, Oplevelsesorienteret it, Pervasive computing (it i alting), Pervasive computing interaktion, Spatial it, Webteknologi

Grønlund, Allan

Algoritmer for hierarkisk hukommelse, Algoritmer for store datamængder, Algoritmik, Design og analyse af algoritmer og datastrukturer, Effektiv algoritmeimplementering, I/O-effektive algoritmer, Optimeringsalgoritmer, Tekstalgoritmer og datastrukturer

Hansen, Kristoffer Arnsfelt

Algoritmik, Kompleksitetsteori, Optimeringsalgoritmer, Spilteori

Hoggan, Eve

Bevægelsesbaseret interaktion, Fysisk design, Grafalgoritmer, Håndgribelig interaktion, Interaktionsdesign, Lokationsbaserede og kontekstsensitive systemer, Mobile systemer og grænseflader, Sensornetværk, Statistik

Jensen, Kurt

Eksperimentel systemudvikling, Kapacitetsplanlægning, Modeldrevet systemudvikling, Modellering og validering af distribuerede systemer (Farvede Petri Net), Programmeringssprog og formelle modeller, Simulations- og analyseværktøjer, Softwarespecifikation og -verifikation

Johannsen, Jacob

Funktionel programmering, Semantik af programmeringssprog

Klokmose, Clemens Nylandsted

Interaktionsdesign, It-støtte til samarbejde, CSCW, Pervasive computing interaktion, Teorier om brug og interaktion

Kyng, Morten

Brugerdeltagelse i systemudvikling (participatory design), Computer-supported cooperative work, Designprocesser, Forståelig teknologi, Innovation og it, Interaktionsformer, It i sundhedsvæsenet, It-støtte til samarbejde, CSCW, Pervasive computing (it i alting), Pervasive computing interaktion, Pervasive healthcare, Projektledelse, Systemudviklingsmetoder

Larsen, Kasper Green

Algoritmer for hierarkisk hukommelse, Algoritmer for store datamængder, Algoritmik, Design og analyse af algoritmer og datastrukturer, Geometriske algoritmer og datastrukturer, Grafalgoritmer, I/O-effektive algoritmer, Kombinatorik, Kompleksitetsteori, Tekstalgoritmer og datastrukturer

Madsen, Ole Lehrmann

Distribuerede softwaresystemer, Objekt-orienterede programmeringssprog, Objekt-orienterede softwaresystemer, Objekt-orienteret analyse og design, Objekt-orienteret modellering, Objekt-orienteret programmering, Softwarearkitektur, Softwaresystemer for pervasive computing, Softwareudviklingsværktøjer, Virtuelle/abstrakte maskiner

Miltersen, Peter Bro

Algoritmik, Kompleksitetsteori, Optimeringsalgoritmer, Spilteori, Teoretisk datalogi

Møller, Anders

Kompilere og fortolkere, Programanalyse og -transformationer, Programmeringssprog og formelle modeller, Softwarespecifikation og -verifikation, Webteknologi

Møller-Nielsen, Peter

Digital kunst, netkunst, softwarekunst, Distribuerede softwaresystemer (Parallelprogrammering), Videnskabelige beregninger (Parallelprogrammering)

Nielsen, Jesper Buus

Algebraiske og talteoretiske algoritmer, Datasikkerhed, Distribuerede softwaresystemer, Kryptografiske protokoller, Kryptologi, Public-key-kryptering, Spilteori

Orlandi, Claudio

Datasikkerhed, Distribuerede softwaresystemer, Kommunikationsprotokoller og netværk, Kryptografiske protokoller, Kryptologi, Kryptologi, Public-key-kryptering

Pfeuffer, Ken

Interaktionsdesign, Mixed reality, Virtual Reality, Visionsbaseret interaktion

Rav, Mathias

Algoritmer for store datamængder

Schulz, Hans-Jörg

Computergrafik og lyd

Schwiegelshohn, Chris

Algoritmer for store datamængder, Algoritmik, Design og analyse af algoritmer og datastrukturer

Spitters, Bas

Funktionel programmering, Kryptologi, Programmeringssprog og formelle modeller, Semantik af programmeringssprog

Wilkinson, Bryan T.

Geometriske algoritmer og datastrukturer

van de Pol, Jaco

Design og analyse af algoritmer og datastrukturer, Formal methods , Formal verification , Softwarespecifikation og -verifikation

Østerby, Ole

Ordinære og partielle differentialligninger