About
I am a Professor of Computer Science and a leader of "Algorithms, Complexity Theory and Optimisation" group and a council member of Networks Sciences & Technologies at the Department of Computer Science.
My research is mostly in the study of different reachability questions and the boundaries between decidable and undecidable problems that concern automata, formal languages, semigroups and iterative maps. These areas have quite broad connections with algorithms and combinatorics on words, abstract algebra, topology and computation theory. Also, I am interested in designing and analysing algorithms in distributed computational models and particularly in self-organization, pattern formation and analysis of computational power.
I have been a Royal Society Apex Award fellow since 2024, focusing on interdisciplinary research in Algorithmic Crystal Structure Prediction for Material Design. In 2020/2, I was a Royal Society Leverhulme Trust Senior Research Fellow, working on a project called "Cornerstones of Reachability: Between Automata and Matrix Theories."
Since March 2022, I have been involved in the Science for Ukraine initiative, contributing to strategic planning for the development and coordination of its UK branch, including funding and sponsorship activities and media engagement. I have also contributed to the coordination of UK–Ukraine academic mentoring and research twinning programmes, and I lead the LinkUA initiative.
In November 2025, I was awarded the title of Doctor Honoris Causa by Sumy State University in recognition of contributions to UK-Ukraine academic collaboration.
Funded Fellowships
- The Royal Society APEX award (Royal Society, 2024 - 2026)
- Royal Society Leverhulme Trust Senior Research Fellow (Royal Society, 2020 - 2021)