Hi, I am Alexander Mayorov (aka ZeroBone) and this is my personal website. I am currently a computer science student and a back-end developer.

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

  • Theoretical computer science, formal languages & computability
  • Compiler design and programming languages
  • Formal verification and automated proof procedures
  • Group theory & linear algebra
  • Graph theory

Latest posts

See Posts for more

Latest projects


Number pattern research tool


Set data structure that can be initialized in O(1)

See Projects for more

Copyright © 2020 Alexander Mayorov. All rights reserved.