About Samiro Discher

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

Lists

Timeline

xamidi has no activity yet