Kajetan Granops

Stream: new members

[Kajetan Granops]

Hi everyone! My name is Kajetan, I am a final year BSc CS&Maths student at the University of Edinburgh. My dissertation is going to somehow involve cryptography in Lean, supervised by Dr Paul Jackson and Dr Markulf Kohlweiss. Looking forward to meeting Yous and spending a lot of time here! :)