Alexander Mayorov
ZeroBone
Backend developer, computer science student. Interested in theoretical cs, algorithms, formal languages, compiler design, logic, automated reasoning, e.t.c.
Max-Planck Institute for Informatics Saarbrücken, Germany