György Kurucz's Blog Posts rss

November 12, 2023 A formally verified R-tree implementation
June 18, 2023 Theorem proving in Coq
October 20, 2022 Introduction to dependent types and the Curry-Howard isomorphism
March 12, 2022 My first impressions with OCaml

About Me

My name is György Kurucz. I am interested in anything Science and Technology, though I mostly do Software Engineering.

I like contributing to open source software, and I open source most of my own projects as well. You can find them on my GitHub.

The articles I have written on this blog so far are mostly about functional programming since that’s what I am exploring currently in my free time, though I hope to have some more diverse topics as well in the future.

You can email me at, or find me on LinkedIn.