I am Janis Bailitis and I did my Bachelor's thesis at the Programming Systems Lab in 2024. Currently, I am a MSc student in Mathematics and Foundations of Computer Science at the University of Oxford.
