Samiro Discher

@xamidi
8 Followers
16 Following
19 Posts
Logician (theoretical computer science) | Developer (HPC & logic tools)
Proof theory & complexity. INTP-T. Vegan. Gen Y.
LocationGermany
GitHubhttps://github.com/xamidi
Music (Techno/Trance/House)https://www.youtube.com/playlist?list=PLmsugqU2kCvV_JeXjtgqKcZvdng8PsPtp