dorafmon

Bristol, United Kingdom

dorafmon.github.io

Age: 22

I am a third year computer science student, with a long lasting interest in formal methods in computer science.