Üsame Cengiz

I’m a Ph.D. student at the chair of Theoretical Computer Science at FAU Erlangen-Nürnberg. My supervisor is Lutz Schröder.
My current research focuses on extending the mathematical tools required to reason about coalgebras in regard to the connection between the semantics, their logics, and their game-theoretic characterizations. Coalgebras allow for a generalized view of state-based systems (a way to model processes, e.g. for specification or model-checking) utilizing category theory. More specifically, I’m working on fixpoint logics and operators for graded semantics.

I’m very grateful to be funded by the RTG 2475 Cybercrime and Forensic Computing.

There’s a cute cat on campus that I sometimes get the chance to pet. Here’s a picture: