Jort van Leenen

About

Welcome to my personal website! I am Jort van Leenen, an MSc Computer Science student at Leiden University, the Netherlands.

From 2021 to 2025, I studied Computer Science ("Informatica") at Leiden University, within the Leiden Institute of Advanced Computer Science (LIACS). During the first two years, I followed the standard curriculum. In my third year, I broadened my academic focus by primarily taking extracurricular courses from the BSc Data Science & Artificial Intelligence program. This provided a wide perspective on the field and allowed me to complete most AI-related courses without overlap with my core curriculum. I obtained my Bachelor's degree in 2025.

I am currently pursuing the Foundations of Computing specialisation within the MSc, a track centred on theoretical computer science. My interests lie in the practical application of this theory, particularly in software verification, model checking, automated reasoning, and proof assistants.

This website provides an overview of my projects, skills, and experience. For further information or enquiries, please use the contact details provided in the sidebar.

News

2026 23 Jul.

First publication accepted at CAV 2026

Together with Tobias Kappé, I co-authored “Octopus: Practical Equivalence Checking of P4 Packet Parsers”, which was published at the International Conference on Computer Aided Verification (CAV 2026) in Lisbon, Portugal. The paper extends the Octopus tool from my bachelor’s thesis and represents my first peer-reviewed publication.

2025 1 Sep.

Started MSc Computer Science at Leiden University

I began my MSc in Computer Science at Leiden University, following the ‘Foundations of Computing’ track, with a focus on theoretical computer science and its real-world applications.

2025 29 Aug.

Completed BSc Computer Science at Leiden University

I finished my BSc in Computer Science at Leiden University with a thesis under the Theory cluster, applying formal methods to Software-Defined Networking (SDN) in P4.

2021 6 Sep.

Started BSc Computer Science at Leiden University

I started my BSc in Computer Science at Leiden University, following the regular Computer Science track. The three-year programme offers a broad foundation in the fundamentals of the field.