The goal of the thesis is to help the formalisation community of quantum computing in some way.

This will probably be navigating a bunch of different problems. Some social and some implementation-wise.

This page is of course very much a form of github pages, as expected. Specifically using Jekyll.