Geri Gokaj
Scientific Assistant
Karlsruhe Institute of Technology (KIT)
Institute of Theoretical Informatics
| geri.gokaj@kit.edu | |
| office | room 316, 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. itcs25.pdf