IT, Computer Science and Mathematics › Software Systems

Andersen, Jacob

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

• Alexandra Instituttet A/S

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

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

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

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

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

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

Orlandi, Claudio

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

van de Pol, Jaco

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