Research at the Faculty of Informatics
 |
Applied Mathematics, Computational Methods, Fast Solvers, Finite Elements, High Performance Computing, Nonsmooth Methods, Numerical Algorithms, Numerical Optimization |
 |
Artificial Intelligence, Data Analysis, Data Mining, Machine Learning, Neural Networks, Optimization, Pattern Recognition, Robotics |
 |
Autonomic Computing, Cloud Computing, Computer Architecture, Distributed Systems, Embedded Systems, Mobile Computing, Security, Self-Adaptive Systems, Service-oriented Computing |
 |
Compilers, Modularity, Optimizations, Program Analysis, Program Verification, Runtime Systems, Semantics |
 |
Geometric and Visual Computing Computational Geometry, Computer Graphics, Computer Vision, Geometry Processing |
 |
Software Architecture, Software Evolution, Software Performance, Software Testing and Analysis, Software Visualization, Web Engineering |
 |
Business Process Management, HCI, Information Retrieval, Privacy |
 |
Complexity, Cryptography and Quantum Information, Discrete Algorithms, Geometric Algorithms, Logic, SAT |