====== Geri Gokaj ====== {{ }} **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.** To appear at ITCS 2025. {{ :people:itcs25.pdf |}}