Aarhus University Seal

Dansk

You are here: » Researchers

About Aarhus University

IT, Computer Science and Mathematics › Theoretical Computer Science

Back to search

Filter by selecting one or more of the following keywords...

1 - 36 out of 36Page size: 100
Sort by: Last name

  1. Afshani, Peyman

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

    • Assent, Ira

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

      • Birkedal, Lars

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

        • Brandt, Jørgen

          Combinatorics, Cryptology, Effective algorithm implementation, Public-key encryption

          • Brodal, Gerth Stølting

            Algorithmics

            • Chester, Sean

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

              • 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

                    • Engberg, Uffe H.

                      Programming languages and formal models (Concurrency), Semantics of programming language

                      • Garde, Henrik

                        Differential equations, Functional analysis and operator theory, Ordinary and partial differential equations, Scientific calculations

                        • 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

                            • Heide-Jørgensen, Uffe

                              Theoretical Computer Science, Biostatistics, Epidemiology, Mathematics

                              • 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

                                • Isfeldt, Annika

                                  Algorithms for massive datasets, Anthropology, Development cooperation (developing countries), Practical politics, Probability theory

                                  • 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

                                      • Klose, Andreas

                                        Combinatoric optimisation, Logistics, Optimisation, Optimisation algorithms, Optimisation of several criteria, Supply chain management, Tournament planning

                                        • Koefoed Rømer, Jonas

                                          Algorithms for geographical information systems, Geographical information systems, GIS, Spatial analysis, Spatial modelling, Vulnerability analysis

                                          • 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

                                            • Miltersen, Peter Bro

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

                                              • 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

                                                        • Pedersen, Christian Nørgaard Storm

                                                          Algorithmics, Bioinformatics, Design and analysis og algorithms and data structures, Effective algorithm implementation, Evolutionary Trees, Genome Analysis, Identification of Genetic Structures, Sequential Analysis, Structural Analysis, Structural Predictions, Text algorithms and data structures

                                                          • Rav, Mathias

                                                            Algorithms for massive datasets

                                                            • Relund, Lars

                                                              Combinatoric optimisation, Graph algorithms, Logistics, Operation analysis, Operations management , Operations research , Optimisation, Optimisation of several criteria, Optimisation subject to uncertainty

                                                              • Sainte-Marie, Maxime Holmberg

                                                                Cognition theory, Communication of research (Scholarly Communication), Language technology (parsing, language technology dictionaries etc) (Natural Language Processing), Logic, Philosophy of science, Research statistics (Bibliometrics), Semantics (cognitive semantics, formal semantics etc), Studies of science and technology, Text algorithms and data structures (Text Mining)

                                                                • 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

                                                                    • van de Pol, Jaco

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

                                                                      • Wilkinson, Bryan T.

                                                                        Geometric algorithms and data structures

                                                                        • Wøhlk, Sanne

                                                                          Algorithms for massive datasets, Operations research , Transport economics (SDGCircularEconomy)