Andersen, Jacob

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

• Alexandra Instituttet A/S

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

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

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

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

Ernst, Erik

Kompilere og fortolkere, Objekt-orienterede programmeringssprog, Objekt-orienteret programmering, Programmeringssprog og formelle modeller, Semantik af programmeringssprog, Softwareudviklingsværktøjer, Type-systemer, Virtuelle/abstrakte maskiner

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

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

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

• Alexandra Instituttet A/S

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

van de Pol, Jaco

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