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:

Petteri Kaski

Ilkka Niemelä

Kaisa Nyberg

Pekka Orponen

Mika Sillanpää

Jukka Suomela

Jorma Tarhio

Stavros Tripakis

Jukka Tulkki

Päivi Törmä

Patric Östergård

Page content by: | Last updated: 11.09.2015.