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.