Welcome!

Hi, I am Alexander Mayorov (a.k.a. ZeroBone) and this is my personal website. I am currently a computer science student and a backend developer.

Apart from studying I do research. My fields of interests:

  • Theoretical computer science: algorithms, theory of computation, formal languages, etc.
  • Logic, formal verification and automated proof procedures
  • Compiler design and programming languages
  • Group theory & linear algebra
  • Graph theory

Latest posts

See Posts for more

Latest projects

See Projects for more


Copyright © 2019 — 2021 Alexander Mayorov. All rights reserved.