Max Planck Institute for Software Systems
Campus E1 5
Saarbruecken, Germany
ewieser@mpi<insert minus sign>sws.org
I am a PhD student at MPI-SWS supervised by Joel Ouaknine
studying linear recurrence sequences and in general working in the intersection of number theory and computer science.
I have a BSc and MSc in Mathematics from the University of Copenhagen
On variable-bounded non-linear expansions of Presburger arithmetic
P. Bacik, J. Nieuwveld, J. Ouaknine, M. Vahanwala, M. Venkatesh, and E. R. Wieser.
Accepted at LICS'26