Aarhus University logo
Dansk
Back to search
Filter by selecting one or more of the following keywords...
Algorithmics, Algorithms for hierarchical memory, Geometric algorithms and data structures
Algorithms for massive datasets (Data Analytics, Data management, Data mining, Data-Intensive Systems, Machine learning, Parallel algorithms, Query processing, Search, Text mining)
Functional programming, Program analysis and transformations, Programming languages and formal models
Algorithmics
Algorithms for massive datasets, Design and analysis og algorithms and data structures (parallel algorithms), Graph algorithms
Algorithmics, Cryptographic protocols, Cryptology, Data security, Public-key encryption, Quantum computing
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
Compilers and interpreters, Program analysis and transformations, Programming languages and formal models
Complexity theory, Computational number theory, Design and analysis og algorithms and data structures
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
Algorithmics, Complexity theory, Game theory, Optimisation algorithms
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
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
Functional programming, Semantics of programming language
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
Theoretical Computer Science, Algorithmics, Complexity theory, Game theory, Optimisation algorithms
Compilers and interpreters, Program analysis and transformations, Programming languages and formal models, Software specification and verification, Webtechnology
Digital art, net art, software art, Distributed software systems (Parallel programming), Scientific calculations (Parallel programming)
Computational number theory, Cryptographic protocols, Cryptology, Data security, Distributed software systems, Game theory, Public-key encryption
Communication protocols and network, Cryptographic protocols, Cryptology, Cryptology, Data security, Distributed software systems, Public-key encryption
Algorithms for massive datasets
Algorithmics, Algorithms for massive datasets, Design and analysis og algorithms and data structures
Cryptology, Functional programming, Programming languages and formal models, Semantics of programming language
Geometric algorithms and data structures
Design and analysis og algorithms and data structures, Formal methods , Formal verification , Software specification and verification
