This is formalisation org, a blog about formalising mathematics and programming languages.

I am Gergely Buday, a teacher assistant at the Hungarian University of Agriculture and Life Sciences.

My research focuses on verified compilers for functional languages.

Write me at buday.gergely.istvan@uni-mate.hu