Scholar
Henrik Lievonen
Google Scholar ID: PScY-MQAAAAJ
Aalto University
Citations & Impact
Citations
104
H-index
6
i10-index
5
Publications
13
Co-authors
29
list available
Publications
Resume (English only)
Academic Achievements
- Upcoming paper: 'Distributed Quantum Advantage in Locally Checkable Labeling Problems', SODA 2026; Another paper: 'Orientation does not help with 3-coloring a grid in online-LOCAL', OPODIS 2025.
Research Experience
- Main developer for the automated grading system used in the highly-popular Programming Parallel Computers course; Also works as a teaching assistant for this course; Contributed to the competitive programming grading system CSES.
Education
- Started his doctoral research in early 2022, after completing his Master's thesis; The writing of his thesis was supported by the Nokia Foundation.
Background
- A doctoral researcher at the Distributed Algorithms group; Research interests include connections between distributed algorithms and other fields of mathematics and computer science; Currently focusing on understanding the role of quantum computation and communication in distributed computing, and formalizing the foundations of distributed computing using Lean 4 theorem prover.
Miscellany
- Contact information includes email, office location, etc.; Active on social media platforms such as GitHub, Twitter, etc.
