Aarhus University Seal / Aarhus Universitets segl

English

Du er her: AU » Forskning » Find en forsker » Forskere

Forskning

It, datalogi og matematik › Softwaresystemer

Tilbage til søgning

Begræns yderligere ved at vælge et eller flere af følgende emneord...

1 - 36 ud af 36Pr. side: 100
Sortering: Efternavn

  1. 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

                                                  • Kidmose, Rune Thomas

                                                    Modeldrevet 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

                                                                • 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