Chris Brzuska · Aalto University

cryptography, IT security, verification, complexity theory

Parinya Chalermsook · Aalto University

approximation algorithms, combinatorics, optimization

Corinna Coupette · Aalto University

graph problems, foundations of distributed computing, network science, responsible and data-centric machine learning, computational legal studies

Antti Honkela · University of Helsinki · FCAI

privacy-preserving machine learning, differential privacy, Bayesian machine learning, probabilistic modelling, computational biology and health

Matti Järvisalo · University of Helsinki

automated reasoning, satisfiability, decision procedures, constraint optimization, complexity of reasoning

Tommi Junttila · Aalto University

formal verification, model checking, computational logic

Petteri Kaski · Aalto University

exact and parameterized algorithms, algebraic algorithms, fine-grained complexity, algorithm engineering, combinatorics, classification

Barbara Keller · Aalto University

network analysis, distributed computing, big data analysis

Sandor Kisfaludi-Bak · Aalto University

computational geometry, non-euclidean geometry, geometric optimization problems, algorithms on geometric graphs

Mikko Koivisto · University of Helsinki

algorithm theory, computational statistics, machine learning, artificial intelligence, bioinformatics

Juha Kontinen · University of Helsinki

mathematical logic, logic in computer science, finite model theory

Russell W. F. Lai · Aalto University

cryptography, information theory, zero-knowledge argument systems, decentralised anonymous systems, secret sharing, multichannel source coding

Heikki Mannila · Aalto University

algorithmic data analysis

Pekka Orponen · Aalto University

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

Alexandru Paler · Aalto University

quantum software, fault-tolerant quantum computing

Jukka Suomela · Aalto University

foundations of distributed and parallel computing, algorithms, computational complexity, computability, digital humanities

Alexandru I. Tomescu · University of Helsinki

bioinformatics, graph problems, flows, string matching, parameterized algorithms, approximation algorithms, computational complexity

Jara Uitto · Aalto University

distributed computing, local algorithms, massively parallel graph algorithms, collaborative graph searching