It, datalogi og matematik › Softwaresystemer

A. Bach, Lars

Adfærd og etologi, Biodiversitet, Cancer , Evolution, Klimaændringer og biodiversitet, Komplekse systemer, Makroøkologi, Organisationer, Organisationsteori, Organisationsteori, Populationsbiologi, Selektion, Spilteori

Adolf, Katja

Genetik, Genetik, It i sundhedsvæsenet, Kræftsygdomme, Molekylær medicin, Softwarearkitektur, Webdesign

Andersen, Jacob

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

• Alexandra Instituttet A/S

Bennedsen, Jens

Curriculumsforskning, Fagenes didaktik, Objekt-orienteret modellering, Softwareudviklingsværktøjer, Undervisning i programmering og softwareudvikling, Voksenuddannelse

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

Brodersen, Ditlev E.

3D-strukturer af store molekyler, Bakterier, Elektroniske undervisningsmidler, Enzymer og kunstige enzymer, Mikrobielle processer og stofkredsløb, Nanovidenskab og nanoteknologi, RNA, Robotter (Automatiseret krystallisationsscreening), Røntgenkrystallografi, Strukturel analyse (Visualisering og sammenligning af proteinstrukturer), Undervisningsmål og -metoder

Brynskov, Martin

Augmented reality (mediefacader, Medier i byrum, mobil-programmer), Brugerdeltagelse i systemudvikling (participatory design) (design med børn), Computerspil, digital kunst og kultur, Digitale medier, Digitale og fysiske rum (Nye interaktionsteknologier, Social interaktion), Globalisering, teknologi (Hyperlokale nyheder), Interaktionsdesign (nye interaktionsteknologier), Interaktionsformer (Interaktion i byrum, iPhone, mobil-økologi, nye interaktionsformer), Interaktive rum, bygninger og byrum (interaktive mediefacader), It i byrummet, Køn og teknologi (børn og mobiler, børne-popkultur, Facebook, sociale medier, tweens), Mobile systemer og grænseflader (Asien, digital leg, Japan, Keitai, mobil-spil, Sydkorea), Modeldrevet systemudvikling (digitale habitater, tværfaglige modeller til design), Modeller og logik for interaktive systemer, Pervasive computing interaktion (børn, leg og spil), Robotter (børn og teknologi), Spatial it (GPS, lokationsbaserede services, sociale rum), Teorier om brug og interaktion (computersemiotik)

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

Caspersen, Michael E.

Fagenes didaktik (Datalogisk didaktik,, It-didaktik), Modeldrevet systemudvikling, Objekt-orienterede programmeringssprog, Objekt-orienterede softwaresystemer, Objekt-orienteret analyse og design, Objekt-orienteret modellering, Objekt-orienteret programmering, Undervisning i programmering og softwareudvikling

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

Christensen, Søren

Kommunikationsprotokoller og netværk, Mobile systemer og grænseflader, Modellering og validering af distribuerede systemer, Softwarespecifikation og -verifikation (Farvede Petri Net)

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

Gildbjerg, Lars Bilde

Arbejdspraksis og anvendelse af it, Computer-supported cooperative work, Distribuerede softwaresystemer, Komplekse systemer

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

Handberg, Rasmus

Asteroseismologi, Astrofysik, Astronomi, NASA (Kepler-missionen, TESS-missionen), Planeter, Stjernedannelse og -udvikling, Stjerner, Webtjenester (Kepler Asteroseismic Science Operations Center (KASOC), SONG Data Archive, TESS Asteroseismic Science Operations Center (TASOC))

Have, Ulrich Karstoft

Domain-specifikke sprog, Softwarearkitektur, Softwarespecifikation og -verifikation, Webdesign, Webtjenester

Holst, Niels

Bæredygtigt jordbrug, Designprocesser, Domain-specifikke sprog, Populationsbiologi

Jacobsen, Rune Hylsberg

Distribuerede softwaresystemer, IP networks , Networked Embedded Systems , Personal communication networks , Satellitter, Smart grids , Wireless communications , Wireless sensor networks

Jakobsen, Frank Bodholdt

Distribuerede softwaresystemer (Netværksprotokoller), Indlejrede systemer (Linux, netværk), Objekt-orienteret programmering (C#, C/C++), Softwarespecifikation og -verifikation

Jakobsen, Morten Opprud

Indlejrede systemer, Undervisning i programmering og softwareudvikling

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

Jensen, Peter

Arkæologisk dataanalyse, GIS, Multivariable metoder, Udgravningsteknik, Webproduktion, Webteknologi, Webtjenester

Johansen, Søren Glud

Internt regnskabsvæsen, Lagerstyring, Markov beslutningsteori, Optimering, Optimering under usikkerhed, Prisfastsættelse, Produktionsøkonomi, Regnskabsvæsen, Simulations- og analyseværktøjer

Jørgensen, Erik

Softwaresystemer, Design og systemudvikling

Kolle, Klaus

Distribuerede softwaresystemer, Distributed Systems Architecture , Embedded Systems SW (Device Drivers, Linux), Formal methods (Development methods), Indlejrede systemer, Kommunikationsprotokoller og netværk, Objekt-orienteret analyse og design, Objekt-orienteret programmering, Real-time Operating Systems , Software engineering , System engineering (Software development), System/software architectures , System/software development processes , Undervisning i programmering og softwareudvikling

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

Mailund, Thomas

Algoritmik, Arvelige sygdomme, Associationskortlægning, Bioinformatik, DNA, Effektiv algoritmeimplementering, Evolution, Evolutionære træer, Genetik, Genetik og molekylær evolution, Genomanalyse, Molekylær evolution, Monte Carlo-simulering, Sekvensanalyse, Simulations- og analyseværktøjer, Tekstalgoritmer og datastrukturer, Videnskabelige beregninger

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

Trieu, Alix

Formal verification , Kompilere og fortolkere

Velasco González, Pablo Rodrigo

Aktør-netværks-teori (ANT), Digital kultur, netkultur, hackerkultur, softwarekultur, Internet, Kritisk teori, Kvantitative metoder, Mediepolitik, Objekt-orienterede programmeringssprog, Økonomisk historie

van de Pol, Jaco

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