Afshani, Peyman

Algorithmics, Algorithms for hierarchical memory, Geometric algorithms and data structures

Andersen, Jacob

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

• Alexandra Instituttet A/S

Assent, Ira

Algorithms for massive datasets (Data Analytics, Data management, Data mining, Data-Intensive Systems, Machine learning, Parallel algorithms, Query processing, Search, Text mining)

Bertelsen, Olav W.

Aesthetic interaction, Experience-oriented IT, IT support for cooperation (CSCW), Interaction design, User participation in systems development (participatory design)

Birkedal, Lars

Functional programming, Program analysis and transformations, Programming languages and formal models

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

Brodal, Gerth Stølting

Algorithmics

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

Chester, Sean

Algorithms for massive datasets, Design and analysis og algorithms and data structures (parallel algorithms), Graph algorithms

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

Damgård, Ivan Bjerre

Algorithmics, Cryptographic protocols, Cryptology, Data security, Public-key encryption, Quantum computing

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

Frandsen, Gudmund Skovbjerg

Complexity theory, Computational number theory, Design and analysis og algorithms and data structures

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

Grønlund, Allan

Algorithmics, Algorithms for hierarchical memory, Algorithms for massive datasets, Design and analysis og algorithms and data structures, Effective algorithm implementation, I/O efficient algorithms, Optimisation algorithms, Text algorithms and data structures

Hansen, Kristoffer Arnsfelt

Algorithmics, Complexity theory, Game theory, Optimisation algorithms

Hoggan, Eve

Graph algorithms, Interaction design, Location-aware and context-aware systems, Mobile systems and interfaces, Physical computing, Sensor networks, Statistics, Tangible and embodied interaction (Haptics, Multimodal Interaction), kinesthetic interaction

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

Johannsen, Jacob

Functional programming, Semantics of programming language

Klokmose, Clemens Nylandsted

IT support for cooperation (CSCW), Interaction design, Pervasive computing interaction, Theories on use and interaction

Kyng, Morten

Comprehensive technology, Computer-supported cooperative work, Design processes, Forms of interaction, IT in the health service, IT support for cooperation (CSCW), Innovation and IT, Pervasive Computing, Pervasive computing interaction, Pervasive healthcare, Project management, Systems development methods, User participation in systems development (participatory design)

Larsen, Kasper Green

Algorithmics, Algorithms for hierarchical memory, Algorithms for massive datasets, Combinatorics, Complexity theory, Design and analysis og algorithms and data structures, Geometric algorithms and data structures, Graph algorithms, I/O efficient algorithms, Text algorithms and data structures

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

Miltersen, Peter Bro

Algorithmics, Complexity theory, Game theory, Optimisation algorithms, Theoretical Computer Science

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

Orlandi, Claudio

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

Pfeuffer, Ken

Interaction design, Mixed reality, Virtual Reality, Vision-based interaction

Rav, Mathias

Algorithms for massive datasets

Schulz, Hans-Jörg

Computer graphics and sound (Graph Drawing, Information Visualization, Visual Analytics)

Schwiegelshohn, Chris

Algorithmics, Algorithms for massive datasets, Design and analysis og algorithms and data structures

Spitters, Bas

Cryptology, Functional programming, Programming languages and formal models, Semantics of programming language

Wilkinson, Bryan T.

Geometric algorithms and data structures

van de Pol, Jaco

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

Østerby, Ole

Ordinary and partial differential equations