Welcome

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

NumPat

Number pattern research tool

GarbageSet

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

See Projects for more


Copyright © 2020 Alexander Mayorov. All rights reserved.