Welcome. I'm a mathematician from Zagreb, Croatia, now living in the Netherlands, where I work as a Data & AI Platform Engineer and pursue mathematical research independently in my spare time. I hold a Ph.D. in Mathematics from the University of Zagreb; my doctoral thesis addressed the computability of (non-compact) 1-manifolds in computable metric spaces. It's written in Croatian, though the summary is available in both Croatian and English.

Broadly, what draws me in is the question of what can and cannot be computed, especially once infinite objects enter the picture. I'm also drawn to the idea that "structure implies computability", and in stronger form, "structure often implies more efficient computability". Here, the term "structure" is meant in the broadest possible sense.

About this blog

This blog began as a space for my research into applying computability theory to mathematics involving infinite objects, with a particular focus on computable analysis and computable metric spaces. As my interests broadened toward the wider intersection of classical computability theory and mathematics, so did the blog, it now ranges more freely across that territory.

My online presence

You can find me on LinkedIn, Twitter, and ResearchGate. My list of publications lives on ORCID, and some of my undergraduate and graduate work is on academia.edu (mostly in Croatian). Some of my code is on GitHub, and I'm also active on MathOverflow.

Disclaimer

All opinions stated in this blog are strictly my own and not those of my employer.

Contact

The surest way to reach me is by e-mail: kburnik at gmail.com