I am Janis Bailitis and I did my Bachelor's thesis at the Programming Systems Lab in 2024. After that, I was a M.Sc. student in Mathematics and Foundations of Computer Science at the University of Oxford from October 2024 to September 2025. Both my Bachelor's thesis as well as Master's thesis are available online.
| Mail: | janis.bailitis (at) maths.ox.ac.uk |