People

I am a PhD student in the STyLo group since 2022. My research interests lie at the intersection of diagrammatic reasoning and quantum computing, with emphasis on current quantum hardware limitations. I like developing both abstract reasoning models and implementing concrete tools and algorithms for practical use cases. At the moment, I am particularly interested in using the ZX-calculus for the compilation (and general reasoning) of quantum circuits. In my free time you can find me planning trips, playing classical guitar, and doing sports.

My name is Berend van Starkenburg.
I am a PhD student in the STyLo group at the Leiden Institute of Advanced Computer Science (LIACS) of Leiden University.

My work is about how ideas from sheaf theory, fibrations, and categorical logic can be used to understand when and how programs compose.
In particular, I’m interested in how the logic of sheaves allows reasoning about systems that share a resource, whether it is memory in concurrent programs or dependency in probabilistic ones.

I completed both my bachelor’s and master’s degrees in Computer Science at Leiden University, where my master’s thesis was supervised by Henning Basold.

Outside of research, I enjoy making music, especially improvising on the saxophone, and I’m passionate about wrestling, hiking, skiing, and kitesurfing.
I also volunteer to teach digital literacy to people with learning difficulties.

My name is Chase Ford and I am a postdoctoral researcher within the STyLo team of the Leiden Institute for Advanced Computer Science (LIACS). My research interests include

1. Coalgebras and their applications in computer science
2. Universal algebra and category theory
3. Logic, games, and process semantics

Before joining Leiden University, I completed a PhD in Computer Science, under the supervision of Lutz Schröder, at the Chair of Theoretical Computer Science of Friedrich-Alexander-Universität Erlangen-Nürnberg as part of the DFG project Cybercrime and Forensic Computing. My PhD thesis on Presentations of Graded Coalgebraic Semantics can be found at Open FAU.

My name is Henning Basold. I am lecturer (assistant professor/universitair docent) at the Leiden Institute for Advanced Computer Science (LIACS) at the Leiden University, and I am the founder and leader of Team STyLo.

My research interests are pretty much those that underlie the philosophy of team: correct computational systems by construction and through verification. In particular, I like to use logic, type theory, coalgebra and category theory to improve our understanding of computational processes and develop better theoretical reasoning tools. I wrote my PhD thesis, under the supervision of Helle Hvid Hansen, Jan Rutten and Herman Geuvers, on this topic. Specifically on inductive-coinductive reasoning that think are two essential reasoning techniques in maths and CS to which most proofs reduce. After my Phd, I was a postdoc with Damien Pous in the the PLUME team and a member of the CoVeCe project.

You may find contact details on my personal website. My ORCID is 0000-0001-7610-8331 and you may find my full list of publications on my website, on DBLP, zbMath, or Google Scholar. I have no social media accounts.

I am a postdoctoral researcher in STyLo working on homotopical approaches to optimization and categorical probability theory. I completed my PhD at Université Sorbonne Paris Nord in 2024 with a thesis on higher commutativity in algebra and algebraic topology, following earlier studies at Université Paris-Saclay and Trinity College Dublin. I’m originally from Cavan, Ireland.  My research interests include applied category theory, operads and higher algebra.

I am a PhD student in the StyLo group at LIACS, where I work on categorical characterisations of causality and continuity in infinite and probabilistic systems. My research lies at the intersection of category theory, coalgebra, and the semantics of computation. I hold a master’s degree in mathematics from Stellenbosch University, South Africa, where my thesis focused on mathematical models of secure steganographic systems using information theory. In addition to categorical semantics, I am also interested in security.

I was born and raised in Madagascar. Outside of research, I enjoy dancing, singing at home, experimenting with cooking, and watching movies in my free time.