About me

Since 2021, I am a PhD student at MPI-SWS under supervision of Joël Ouaknine studying linear recurrence sequences, linear dynamical systems and other problems in the intersection of algorithms, logic, and arithmetic.
Earlier I completed a bachelor's and master's in mathematics at Radboud University Nijmegen.

Publications

On the decidability of Presburger arithmetic expanded with powers pdf doi
T. Karimov, F. Luca, J. Nieuwveld, J. Ouaknine, and J. Worrell
Proc. of SODA 2025

The monadic theory of toric words pdf doi
Berthé, T. Karimov, J. Nieuwveld, J. Ouaknine, M. Vahanwala, and J. Worrell,
Theoretical Computer Science 1025, 2025

On the decidability of monadic second-order logic with arithmetic predicates pdf doi
V. Berthé, T. Karimov, J. Nieuwveld, J. Ouaknine, M. Vahanwala, and J. Worrell,
Proc. of LICS, 2024 (Distinguished paper award)

Model Checking Markov Chains as Distribution Transformer pdf doi
R. Aghamov, C. Baier, T. Karimov, J. Nieuwveld, J. Ouaknine, J. Piribauer, M. Vahanwala,
Principles of Verification: Cycling the Probabilistic Landscape, LNCS, volume 15261, 2024

Twisted rational zeros of linear recurrence sequences pdf ArXiv
Y. Bilu, F. Luca, J. Nieuwveld, J. Ouaknine, and J. Worrell
Submitted, 2024

On the p-adic zeros of the Tribonacci sequence pdf doi
Y. Bilu, F. Luca, J. Nieuwveld, J. Ouaknine, and J. Worrell
Mathematics of Computation 93(347), 2023

Positivity Problems for Reversible Linear Recurrence Sequences pdf doi
G. Kenison, J. Nieuwveld, J. Ouaknine, and J. Worrell
Proc. of ICALP 2023

The Power of Positivity pdf doi
T. Karimov, E. Kelmendi, J. Nieuwveld, J. Ouaknine and J. Worrell
Proc. of LICS 2023

Skolem Meets Schanuel pdf doi
Y. Bilu, F. Luca, J. Nieuwveld, J. Ouaknine, D. Purser, and J. Worrell
Proc. of MFCS 2022
Webtool: https://skolem.mpi-sws.org

On the Skolem Problem and the Skolem Conjecture pdf doi
R Lipton, Florian Luca, Joris Nieuwveld, Joël Ouaknine, David Purser, and James Worrell
Proc. of LICS 2022