Joris

Joris Nieuwveld

Max Planck Institute for Software Systems
Campus E1 5
Saarbrücken, Germany
jnieuwve@mpi<insert minus sign>sws.org

About me

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

Publications

On the decidability of monadic second-order logic with arithmetic predicates pdf
V. Berthé, T. Karimov, J. Nieuwveld, J. Ouaknine, M. Vahanwala, and J. Worrell
Accepted to LICS, 2024

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

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

On the Skolem Problem and the Skolem Conjecture pdf doi
R. Lipton, F. Luca, J. Nieuwveld, J. Ouaknine, D. Purser, and J. Worrell
Proc. of LICS 2022

Unpublished work

Fractions, Functions and Folding. A novel link between continued fractions, Mahler functions and paper folding pdf
J. Nieuwveld
Master Thesis at Radboud University Nijmegen, supervised by W. Zudilin

Imprint / Data Protection