Logician (theoretical computer science) | Developer (HPC & logic tools)
Proof theory & complexity. INTP-T. Vegan. Gen Y.

Location	Germany
GitHub	https://github.com/xamidi
Music (Techno/Trance/House)	https://www.youtube.com/playlist?list=PLmsugqU2kCvV_JeXjtgqKcZvdng8PsPtp