Eren Keskin

PhD Student (M.Sc. in Computer Science)

Email: e.keskin@tu-bs.de

Office: Informatik Zentrum, 3rd floor, room 370 (IZ370)

I am a PhD student at the Institute of Theoretical Computer Science in Braunschweig. My current research interests are verification of infinite state systems, particularly of vector addition systems, and perfect information games.

Publications

(LICS 2024 Distinguished Paper) On the Separability Problem of VASS Reachability Languages

(ICALP 2024)  Separability in Büchi VASS and Singly Non-Linear
Systems of Inequalities

(CONCUR 2023 Best Paper) Separability and Non-Determinizability of WSTS