Master thesis project QCS with Maris Ozols

Posts

Sep 11, 2026
Starting the preparation of the thesis

Master thesis project QCS with Maris Ozols

Master thesis project QCS with Maris Ozols
rik.heurter@student.uva.nl

RikHeurter

If you are on this page, then that most likely means you are my supervisor or possibly someone else affiliated to Lean and interested in formalisation. Anyway the goal of this site is to simply have some place to vent my thoughts on what I have read on/worked on which I then hopefully can introduce to my thesis, if at all useful to the story of my learning there.

Posts

Starting the preparation of the thesis