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 |