Algorithms, logic, complexity
Aalto's key expertise in algorithms, loc and complexity includes advances in computation, mathematical software systems, and quantum computing.
The systematic design and analysis of complex, yet efficient and reliable computational systems is at the core of modern computer science. New challenges arise continually at the one end from the emergence of global computing infrastructures such as wireless networks, cloud computing and the Internet of Things, and at the other end from the demands of solving difficult computational problems in science and engineering.
Aalto's expertise is particularly strong in modern algorithmics, computational logic and formal methods, cryptography and data security, computer-aided system design, cyber-physical systems, and quantum computing.
Aalto's key professors in this area include: