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.
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.
I use it to write things down.