====== Geri Gokaj ====== {{:people:geri.jpg?350|}} **Scientific Assistant**\\ Karlsruhe Institute of Technology (KIT)\\ Institute of Theoretical Informatics\\ \\ | email | | | office | room 316, [[https://www.kit.edu/campusplan/index.php?id=50.34|Computer Science building 50.34]] | | office hours | by appointment | ==== Publications ==== * Geri Gokaj, Marvin Künnemann. **Completeness Theorems for k-SUM and Geometric Friends: Deciding fragments of Linear Integer Arithmetic.** At ITCS 2025. {{ :people:itcs25.pdf |}} Full Version: {{ :people:full_version.pdf |}} Slides: {{people :presentation.pdf |}}