Bas Laarakker

PhD Student · University of Edinburgh · LFCS

About

I am a PhD student at the Laboratory for Foundations of Computer Science (LFCS) at the University of Edinburgh, supervised by Ohad Kammar. I previously did the Master of Logic at the ILLC, University of Amsterdam. My MSc thesis was supervised by Benno van den Berg and Daniël Otten.

My research interests are in logic, type theory, category theory, and programming languages.

Publications

  1. Constructing (Co)inductive Types via Large Sizes
    Bastiaan Laarakker, Daniël Otten, Benno van den Berg.
    FSCD, 2026.
    DOI arXiv

Contact

School of Informatics
University of Edinburgh
Edinburgh, UK

Email