IT, Computer Science and Mathematics › Software Systems

A. Bach, Lars

Behaviour and etology, Biodiversity, Cancer , Climate changes and biodiversity, Complex systems, Evolution, Game theory, Macroecology, Organisation theory, Organisation theory, Organisations, Population biology, Selection

Adolf, Katja

Cancer (prostate cancer), Genetics, Genetics, IT in the health service, Molecular medicine, Software architecture, Webdesign

Alrøe, Michael

Embedded Systems SW , Networked Embedded Systems , Real-time Embedded Systems, Real-time Operating Systems , Robots, Sensor systems and applications , System-on-a-chip , Wireless sensor networks (Internet of Things)

Andersen, Jacob

Communication protocols and network, Embedded systems, Pervasive healthcare, Software Systems for pervasive computing

• Alexandra Instituttet A/S

Beedholm, Kristian

Animal physiology, Audio signal processing , Bioacoustics, Embedded systems, Harmonic analysis, Marine biology, Software development tools

Bennedsen, Jens

Adult education, Object-oriented modelling, Research in curriculum, Software development tools, Subject-related didactics, Teaching in programming and software development

Bødker, Susanne

Comprehensive technology, Design and Systems Development, Design as learning, Design processes, Experimental systems development, Forms of interaction, IT support for cooperation (CSCW), Interaction design, It-based knowledge workplace, Man-machine Interaction, Systems development methods, Theories on use and interaction, User participation in systems development (participatory design), Work, Organisation and IT

Bouvin, Niels Olof

Distributed software systems, Experimental systems development, Flexibility in design, Hypermedia, Mobile systems and interfaces, Software Systems for pervasive computing, User participation in systems development (participatory design), Webtechnology

Brodersen, Ditlev E.

3D structures of large molecules, Bacteria (Stringent reponse), Electronic teaching aids, Enzymes and artificial enzymes, Microbial processes and substance cycles (Survival mechanisms), Nanoscience and nanotechnology (Single particle electron microscopy), RNA, Robots (Automated crystallisation screening), Structural Analysis (Visualisation and comparison of protein structures), Teaching goals and methods, X-ray crystallography

Caspersen, Michael E.

Model-driven systems development, Object-oriented analysis and design, Object-oriented modelling, Object-oriented programming, Object-oriented programming lauguage, Object-oriented software systems, Subject-related didactics (Computing education,, Informatics education), Teaching in programming and software development

Christensen, Henrik Bærbak

Distributed software systems, Experimental systems development, Software architecture, Teaching in programming and software development

Christensen, Michael

Comprehensive technology, Experimental systems development, IT support for cooperation (CSCW), Interactive rooms, buildings and urban environments, Object-oriented programming, Software Systems for pervasive computing, Spatial IT, User participation in systems development (participatory design)

• Alexandra Instituttet A/S

Christensen, Søren

Communication protocols and network, Mobile systems and interfaces, Modelling and validation of distributed systems, Software specification and verification (Coloured Petri Nets)

Danvy, Olivier

Compilers and interpreters, Domain-specific language, Functional programming, Global computing, Models and logic for interactive systems, Modern logic, Object-oriented programming, Object-oriented programming lauguage, Partial evaluation and normalisation, Philosophy of science, Program analysis and transformations, Programming languages and formal models, Semantics of programming language, Software development tools, Teaching in programming and software development, Technology with learning potential, Tools based on partial evaluation, Type systems, Vitual/abstract machines

Dong, Yifan

Compilers and interpreters, Program analysis and transformations, Programming languages and formal models

Gildbjerg, Lars Bilde

Complex systems, Computer-supported cooperative work, Distributed software systems, Working practise and the use of IT

Grønbæk, Kaj

Augmented reality, Design and Systems Development, Digital and physical spaces, Experience-oriented IT, Experimental systems development, Forms of interaction, Hypermedia, Interaction design, Interactive rooms, buildings and urban environments, Man-machine Interaction, Mobile systems and interfaces, Multimedia, Pervasive Computing, Pervasive computing interaction, Spatial IT, User participation in systems development (participatory design), Webtechnology

Handberg, Rasmus

Asteroseismology, Astronomy, Astrophysics, NASA (Kepler mission, TESS mission), Planets, Star formation and evolution, Stars, Web services (Kepler Asteroseismic Science Operations Center (KASOC), SONG Data Archive, TESS Asteroseismic Science Operations Center (TASOC))

Have, Ulrich Karstoft

Domain-specific language, Software architecture, Software specification and verification, Web services, Webdesign

Holst, Niels

Design processes, Domain-specific language, Population biology, Sustainable agriculture

Jacobsen, Rune Hylsberg

Distributed software systems, IP networks , Networked Embedded Systems , Personal communication networks , Satellites, Smart grids , Wireless communications , Wireless sensor networks

Jakobsen, Frank Bodholdt

Distributed software systems, Embedded systems, Object-oriented programming, Software specification and verification

Jakobsen, Morten Opprud

Embedded systems, Teaching in programming and software development

Jensen, Kurt

Capacity planning, Experimental systems development, Model-driven systems development, Modelling and validation of distributed systems (Coloured Petri Nets), Programming languages and formal models, Simulation and analysis tools, Software specification and verification

Johansen, Søren Glud

Accounting, Management accounting, Markov decision theory, Optimisation, Optimisation subject to uncertainty, Price determination, Production economics, Simulation and analysis tools, Stock management

Jørgensen, Erik

Software Systems, Design and Systems Development

Kristensen-McLachlan, Ross Deans

Corpus linguistics, Danish grammar, Data linguistics, Functional linguistics, Language technology (parsing, language technology dictionaries etc), Philosophy of science for the humanities, Pragmatics (language use), Rhetoric, Stylistics, Teaching in programming and software development, Text typology (genre theory)

Madsen, Ole Lehrmann

Distributed software systems, Object-oriented analysis and design, Object-oriented modelling, Object-oriented programming, Object-oriented programming lauguage, Object-oriented software systems, Software Systems for pervasive computing, Software architecture, Software development tools, Vitual/abstract machines

Møller, Anders

Compilers and interpreters, Program analysis and transformations, Programming languages and formal models, Software specification and verification, Webtechnology

Møller-Nielsen, Peter

Digital art, net art, software art, Distributed software systems (Parallel programming), Scientific calculations (Parallel programming)

Nielsen, Jesper Buus

Computational number theory, Cryptographic protocols, Cryptology, Data security, Distributed software systems, Game theory, Public-key encryption

Noe, Karsten Østergaard

Scientific calculations, Simulation and analysis tools

Orlandi, Claudio

Communication protocols and network, Cryptographic protocols, Cryptology, Cryptology, Data security, Distributed software systems, Public-key encryption

Talasila, Prasad

Cyber-physical systems , Model-based development , Simulation and analysis tools

van de Pol, Jaco

Design and analysis og algorithms and data structures, Formal methods , Formal verification , Software specification and verification

Velasco, Pablo

Actor-network-theory (ANT), Critical theory, Digital culture, net culture, hacker culture, software culture, Economic history (Digital Economy), Internet, Media politics, Object-oriented programming lauguage, Quantitative Methods (Digital Methods)