I have been coding for quite a while.
You can find me on GitHub as cyberglot.
I live in Copenhagen, Denmark.
I am currently learning more about Type Theory and programming language theory, as I am PhD Student in CS.
Nice to meet you too.