# Algorithms

The algorithms research area studies the paradigms and principles of computation. Our research seeks to establish new mathematical and algorithmic principles by which computation can be efficiently harnessed and understood, such as the introduction of techniques from higher algebra to algorithm design both in the centralised and distributed settings. Key objects of study are representations of information and automated reasoning with the ambition of automating the design and analysis of lower-level algorithmic primitives. We chart the power and the limits of efficient computation in both current and novel computing paradigms, ranging from adversarially fault-tolerant distributed computing to algorithmic biochemistry.

## Professors & Lecturers

### Professor Chris Brzuska

*cryptography, IT security, verification, theory of computation, discrete mathematics*

### Professor Parinya Chalermsook

*approximation algorithms, combinatorial optimisation, discrete mathematics*

### Professor Mario Di Francesco

*wireless networking, mobile and ubiquitous computing, Internet of Things*

### Professor Aristides Gionis

*data mining, graph mining, social-network analysis, social media analysis*

### Professor Keijo Heljanko

*distributed systems, cloud computing, big data, distributed computing*

### Lecturer Tomi Janhunen

*computational logic, automated reasoning, constraints, constraint-based optimization, learning logical representations from data*

### Professor Alex Jung

*statistical learning theory, compressed sensing, big data, compressed sensing, complex networks, convex optimization, graphical models, distributed algorithms, information theory, dimensionality reduction, statistical physics *

### Lecturer Tommi Junttila

*computational logic, graph isomorphism, algorithm engineering, constraint programming, formal verification*

### Professor Petteri Kaski

*algorithm theory, exact and parameterized algorithms, algebraic algorithms, algorithm engineering*

### Lecturer Ari Korhonen

*algorithm engineering, software visualisation, web technologies, big data, educational data mining, learning analytics, computing education research, educational technology, digital humanities*

### Professor Ilkka Niemelä

*computational logic, constraints, machine learning, automated reasoning, constraint-based optimization, verification and testing*

### Professor Pekka Orponen

*algorithmics of self-organisation, DNA and RNA self-assembly, stochastic and online algorithms, computational complexity*

### Professor Jukka Suomela

*algorithms, theoretical computer science, distributed and parallel computing, digital humanities*