index.md

homepage

My name is Luka Hadži-Đokić and this is my homepage. I'm a software engineer interested in programming languages/compilers, verification, automata and more. I also like Linux, gaming, fantasy books and tabletop RPGs.

You can find me on:

You can also find my CV here.

about this website

Every once in a while, I get the urge to reinvent a wheel, so I built this with my own static site generator - camelog, written very haphazardly in OCaml.

publications

blog

I use it to write things down.