Vít Jelínek
Hi! I am a PhD student of Computer Science at the University of Sussex under the supervision of Alessio Santamaria and Bernhard Reus. We all are a part of the FoSS group.My research interests lie in various interactions between logic and category theory. By this, I mean mostly type theory (and its categorical semantics), and 2-dimensional structures (currently focused on getting a better understanding of contravariance and dinatural transformations). For a more detailed information, see my CV (last update 25/08/2025).